165 search results - page 20 / 33 » Safety Interfaces for Component-Based Systems |
143
Voted
AAAI
2006
15 years 5 months ago
2006
LOCATE is workspace layout design software that also serves as a testbed for developing and refining principles of adaptive aiding. This demonstration illustrates LOCATE's ab...
136
Voted
HYBRID
2010
Springer
15 years 8 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
132
Voted
AUTOMOTIVEUI
2009
ACM
15 years 10 months ago
2009
ACM
Driving behavior has been trending towards more time in the car and longer commutes. This has fueled the demand for an increasing number of in-vehicle infotainment features, at th...
123
Voted
WSC
2004
15 years 5 months ago
2004
Hybrid system modeling refers to the construction of system models combining both continuous and discrete dynamics. These models can greatly reduce the complexity of a phystem mod...
138
Voted
ESOP
2006
Springer
15 years 7 months ago
2006
Springer
We present a multi-lingual type inference system for checking type safety of programs that use the Java Native Interface (JNI). The JNI uses specially-formatted strings to represe...