349 search results - page 17 / 70 » Digital Systems Architectures Based on On-line Checkers |
ISM
2006
IEEE
14 years 1 months ago
2006
IEEE
Video sensor network is evolving from an isolated system to an integral component of the global information infrastructure. In this paper, we argue that when video sensor network ...
IASSE
2004
13 years 9 months ago
2004
This paper describes how design information, in our case UML specifications, can be used to evolve a software system and validate the consistency of such an evolution. This work c...
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for d...
ICWE
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In recent years, more and more publications and material for studying and teaching, e. g. for Web-based teaching (WBT), appear "online" and digital libraries ar...
STTT
2010
13 years 6 months ago
2010
Recent development in computer hardware has brought more wide-spread emergence of shared memory, multi-core systems. These architectures offer opportunities to speed up various ta...