8337 search results - page 1218 / 1668 » Reasoning With Characteristic Models |
189
click to vote
WIMOB
2007
IEEE
16 years 1 months ago
2007
IEEE
Service discovery in mobile ad hoc networks (MANETs) is an integral part for collective application interoperability. The discovery process must cope not only with transient commun...
181
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Many agents are fielded within environments requiring modeling traditional organizational structures such as military hierarchies and corporations, with their associated authority...
164
click to vote
CPAIOR
2007
Springer
16 years 1 months ago
2007
Springer
In a facility with front room and back room operations, it is useful to switch workers between the rooms in order to cope with changing customer demand. Assuming stochastic custome...
172
click to vote
ECSQARU
2007
Springer
16 years 1 months ago
2007
Springer
Dynamic epistemic logic (DEL) as viewed by Baltag et col. and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, DEL adds dynamics to epistem...
159
Voted
ESOP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...