2123 search results - page 257 / 425 » Composition of Cyber-Physical Systems |
162
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
This paper presents a Service-Oriented Process Model (SOM) to build a web-services based process management system, called MIDAS that would support distributed Design and Manufact...
209
click to vote
SAS
2009
Springer
16 years 7 months ago
2009
Springer
In this paper we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bottom-up and non-iterative. We pres...
144
click to vote
ACSD
2009
IEEE
16 years 1 months ago
2009
IEEE
In a service-oriented architecture (SOA), a service broker assigns a previously published service (stored in a service registry) to a service requester. It is desirable for the co...
166
click to vote
SLE
2009
Springer
16 years 1 months ago
2009
Springer
Modularisation can reduce the effort in designing and maintaining language specifications. Existing approaches to language modularisation are typically either focused on language ...
153
click to vote
DEBS
2009
ACM
16 years 1 months ago
2009
ACM
We study the development of distributed agent environments as distributed event-based systems specified in the Ambient Event Calculus (AEC). The AEC is a logic-based formalism th...