Sciweavers

167 search results - page 3 / 34
» Ensuring Structure and Behavior Correctness in Design Compos...
Sort
View
JWSR
2008
98views more  JWSR 2008»
13 years 6 months ago
Mining and Improving Composite Web Services Recovery Mechanisms
: Ensuring composite services reliability is a challenging problem. Indeed, due to the inherent autonomy and heterogeneity of Web services it is difficult to predict and reason abo...
Sami Bhiri, Walid Gaaloul, Claude Godart
DAGSTUHL
2003
13 years 7 months ago
Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...
Holger Giese, Florian Klein, Sven Burmester
ICCD
1996
IEEE
108views Hardware» more  ICCD 1996»
13 years 10 months ago
Module Generators for a Regular Analog Layout
In general, automatic layout composition techniques based on pre-designed devices facilitate the production of small IC numbers by prefabricating their basic structures. They also...
J. Kampe, C. Wisser, G. Scarbata
ICRA
2003
IEEE
133views Robotics» more  ICRA 2003»
13 years 11 months ago
Design and simulation of robust composite controllers for flexible joint robots
In this paper the control of exible joint manipulators is studied in detail. A composite control algorithm is proposed for the exible joint robots, which consists of two main part...
H. D. Taghirad, M. A. Khosravi
FASE
2008
Springer
13 years 7 months ago
Correctness-Preserving Configuration of Business Process Models
Abstract. Reference process models capture recurrent business operations in a given domain such as procurement or logistics. These models are intended to be configured to fit the r...
Wil M. P. van der Aalst, Marlon Dumas, Florian Got...