2214 search results - page 223 / 443 » Complexity of Reasoning |
141
Voted
CIMCA
2005
IEEE
15 years 9 months ago
2005
IEEE
Access control for shared resources is a complex and challenging task, in particular if the access control policy should be able to cope with different kind of sharing and collabo...
149
click to vote
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
115
click to vote
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
Metric Temporal Logic (MTL) is a prominent specification formalism for real-time systems. In this paper, we show that the satisfiability problem for MTL over finite timed words...
122
click to vote
WOWMOM
2005
ACM
15 years 9 months ago
2005
ACM
— Self-management has often been proposed as a means to reduce the growing complexity of administration in distributed systems. We argue that this can be achieved through aggress...
119
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
We are concerned with the use of Mobile Agents for information retrieval. A multi-agent system is considered; a number of agents are involved in a collective effort to retrieve di...