2025 search results - page 289 / 405 » A Reliable Software Architecture for Complex Embedded System... |
125
Voted
EMSOFT
2003
Springer
15 years 10 months 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...
140
Voted
CODES
2005
IEEE
15 years 10 months ago
2005
IEEE
For embedded system development, several companies provide cross-platform development tools to aid in debugging, prototyping and optimization of programs. These are full system em...
157
click to vote
CODES
2010
IEEE
15 years 3 months ago
2010
IEEE
Monitoring human movements using wireless sensory devices promises to revolutionize the delivery of healthcare services. In spite of their potentials for many application domains,...
143
click to vote
AVSS
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper reports on the integration of multi-camera tracking into an agent-based framework, which features autonomous task allocation for smart cameras targeting traffic survei...
141
Voted
HIPEAC
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Publish-subscribe systems present the state of the art in information dissemination to multiple users. Such systems have evolved from simple topic-based to the current XM...