9325 search results - page 1423 / 1865 » The decentralized implementability problem |
158
click to vote
ASPDAC
2009
ACM
15 years 10 months ago
2009
ACM
The post-T/pre-T trace refers to the trace captured before/after a target point is reached, respectively. Real time compression of the post-T trace in a circular buffer is a challe...
162
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
While there has been much work on developing frameworks and models of norms and normative systems, consideration of the impact of norms on the practical reasoning of agents has at...
174
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Building multi-agent systems that can scale up to very large number of agents is a challenging research problem. In this paper, we present Distributed Multi Agent System Framework...
174
click to vote
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Symbolic Trajectory Evaluation (STE) is a powerful technique for hardware model checking. It is based on a 3-valued symbolic simulation, using 0,1 and X n"), where t...
188
click to vote
AUTONOMICS
2007
ACM
15 years 10 months ago
2007
ACM
Self-management is a key feature of autonomic systems. This often demands the dynamic reconfiguration of a distributed application. An important issue in the reconfiguration proce...