1426 search results - page 47 / 286 » Federated simulations for systems of systems integration |
167
click to vote
CCS
2000
ACM
15 years 10 months ago
2000
ACM
We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the wellknown simulatability approach, i.e., the specification is an ...
148
click to vote
ICN
2009
Springer
15 years 11 months ago
2009
Springer
In contrast to classic train protection systems where most of the safety measures are built into the rail infrastructure, future versions of the European railway safety system ERT...
167
click to vote
CVRMED
1997
Springer
15 years 10 months ago
1997
Springer
The Neurovisualization Lab at the University of Virginia is developing the Integrated Remote Neurosurgical System (IRNS) to allow mentoring of neurosurgical procedures in remote l...
154
click to vote
HICSS
2007
IEEE
16 years 18 days ago
2007
IEEE
On December 26, 2004, countries in the Indian Ocean basin were struck by a tsunami generated by a large magnitude earthquake just south of the western tip of Sumatra. Observations...
169
click to vote
DFG
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Today's manufacturing industry demands flexible and decentralized production control systems to avoid hours of down time of the production line in case of a failure ...