2482 search results - page 278 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
170
click to vote
EUC
2005
Springer
15 years 11 months ago
2005
Springer
A new system for real-time customer relationship management is proposed. The system is based on deploying a network of RFID readers throughout an environment. Information about the...
150
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...
145
Voted
KI
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper presents a method for engineering and programming multirobot systems, based on a combination of statecharts and hybrid automata, which are well-known in the fi...
171
click to vote
TLDI
2003
ACM
15 years 11 months ago
2003
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work has addresse...
165
click to vote
ICALP
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. We describe a simple, conceptual forward analysis procedure for complete WSTS S. This computes the clover of a state s0, i.e., a finite description of the closure of the ...