10159 search results - page 1693 / 2032 » System Design Validation Using Formal Models |
203
click to vote
ATAL
2007
Springer
16 years 28 days ago
2007
Springer
Intelligent agents that are intended to work in dynamic environments must be able to gracefully handle unsuccessful tasks and plans. In addition, such agents should be able to mak...
184
click to vote
WSC
2004
15 years 8 months ago
2004
The Virtual Test Bed (VTB) is a prototype of a virtual engineering environment to study operations of current and future space vehicles, spaceports, and ranges. The HighLevel Arch...
204
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
This paper proposes a fully automated 3D reconstruction
and visualization system for architectural scenes (interiors
and exteriors). The reconstruction of indoor environments
fr...
205
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
Abstract. Embedded multimedia systems often run multiple time-constrained applications simultaneously. These systems use multiprocessor systems-on-chip of which it must be guarante...
201
click to vote
VOTEID
2007
Springer
16 years 26 days ago
2007
Springer
Performing a good security analysis on the design of a system is an essential step in order to guarantee a reasonable level of protection. However, different attacks and threats m...