Sciweavers

1284 search results - page 78 / 257
» Abstract Processes in Orchestration Languages
Sort
View
ERCIMDL
1997
Springer
130views Education» more  ERCIMDL 1997»
15 years 2 months ago
Modelling the Retrieval of Structured Documents Containing Texts and Images
Abstract. We present a model for complex documents possibly consisting of a hierarchically structured set of images or texts. Documents are represented both at the form level (as s...
Carlo Meghini, Fabrizio Sebastiani, Umberto Stracc...
PLSA
1994
15 years 2 months ago
Technological Steps toward a Software Component Industry
A machine_independent abstract program representation is presented that is twice as compact as machine code for a CISC processor. It forms the basis of an implementation, in which ...
Michael Franz
ICSOC
2010
Springer
14 years 8 months ago
Creating Context-Adaptive Business Processes
Abstract. As the dynamicity of today's business environments keeps increasing, there is a need to continuously adapt business processes in order to respond to the changes in t...
Gabriel Hermosillo, Lionel Seinturier, Laurence Du...
FDL
2007
IEEE
15 years 1 months ago
Transactor-based Formal Verification of Real-time Embedded Systems
With the increasing complexity of today's embedded systems, there is a need to formally verify such designs at mixed abstraction levels. This is needed if some compoe describ...
Daniel Karlsson, Petru Eles, Zebo Peng
AGTIVE
2007
Springer
15 years 4 months ago
Assuring Consistency of Business Process Models and Web Services Using Visual Contracts
Abstract. Business process models describe workflows by a set of actions together with their ordering. When implementing business processes within a service-oriented architecture,...
Gregor Engels, Baris Güldali, Christian Solte...