Sciweavers

2838 search results - page 184 / 568
» Verifying Controlled Components
Sort
View
ACSD
2008
IEEE
108views Hardware» more  ACSD 2008»
14 years 5 months ago
PicNIc - Pi-calculus non-interference checker
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...
Silvia Crafa, Matteo Mio, Marino Miculan, Carla Pi...
ROMAN
2007
IEEE
118views Robotics» more  ROMAN 2007»
14 years 5 months ago
High School Educational Program using a Simple and Compact Stereo Vision Robot
Abstract— This paper describes a technical education program for high school students that comprises an image information processing system, stereo vision technology and control ...
Takeshi Morishita, Tetsuro Yabuta
IROS
2006
IEEE
186views Robotics» more  IROS 2006»
14 years 4 months ago
Cooperative Driving based on Inter-vehicle Communications: Experimental Platform and Algorithm
— This paper describes our efforts in building an experimental platform to conduct research on cooperative driving in Intelligent Transportation Systems (ITS). A miniature vehicl...
Weihua Sheng, Qingyan Yang, Yi Guo
IAT
2005
IEEE
14 years 4 months ago
Automatic Generation of Self-controlled Autonomous Agents
Being able to trust in a system behavior is of prime importance, particularly within the context of critical applications as embedded or real-time systems. We want to ensure that ...
Caroline Chopinaud, Amal El Fallah-Seghrouchni, Pa...
PPDP
2005
Springer
14 years 4 months ago
Isolation-only transactions by typing and versioning
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...
Pawel T. Wojciechowski