1737 search results - page 190 / 348 » On Interpolation in Existence Logics |
160
click to vote
FOSSACS
2007
Springer
16 years 1 months ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
198
click to vote
HUC
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents Haggle, an architecture for mobile devices that enables seamless network connectivity and application functionality in dynamic mobile environments. Current appl...
175
click to vote
EDOC
2006
IEEE
16 years 1 months ago
2006
IEEE
Business rules provide an elegant solution to manage dynamic business logic by separating business knowledge from its implementation logic. The drawback of most existing business ...
200
click to vote
HPDC
2006
IEEE
16 years 1 months ago
2006
IEEE
We develop an adaptive load distribution protocol for logical volume I/O workload in clustered storage systems. It exploits data redundancy among decentralized storage servers to ...
164
click to vote
LICS
2006
IEEE
16 years 1 months ago
2006
IEEE
The semantics of process calculi has traditionally been specified by labelled transition systems (LTS), but with the development of name calculi it turned out that reaction rules...