5472 search results - page 267 / 1095 » Stochastic Mechanism Design |
162
click to vote
FM
1999
Springer
15 years 11 months ago
1999
Springer
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
142
click to vote
ICRA
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper discusses the challenge of achieving high bandwidth, distant range wireless communication from mobile robots by way of antenna tracking. In the case of robots traversin...
179
click to vote
SCCC
1998
IEEE
15 years 11 months ago
1998
IEEE
Java is a programming language designed with concurrency in mind from its inception. However, the synchronization mechanism provided is a restricted version of Hoare's Monito...
165
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
In the last years, distributed coordinator-free systems, e.g., peerto-peer systems (P2P systems), have attracted much interest among researchers and practitioners. In these system...
156
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
In this paper we present control patterns for the analysis and design of administrative control mechanisms in a network organization. A control pattern is a description of a generi...