Sciweavers

7434 search results - page 99 / 1487
» Still
Sort
View
TARK
2005
Springer
15 years 5 months ago
Common knowledge in update logics
Current dynamic epistemic logics often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions regarding common knowledge express t...
Johan van Benthem, Jan van Eijck, Barteld P. Kooi
TES
2005
Springer
15 years 5 months ago
Systematic Design of Web Service Transactions
The development of composite Web services is still not as simple as the original vision indicated. Currently, the designer of a composite service needs to consider many different ...
Benjamin A. Schmit, Schahram Dustdar
VSTTE
2005
Springer
15 years 5 months ago
Lessons from the JML Project
To have impact, a grand challenge should provide a way for diverse research to be integrated in a synergistic fashion. Synergy in the JML project comes from a shared specification...
Gary T. Leavens, Curtis Clifton
WSTST
2005
Springer
15 years 5 months ago
Massive Multi-Agent Simulation in 3D
: In this paper, we discuss our challenge on how to give the creatures and ability to follow spatial restriction while keeping the complexity low enough to still allow for real-tim...
Masaru Aoyagi, Akira Namatame
ACMSE
2004
ACM
15 years 5 months ago
Security for fixed sensor networks
Sensor networks consist of resource-constrained sensors operating in a variety of environments. Given the severe constraints on these sensors, it is a particularly challenging pro...
Ning Hu, Randy K. Smith, Phillip G. Bradford