1315 search results - page 191 / 263 » Towards Requirements Engineering for Context Adaptive System... |
136
click to vote
COMSWARE
2008
IEEE
15 years 8 months ago
2008
IEEE
—For modern scientific applications such as astrophysics, astronomy, aerography, and biology, a large amount of storage space is required because of the large-scale datasets. Dat...
103
click to vote
WOSS
2004
ACM
15 years 7 months ago
2004
ACM
Recently there has been increasing interest in developing systems that can adapt dynamically to cope with changing environmental conditions and unexpected system errors. Most effo...
114
click to vote
EUROSYS
2008
ACM
15 years 10 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...
134
click to vote
IPPS
1999
IEEE
15 years 5 months ago
1999
IEEE
Some classes of real-time systems function in environments which cannot be modeled with static approaches. In such environments, the arrival rates of events which drive transient ...
110
click to vote
EMSOFT
2007
Springer
15 years 7 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...