1398 search results - page 48 / 280 » Ensuring Properties of Interaction Systems |
144
click to vote
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— In this paper we evaluate interactions among flowlevel performance metrics when integrating QoS and best effort flows in a wireless system using opportunistic schedul...
149
Voted
TABLEAUX
2009
Springer
15 years 10 months ago
2009
Springer
We are interested in automatically proving safety properties of infinite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...
136
click to vote
TLCA
1995
Springer
15 years 7 months ago
1995
Springer
We introduce a simply-typed λ-calculus (λ→ exn ) featuring an ML-like exception handling mechanism. This calculus, whose type system corresponds to classical logic through the ...
118
click to vote
DALT
2006
Springer
15 years 7 months ago
2006
Springer
Agents in an open system interact with each other based on (typically, published) protocols. An agent may, however, deviate from the protocol because of its internal policies. Such...
121
click to vote
IAT
2006
IEEE
15 years 10 months ago
2006
IEEE
Comprehending and verifying agent system behavior is an arduous task when dealing with complex multiagent systems whose behaviors are sophisticated. This paper presents an approac...