380 search results - page 67 / 76 » Model Checking Temporal Logics of Knowledge in Distributed S... |
133
click to vote
CCECE
2006
IEEE
15 years 5 months ago
2006
IEEE
Presenting information to an e-learning environment is a challenge, mostly, because ofthe hypertextlhypermedia nature and the richness ofthe context and information provides. This...
DAGSTUHL
2008
15 years 1 months ago
2008
The construction of computational cognitive models integrating the connectionist and symbolic paradigms of artificial intelligence is a standing research issue in the field. The co...
114
click to vote
ATAL
2007
Springer
15 years 5 months ago
2007
Springer
Multiagent environments are often not cooperative nor collaborative; in many cases, agents have conflicting interests, leading to adversarial interactions. This paper presents a ...
ECOWS
2006
Springer
15 years 3 months ago
2006
Springer
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...
INFOCOM
2009
IEEE
15 years 6 months ago
2009
IEEE
—The topology of the Internet has been extensively studied in recent years, driving a need for increasingly complex measurement infrastructures. These measurements have produced ...