Sciweavers

328 search results - page 25 / 66
» Presenting crosscutting structure with active models
Sort
View
COORDINATION
2004
Springer
14 years 28 days ago
An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions
This paper presents the StAC language and its operational semantics. StAC (Structured Activity Compensation) is a business process modelling language and a distinctive feature of t...
Michael J. Butler, Carla Ferreira
EUROPAR
2007
Springer
14 years 1 months ago
Fine Tuning Algorithmic Skeletons
Abstract. Algorithmic skeletons correspond to a high-level programming model that takes advantage of nestable programming patterns to hide the complexity of parallel/distributed ap...
Denis Caromel, Mario Leyton
BMCBI
2007
169views more  BMCBI 2007»
13 years 7 months ago
Transcriptional regulatory network refinement and quantification through kinetic modeling, gene expression microarray data and i
Background: Gene expression microarray and other multiplex data hold promise for addressing the challenges of cellular complexity, refined diagnoses and the discovery of well-targ...
Abdallah Sayyed-Ahmad, Kagan Tuncay, Peter J. Orto...
GROUP
1997
ACM
13 years 11 months ago
Flexible support for business processes: extending cooperative hypermedia with process support
In this paper, we present a cooperativehypermediabased process support system aimed on exible business processes. An analysis of the communication, coordination and cooperation r...
Jörg M. Haake, Weigang Wang
ICRA
2006
IEEE
112views Robotics» more  ICRA 2006»
14 years 1 months ago
Generic Differential Kinematic Modeling of Articulated Multi-monocycle Mobile Robots
— This paper presents a generic kinematic modeling approach for articulated multi-monocycle mobile robots. The formulation proposed to deduce the input/output velocity equations ...
Frederic Le Menn, Philippe Bidaud, Faïz Ben A...