2050 search results - page 121 / 410 » A formal foundation for process modeling |
180
click to vote
ENTCS
2006
15 years 6 months ago
2006
Web Services are software services that can be advertised by providers and invoked by customers using Web technologies. This concept is currently carried further to address the co...
175
click to vote
WSPI
2008
15 years 7 months ago
2008
This work draws on the cultural historical activity-theory and the theory of social systems to model socio-technical systems. The concepts of practice, system, and context work as ...
242
click to vote
DAGM
2011
Springer
14 years 6 months ago
2011
Springer
Controlling a tendon-driven robot like the humanoid Ecce is a difficult task, even more so when its kinematics and its pose are not known precisely. In this paper, we present a vis...
174
click to vote
ICWE
2010
Springer
15 years 5 months ago
2010
Springer
Search Computing defines a new class of applications, which enable end users to perform exploratory search processes over multi-domain data sources available on the Web. These appl...
166
click to vote
ACTA
2007
15 years 6 months ago
2007
We provide a novel model to formalize a well-known algorithm, by Chandra and Toueg, that solves Consensus among asynchronous distributed processes in the presence of a particular ...