1453 search results - page 162 / 291 » State and history in operating systems |
219
click to vote
ISCIS
2004
Springer
15 years 11 months ago
2004
Springer
Interest on using mobile autonomous agents has been growing, recently, due to their capacity to cooperate for diverse purposes, from rescue to demining and security. However, such ...
155
click to vote
AAAI
2007
15 years 8 months ago
2007
This paper deals with the monitoring and diagnosis of large discrete-event systems. The problem is to determine, online, all faults and states that explain the flow of observatio...
170
click to vote
ENTCS
2007
15 years 6 months ago
2007
As a first step toward a notion of quantum data structures, we introduce a typing system for reflecting entanglement and separability. This is presented in the context of classi...
141
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
We describe a technique that supports the previewing of navigation, exploration, and editing operations by providing convenient Undo for unsuccessful and/or undesirable actions on...
178
click to vote
FASE
2010
Springer
16 years 1 months ago
2010
Springer
We introduce a technique for debugging multi-threaded C programs and analyzing the impact of source code changes, and its implementation in the prototype tool Direct. Our approach ...