11374 search results - page 352 / 2275 » Demonstration of the CROSSMARC System |
191
click to vote
EMSOFT
2003
Springer
16 years 23 days ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
229
click to vote
IPSN
2003
Springer
16 years 22 days ago
2003
Springer
Abstract. We demonstrate that it is possible to achieve accurate localization and tracking of a target in a randomly placed wireless sensor network composed of inexpensive componen...
199
click to vote
DATE
2010
IEEE
16 years 20 days ago
2010
IEEE
—The growing trend towards using component based design approach in embedded system development requires addressing newer system engineering challenges. These systems are usually...
230
click to vote
COMPSAC
2002
IEEE
16 years 16 days ago
2002
IEEE
In this paper, an effective content-based visual image retrieval system is presented. This system consists of two main components: visual content extraction and indexing, and quer...
235
click to vote
WORDS
2002
IEEE
16 years 14 days ago
2002
IEEE
Certainly, in hard real-time systems, it is reasonable to argue that no hard real-time threads should behave in an unpredictable way and that schedulability should be guaranteed b...