2490 search results - page 270 / 498 » Complexity of Contextual Reasoning |
152
click to vote
CIMCA
2005
IEEE
15 years 10 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...
146
click to vote
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
NASA space exploration should largely address a problem class in reliability and risk management stemming primarily from human error, system risk and multi-objective trade-off ana...
142
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
— We present an agent-based framework for the development of distributed applications for a team of heterogenous mobile robots. The main goal is to ease the development of cooper...
164
Voted
LICS
2005
IEEE
15 years 10 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...
122
Voted
LICS
2005
IEEE
15 years 10 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...