963 search results - page 36 / 193 » Modeling and analysis of real -time systems with mutex compo... |
GI
2008
Springer
14 years 10 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 ...
68
Voted
DAWAK
2008
Springer
14 years 11 months ago
2008
Springer
In order to be able to evaluate beforehand the impact of a strategical or tactical move, decision makers need reliable previsional systems. What-if analysis satisfies this need by ...
129
click to vote
WOSP
1998
ACM
15 years 1 months ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
66
Voted
ICECCS
2007
IEEE
15 years 1 months ago
2007
IEEE
Control systems must increasingly be designed to involve collections of hardware and software components, both of which may evolve over the lifetime of the system, and which are e...
JSS
2006
14 years 9 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...