647 search results - page 52 / 130 » About the Design of Distributed Control Systems: The Quasi-S... |
REX
1991
14 years 10 days ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
EDBT
2002
ACM
14 years 9 months ago
2002
ACM
Applying meta search systems is a suitable method to support the user if there are many different services. Due to information splitting strategies of literature services existing ...
ICTAI
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—In distributed environments, access control decisions depend on statements of multiple agents rather than only one central trusted party. However, existing policy langua...
MOBICOM
2009
ACM
14 years 3 months ago
2009
ACM
Establishing a control channel for medium access control is a challenging problem in multi-channel and dynamic spectrum access (DSA) networks. In the design of multi-channel MAC p...
ICECCS
2007
IEEE
14 years 3 months ago
2007
IEEE
— Modern online multiplayer games are complex heterogeneous distributed systems comprised of servers and untrusted clients, which are often engineered under considerable commerci...