2123 search results - page 305 / 425 » Composition of Cyber-Physical Systems |
126
click to vote
GI
2009
Springer
15 years 9 months ago
2009
Springer
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
137
click to vote
EDOC
2000
IEEE
15 years 9 months ago
2000
IEEE
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
156
click to vote
ECWEB
2000
Springer
15 years 9 months ago
2000
Springer
The Web has become a ubiquitous environment for application delivery. The originally intended idea, as a distributed system for knowledgeinterchange, has given way to organizations...
128
click to vote
ICRA
1999
IEEE
15 years 8 months ago
1999
IEEE
We describe a hybrid planar image-based servo algorithm which, for a simplified planar convex rigid body, converges to a static goal for all initial conditions within the workspac...
158
click to vote
ECOOP
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. The aim of component technology is the replacement of large monolithic applications with sets of smaller software components, whose particular functionality and interoper...