2482 search results - page 278 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
123
Voted
EUC
2005
Springer
15 years 8 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...
112
Voted
ATAL
2005
Springer
15 years 8 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...
106
click to vote
KI
2008
Springer
15 years 2 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...
124
click to vote
TLDI
2003
ACM
15 years 7 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...
112
Voted
ICALP
2009
Springer
16 years 2 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 ...