3831 search results - page 428 / 767 » Dynamic Context Logic |
209
click to vote
CSFW
2003
IEEE
16 years 1 days ago
2003
IEEE
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...
184
click to vote
IEEEAMS
2003
IEEE
16 years 16 hour ago
2003
IEEE
Large classes of autonomic (self-managing, selfhealing) systems can be created by logically integrating simpler autonomic systems. The configuration method is widely used for such...
166
click to vote
TPHOL
2003
IEEE
16 years 6 hour ago
2003
IEEE
Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...
147
click to vote
DEBS
2003
ACM
15 years 12 months ago
2003
ACM
Publish/subscribe (pub/sub) middleware facilitates loosely coupled cooperation and fits well the needs of spontaneous, ad-hoc interaction. However, newly started mobile applicati...
187
click to vote
CONCUR
2003
Springer
15 years 12 months ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...