Sciweavers

3212 search results - page 143 / 643
» Definition and modeling of process using object orientation
Sort
View
AMAST
2006
Springer
15 years 8 months ago
Testing Semantics: Connecting Processes and Process Logics
We propose a methodology based on testing as a framework to capture the interactions of a machine represented in a denotational model and the data it manipulates. Using a duality t...
Dusko Pavlovic, Michael W. Mislove, James Worrell
WSCG
2004
154views more  WSCG 2004»
15 years 5 months ago
Freeform Object Positioning by 3D Shape Matching Without Artificial Feature Points
Determining the position and orientation of a workpiece relative to a manufacturing device is a prerequisite for machining path planning. If the workpiece is freeform and if it co...
Joris S. M. Vergeest, Yu Song, D. Hartge
142
Voted
SPLC
2007
15 years 5 months ago
A Variability Modeling Method for Adaptable Services in Service-Oriented Computing
Publish-Discover-Compose paradigm of Service-Oriented Computing (SOC) presents a challenge on service applicability. Services are not just for predefined clients, rather for poten...
Soo Ho Chang, Soo Dong Kim
BIS
2007
183views Business» more  BIS 2007»
15 years 6 months ago
A Conceptual Framework for Composition in Business Process Management
In this work, we present a conceptual framework for deriving executable business process models from high-level, graphical business process models based on the paradigm of Service-...
Ingo Weber, Ivan Markovic, Christian Drumm
FDL
2007
IEEE
15 years 8 months ago
Transaction Level Modelling: A reflection on what TLM is and how TLMs may be classified
Transaction-level modelling (TLM) is a poorlyterm, promising a level of abstraction like RTL (register transfer level), where the key feature is a `transaction'. But unlike r...
Mark Burton, James Aldis, Robert Günzel, Wolf...