206 search results - page 16 / 42 » Specification and Complexity of Strategic-Based Reasoning Us... |
LICS
1994
IEEE
15 years 3 months ago
1994
IEEE
The modal mu-calculus is an expressive logic that can be used to specify safety and liveness properties of concurrent systems represented as labeled transition systems (LTSs). We ...
105
click to vote
MMAS
2004
Springer
15 years 5 months ago
2004
Springer
Interactive multi-agent system improves reusability of agents by separating application design from agent design. However, it remains difficult for application designers (usually n...
ICC
2009
IEEE
14 years 9 months ago
2009
IEEE
In this paper the interference channel is extended by additional relay nodes in order to investigate the influence of interference on the design and performance of relaying protoco...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
The study of factoring relations between subshifts or cellular automata is central in symbolic dynamics. Besides, a notion of intrinsic universality for cellular automata based on ...
ECBS
1996
IEEE
15 years 3 months ago
1996
IEEE
It is widely recognized that real-time,fault-tolerant and distributed computing technologies play a key role in the deployment of many current andfuture (civilian or Defense) crit...