3399 search results - page 301 / 680 » Requirements Development in Scenario-Based Design |
180
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
The inherent limitations of embedded systems make them particularly vulnerable to attacks. We have developed a hardware monitor that operates in parallel to the embedded processor...
171
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
We propose a mechanism for object access control which is based on the UML. Specifically, we propose use of ownership and immutability constraints on UML associations and verifica...
154
click to vote
ICRA
2007
IEEE
16 years 29 days ago
2007
IEEE
— Human Machine Collaborative Systems (HMCS) have been developed to enhance sensation and suppress extraneous motions or forces during surgical tasks requiring precise motion. Ho...
166
click to vote
ASWEC
2006
IEEE
16 years 22 days ago
2006
IEEE
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...
193
click to vote
ICRA
2005
IEEE
16 years 7 days ago
2005
IEEE
— The Intelligent Robotics Group at NASA Ames Research Center has developed a new mobile robot hardware architecture designed for extensibility and reconfigurability. Currently ...