1906 search results - page 38 / 382 » Dependable Self-Hosting Distributed Systems Using Constraint... |
135
click to vote
ICPP
2002
IEEE
15 years 6 months ago
2002
IEEE
Power aware computing has become popular recently and many techniques have been proposed to manage the energy consumption for traditional real-time applications. We have previousl...
114
click to vote
SOFSEM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The increasing complexity of today’s embedded systems applications imposes the requirements and constraints of distributed, heterogeneous subsystem interaction to softw...
150
click to vote
MOBIHOC
2005
ACM
16 years 1 months ago
2005
ACM
Determining node and event locations is a canonical task for many wireless network applications. Yet dedicated infrastructure for determining position information is expensive, en...
107
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
SRDS
1997
IEEE
15 years 6 months ago
1997
IEEE
When creating mission-critical distributed systems using off-the-shelf components, it is important to assess the dependability of not only the hardware, but the software as well. ...