1297 search results - page 172 / 260 » Semantic Correctness in Adaptive Process Management Systems |
108
Voted
ROBOCUP
2004
Springer
15 years 8 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...
116
Voted
COOPIS
2003
IEEE
15 years 8 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...
108
Voted
WAIM
2005
Springer
15 years 9 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...
139
click to vote
CHARME
2003
Springer
15 years 7 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 ...
144
Voted
WIAS
2010
15 years 1 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...