3146 search results - page 202 / 630 » Efficient Consequence Finding |
183
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Software maintenance is responsible for as much as two thirds of the cost of any software, and is consequently an important research area. In this paper we focus on the change pro...
135
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Physical agents (such as wheeled vehicles, UAVs, hovercraft, etc.) with simple control systems are often sensitive to changes in their physical design and control parameters. As s...
161
click to vote
KESAMSTA
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We describe and model a new aspect in the design of distributed information systems. We build upon a previously described problem on the microlevel, which asks how quickl...
140
click to vote
PLPV
2010
ACM
15 years 8 months ago
2010
ACM
Real-time systems, and in particular safety-critical systems, are a rich source of challenges for the program verification community as software errors can have catastrophic conse...
152
click to vote
BCSHCI
2008
15 years 7 months ago
2008
Ensuring good usability can be seen as the key success factor in our whole digital world: technology must support people. In particular, Medicine and Healthcare are currently subj...