4516 search results - page 186 / 904 » Automated System Design for Availability |
139
click to vote
SIMUTOOLS
2008
15 years 5 months ago
2008
We sketch the fundamental properties and features of Snoopy, a tool to model and execute (animate, simulate) hierarchical graph-based system descriptions. The tool comes along wit...
174
click to vote
SDL
2007
15 years 5 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
169
click to vote
GIS
2010
ACM
15 years 2 months ago
2010
ACM
The sensing systems that monitor physical environments rely on communication infrastructures (wired or wireless) to collect data from the sensors embedded in the environment. Howe...
127
click to vote
APCSAC
2001
IEEE
15 years 8 months ago
2001
IEEE
Since we first devised and defined password-capabilities as a new technique for building capability-based operating systems, a number of research systems around the world have use...
118
click to vote
ICRA
1995
IEEE
15 years 8 months ago
1995
IEEE
Programmable parts orienting is an important capability for exible automation systems. Here we study how a part grasped in an unknown orientation by a force-controlled robot can b...