7434 search results - page 99 / 1487 » Still |
TARK
2005
Springer
15 years 5 months ago
2005
Springer
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...
TES
2005
Springer
15 years 5 months ago
2005
Springer
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 ...
VSTTE
2005
Springer
15 years 5 months ago
2005
Springer
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...
WSTST
2005
Springer
15 years 5 months ago
2005
Springer
: 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...
ACMSE
2004
ACM
15 years 5 months ago
2004
ACM
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...