5149 search results - page 929 / 1030 » Timed Asynchronous Distributed Systems |
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
Multiagent resource allocation is a timely and exciting area of research at the interface of Computer Science and Economics. One of the main challenges in this area is the high co...
158
Voted
ATVA
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
109
click to vote
ASPDAC
2001
ACM
15 years 6 months ago
2001
ACM
Wirelength estimation techniques typically contain a site density function that enumerates all possible path sites for each wirelength in an architecture and an occupation probabil...
124
click to vote
ATAL
2003
Springer
15 years 6 months ago
2003
Springer
This paper addresses the problem of protecting the data carried by mobile agents from the possible attacks of malicious execution hosts. Specifically, we consider protection mecha...
119
Voted
ITS
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. It is common to think of a "learner model" as a global description of a student's understanding of domain content. We propose a notion of learner model whe...