1346 search results - page 203 / 270 » Alternating-time dynamic logic |
175
click to vote
APNOMS
2006
Springer
15 years 9 months ago
2006
Springer
Peer-to-Peer systems are based on the concept of resources localization and mutualization in dynamic context. In specific environment such as mobile networks, characterized by high...
177
click to vote
JOT
2010
15 years 4 months ago
2010
A theory, graphical notation, mathematical calculus and implementation for finding whether two given expressions can, at execution time, denote references attached to the same obj...
162
click to vote
ISCC
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a new active queue management scheme, Fuzzy Explicit Marking (FEM), implemented within the differentiated services (Diff-Serv) framework to provide congestion ...
201
click to vote
EAGC
2003
Springer
15 years 11 months ago
2003
Springer
The complexity of Grid environments is growing as more projects and applications appear in this quick-evolving domain. Widespread applications are distributed over thousands of com...
199
click to vote
LOGCOM
2007
15 years 6 months ago
2007
We provide algebraic semantics together with a sound and complete sequent calculus for information update due to epistemic actions. This semantics is flexible enough to accommoda...