2523 search results - page 340 / 505 » Correct Development of Embedded Systems |
EMSOFT
2004
Springer
14 years 2 months ago
2004
Springer
Mechatronic systems are embedded software systems with hard real-time requirements. Predictability is of paramount importance for these systems. Thus, their design has to take the...
3DGIS
2006
Springer
14 years 3 months ago
2006
Springer
Abstract Three-dimensional (3D) building model is one of the most important components in a cyber city implementation and application. This study developed an effective and highly ...
ICRA
2000
IEEE
14 years 1 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...
STOC
1999
ACM
14 years 1 months ago
1999
ACM
We investigate the question of when a prover can aid a verifier to reliably compute a function faster than if the verifier were to compute the function on its own. Our focus is ...
FASE
2008
Springer
13 years 11 months ago
2008
Springer
Service Oriented Computing is a paradigm for developing software systems as the composition of a number of services. Services are loosely coupled entities, can be dynamically publi...