Sciweavers

394 search results - page 16 / 79
» Composition mechanisms for retrenchment
Sort
View
BMAS
2000
IEEE
14 years 1 months ago
Integration of Mechanical CAD and Behavioral Modeling
This article introduces the concept of combining both form (CAD models) and behavior (simulation models) of mechatronic system components into component objects. By composing thes...
Rajarishi Sinha, Christiaan J. J. Paredis, Pradeep...
EPEW
2005
Springer
14 years 2 months ago
Timing Issues in Web Services Composition
webπ is a recent process calculus introduced to formally specify Web Services composition. It extends the π-calculus with timed workunits, namely an asynchronous and temporized m...
Manuel Mazzara
IHIS
2005
ACM
14 years 2 months ago
Verifying web services composition based on hierarchical colored petri nets
Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However...
Yanping Yang, QingPing Tan, Yong Xiao
CORR
2011
Springer
160views Education» more  CORR 2011»
13 years 10 days ago
Compositional Model Repositories via Dynamic Constraint Satisfaction with Order-of-Magnitude Preferences
The predominant knowledge-based approach to automated model construction, compositional modelling, employs a set of models of particular functional components. Its inference mecha...
Jeroen Keppens, Qiang Shen
SOCO
2007
Springer
14 years 2 months ago
Dynamic Contextual Service Ranking
This paper explores service composition in pervasive environments with a focus on dynamic service selection. Service orientation offers the dynamism and loose coupling needed in pe...
André Bottaro, Richard S. Hall