5149 search results - page 245 / 1030 » Timed Asynchronous Distributed Systems |
124
Voted
ESORICS
2007
Springer
15 years 7 months ago
2007
Springer
We present a new technique for generating a formal proof that an access request satisfies accesscontrol policy, for use in logic-based access-control frameworks. Our approach is t...
168
Voted
CJ
2002
15 years 3 months ago
2002
monitoring indicators at different levels of abstraction. At the application level, it instruments the Java Virtual Machine (JVM) to notify several different types of events trigge...
139
Voted
USENIX
2008
15 years 6 months ago
2008
Evaluating novel networked protocols and services requires subjecting the target system to realistic Internet conditions. However, there is no common understanding of what is requ...
134
Voted
ICMCS
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper, we develop a new service to support optimally ensured user interactions with minimum latency in interactive distributed multimedia presentation environments. The no...
125
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
In order to prevent misunderstandings within groups of interacting agents, it is necessary to ensure that the agents' beliefs regarding the overall state of the interaction a...