252 search results - page 20 / 51 » Safety Evaluation of NanoFabrics |
CAV
2010
Springer
14 years 1 months ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
MIE
2008
13 years 11 months ago
2008
Though hospitals managers wish to have a unified medication system, physicians continue double registration of prescriptions. The traditions of prescribing both electronically and ...
CGVR
2006
13 years 11 months ago
2006
- The correct and quick evacuation of occupants is very important for the save of lives in a public building when it is attacked by a fire. However, it is difficult to train the oc...
ENTCS
2010
13 years 7 months ago
2010
We propose an algebra of languages and transformations as a means for extending s syntactically. The algebra provides a layer of high-level abstractions built on top of languages ...
RTS
2010
13 years 4 months ago
2010
Automatic memory management or garbage collection greatly simplifies development of large systems. However, garbage collection is usually not used in real-time systems due to the u...