1360 search results - page 119 / 272 » Self-Managed Systems: an Architectural Challenge |
ENTCS
2002
13 years 9 months ago
2002
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
EUROSYS
2008
ACM
14 years 6 months ago
2008
ACM
The basic system timer facilities used by applications and OS kernels for scheduling timeouts and periodic activities have remained largely unchanged for decades, while hardware a...
MUE
2008
IEEE
14 years 3 months ago
2008
IEEE
The capability of providing real-time multimedia player over the Internet is an important future application for embedded system. However, the main challenge of such an applicatio...
CIDR
2009
13 years 10 months ago
2009
Over the past 40 years, database management systems (DBMSs) have evolved to provide a sophisticated variety of data management capabilities. At the same time, tools for managing q...
SIGSOFT
2008
ACM
14 years 9 months ago
2008
ACM
Synthesis of system configurations from a given set of features is an important and very challenging problem. This paper makes a step towards this goal by describing an efficient ...