4418 search results - page 403 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
187
click to vote
ECBS
1997
IEEE
15 years 11 months ago
1997
IEEE
The report issued by the Inquiry Board in charge of inspecting the Ariane 5 flight 501 failure concludes that causes of the failure are rooted into poor S/W Engineering practice. ...
186
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
Reconfigurable place/transition systems are Petri nets with initial markings and a set of rules which allow the modification of the net during runtime in order to adapt the net to ...
168
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
The proliferation of complex and fast-spreading intrusions not only requires advances in intrusion detection mechanisms but also demands development of sophisticated and automated...
147
click to vote
GI
2004
Springer
16 years 7 days ago
2004
Springer
: In this paper we describe the advantages of a model-based approach to embedded component middleware. Component infrastructures such as Enterprise JavaBeans, Microsoft’s COM+ an...
136
click to vote
GI
2008
Springer
15 years 8 months ago
2008
Springer
: A realtime Augmented Reality binocular for the assistance of nautical staff is presented. AR systems combine the real environment with additional information. Nautical sea chart ...