252 search results - page 20 / 51 » Safety Evaluation of NanoFabrics |
CAV
2010
Springer
15 years 3 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...
105
click to vote
MIE
2008
15 years 1 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
15 years 1 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...
102
click to vote
ENTCS
2010
14 years 9 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 ...
132
click to vote
RTS
2010
14 years 6 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...