Browsing by Subject "Distributed Systems"

Now showing items 1-3 of 3

    • Design of AI-based lane changing modules in connected and autonomous vehicles: a survey 

      Hegde, Bharathkumar Shripad; Bouroche, Melanie (2022)
      Lane changing is one of the complex driving tasks as it requires the vehicle to be aware of its highlydynamic surrounding environment, make decisions, and enact them in a timely manner. By exploiting both sensors and ...

    • The Security Picalculus and Non-interference. 

      HENNESSY, MATTHEW (Elsevier, 2005)
      The security -calculus is a typed version of the asynchronous -calculus in which the types, in addition to constraining the input/output behaviour of processes, have security levels associated with them. This enables ...

    • Smart Route Planning Using Open and Participatory Data 

      CLARKE, SIOBHAN; NALLUR, VIVEK (2015)
      Smart cities are not merely the infusion of technology into a city's infrastructure, but also require citizens interacting with their urban environment in a smart and informed manner. Transportation is key aspect ...