Sciweavers

1897 search results - page 140 / 380
» eg 2007
Sort
View
DAGSTUHL
2006
14 years 1 days ago
Choreography Conformance Checking: An Approach based on BPEL and Petri Nets
Abstract Recently, languages such as BPEL and CDL have been proposed to describe the way services can interact from a behavioral perspective. The emergence of these languages heral...
Wil M. P. van der Aalst, Marlon Dumas, Chun Ouyang...
DAGSTUHL
2006
14 years 1 days ago
A Reconfigurable Outer Modem Platform for Future Communications Systems
Current and future communications systems have to provide a large degree of flexibility e.g. to provide multi-service ability, seamless roaming, softinfrastructure upgrading, user-...
Norbert Wehn, Timo Vogt, Christian Neeb
DAGSTUHL
2006
14 years 1 days ago
Physical 2D Morphware and Power Reduction Methods for Everyone
Dynamic and partial reconfiguration discovers more and more the focus in academic and industrial research. Modern systems in e.g. avionic and automotive applications exploit the p...
Jürgen Becker, Michael Hübner, Katarina ...
DAGSTUHL
2006
14 years 1 days ago
Upper and Lower Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems
In this paper we study a class of dynamical systems defined by Pfaffian maps. It is a sub-class of o-minimal dynamical systems which capture rich continuous dynamics and yet can be...
Margarita V. Korovina, Nicolai Vorobjov
DAIS
2006
14 years 1 days ago
Towards Context-Aware Transaction Services
Abstract. For years, transactional protocols have been defined for particular application needs. Traditionally, when implementing a transaction service, a protocol is chosen and re...
Romain Rouvoy, Patricia Serrano-Alvarado, Philippe...