1297 search results - page 172 / 260 » Semantic Correctness in Adaptive Process Management Systems |
122
click to vote
ROBOCUP
2004
Springer
15 years 10 months ago
2004
Springer
We have developed an automatic calibration method for a global camera system. Firstly, we show how to define automatically the color maps we use for tracking the robots’ markers...
124
click to vote
COOPIS
2003
IEEE
15 years 10 months ago
2003
IEEE
Emerging Web standards promise a network of heterogeneous yet interoperable Web Services. Web Services would greatly simplify the development of many kinds of information agents a...
121
click to vote
WAIM
2005
Springer
15 years 10 months ago
2005
Springer
Unlike Internet portals, a typical Web Information System contains lots of user operations. However, existing Web design frameworks focus exclusively on data presentation: the proc...
147
click to vote
CHARME
2003
Springer
15 years 8 months ago
2003
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...
153
Voted
WIAS
2010
15 years 3 months ago
2010
An autonomic system is a system capable of managing itself and adjusting its actions in the face of environmental changes. Autonomic systems are currently developed using ad-hoc ap...