2123 search results - page 290 / 425 » Composition of Cyber-Physical Systems |
138
Voted
AROBOTS
1999
15 years 4 months ago
1999
Abstract. In this paper, we present a system called the Active Vision Shell (AV-shell) which provides a programming framework for expressing and implementing autonomous robotic tas...
155
Voted
SAC
2002
ACM
15 years 4 months ago
2002
ACM
In most of today's agent systems migration of agents requires homogeneity in the programming language and/or agent platform in which an agent has been designed. In this paper...
154
click to vote
ICWS
2010
IEEE
15 years 3 months ago
2010
IEEE
The service-oriented approach is becoming more and more popular to integrate highly heterogeneous systems. Web services are the natural evolution of conventional middleware techno...
148
click to vote
SPIN
2010
Springer
15 years 3 months ago
2010
Springer
In this paper, we propose the nevertrace claim, which is a new construct for specifying the correctness properties that either finite or infinite execution traces (i.e., sequence...
138
Voted
ECOWS
2010
Springer
15 years 2 months ago
2010
Springer
OSIRIS is a middleware for the composition and orchestration of distributed web services that follows a P2P decentralized approach to process execution, providing already some deg...