1023 search results - page 133 / 205 » Model Checking: Software and Beyond |
152
click to vote
ISSE
2007
15 years 3 months ago
2007
Increasingly, computer software must adapt dynamically to changing conditions. The correctness of adaptation cannot be rigorously addressed without precisely specifying the require...
182
click to vote
ICDT
2009
ACM
15 years 1 months ago
2009
ACM
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...
123
click to vote
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
In real world applications, agents - be they software agents or autonomous robots - inevitably face erroneous situations that have not been planned for. Re-planning can sometimes ...
DIGRA
2003
Springer
15 years 9 months ago
2003
Springer
This paper will focus on the inter-relationships between media, technology and culture as demonstrated by the online multiplayer FPS scene, and will make explicit the degree to wh...
139
click to vote
SIGOPSE
2000
ACM
15 years 8 months ago
2000
ACM
Ubiquitous computing promotes physical spaces with hundreds of specialized embedded devices that increase our productivity, alleviate some specific everyday tasks and provide new ...