3718 search results - page 168 / 744 » IMPS: System Description |
149
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
Service robots will have to accomplish more and more complex, open-ended tasks and regularly acquire new skills. In this work, we propose a new approach to generating plans for su...
153
Voted
RTAS
2009
IEEE
15 years 11 months ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
134
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper evaluates the use of pin and cycle accurate SystemC models for embedded system design exploration and early software development. The target system is MicroBlaze Vanill...
152
click to vote
FDL
2004
IEEE
15 years 8 months ago
2004
IEEE
In this work we develop a secure communication protocol in the context of a Remote Meter Reading (RMR) System. We first analyze existing standards in secure communication (e.g. IP...
269
click to vote
FM
1997
Springer
15 years 8 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...