3967 search results - page 449 / 794 » Distributed Games and Distributed Control for Asynchronous S... |
219
click to vote
HYBRID
2010
Springer
15 years 8 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
215
click to vote
WSC
2007
15 years 9 months ago
2007
Adaptive Time Warp protocols in the literature are usually based on a pre-deļ¬ned analytic model of the system, expressed as a closed form function that maps system state to cont...
212
click to vote
SACMAT
2009
ACM
16 years 1 months ago
2009
ACM
In this paper, we present a mandatory access control system that uses input from multiple stakeholders to compose policies based on runtime information. In the emerging ubiquitous...
264
click to vote
SIGMOD
2006
ACM
16 years 7 months ago
2006
ACM
The networking and distributed systems communities have recently explored a variety of new network architectures, both for applicationlevel overlay networks, and as prototypes for...
199
click to vote
EAAI
2007
15 years 6 months ago
2007
Multi-agent systems are widely used to address large-scale distributed combinatorial applications in the real world. One such application is meeting scheduling (MS), which is deļ¬...