Browse by Subject "Monitoring"
Now showing items 1-7 of 7
(2012-04-01)Early efforts in runtime verification and monitoring show that parametric regular and temporal logic specifications can be monitored efficiently. These approaches, however, have limited expressiveness, since their ...
THE LONG-TERM ILLINOIS, MISSISSIPPI, OHIO, AND WABASH RIVERS FISH POPULATION MONITORING PROGRAM - 2011 (Illinois Natural History Survey, 2012-06-30)
(2014-01-16)This thesis addresses the problem of traffic management during extreme traffic congestion events. In particular, it describes the development of a new traffic sensing technology called TrafficTurk that is capable of being ...
(2011)Policies are used extensively in managing the security of large computer infrastructure systems. Many large organizations and several government entities such as the National Institute for Standards and Technology (NIST) ...
(2015-01-21)The Robot Operating System (ROS) is a widely used open-source framework for robot software development. Its increasing popularity, along with its renowned features, such as its dynamic and distributed nature, call for a ...