465 search results - page 64 / 93 » System Concept Development with Virtual Prototyping |
107
click to vote
SDL
2001
14 years 11 months ago
2001
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...
74
Voted
ICRA
2000
IEEE
15 years 2 months ago
2000
IEEE
A human-robot interface system is under development that takes into account the
exibility of the DigitalDesk approach. The prototype consists of a projector subsystem for informa...
ICCCN
2007
IEEE
15 years 4 months ago
2007
IEEE
– Many P2P-based storage systems use distributed indexing service for searching documents. There are two security issues when the nodes providing the index service are compromise...
CRITICAL
2005
14 years 11 months ago
2005
This paper describes an ongoing design experience conducted in the Neonatal Intensive Care Unit for Premature Newborns. The specificity and the delicateness of such a setting prov...
P2P
2009
IEEE
15 years 4 months ago
2009
IEEE
—ModelNet is a network emulator designed for repeatable, large-scale experimentation with real networked systems. This talk introduces the ideas behind ModelNet that have made it...