2838 search results - page 50 / 568 » Verifying Controlled Components |
SMC
2007
IEEE
14 years 3 months ago
2007
IEEE
—The purpose of this paper is to present an initial delineation of the inherent components required for unmanned vehicles to possess situation awareness. A broadly adapted human ...
IWSOS
2009
Springer
14 years 3 months ago
2009
Springer
This paper presents an optimization framework for finding efficient deployment mappings of replicated service components (to nodes), while accounting for multiple services simult...
OMER
2001
13 years 10 months ago
2001
: This paper shows how architecture description languages can be tailored to the design of embedded automotive control software. Furthermore, graphical modeling means are put in an...
CASCON
1993
13 years 10 months ago
1993
The database community has produced extensive research on the concurrency control problem in the context of traditional databases. However, this traditional model is not suitable ...
SIAMJO
2011
13 years 3 months ago
2011
Many applications arising in a variety of fields can be well illustrated by the task of recovering the low-rank and sparse components of a given matrix. Recently, it is discovered...