1400 search results - page 213 / 280 » Dynamic Galois Theory |
PPDP
2005
Springer
15 years 4 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
113
Voted
DIALM
2004
ACM
15 years 4 months ago
2004
ACM
Coping with mobility and dynamism is one of the biggest challenges in ad hoc networks. An essential requirement for such networks is a service that can establish communication ses...
102
click to vote
SAC
2004
ACM
15 years 4 months ago
2004
ACM
Techniques that support effective communication during teamwork processes are of particular importance. Psychological study shows that an effective team often can anticipate infor...
115
click to vote
ATAL
2004
Springer
15 years 4 months ago
2004
Springer
New applications for autonomous robots bring them into the human environment where they are to serve as helpful assistants to untrained users in the home or office, or work as ca...
BIRTHDAY
2004
Springer
15 years 4 months ago
2004
Springer
In a reputation-based trust management system an entity’s behaviour determines its reputation which in turn affects other entities interaction with it. We present a mathematical...