Sciweavers

3793 search results - page 640 / 759
» Expressive Description Logics
Sort
View
ASM
2008
ASM
15 years 8 months ago
Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
Egon Börger, Bernhard Thalheim
BIRTHDAY
2008
Springer
15 years 8 months ago
A Heterogeneous Approach to UML Semantics
Abstract. UML models consist of several diagrams of different types describing different views of a software system ranging from specifications of the static system structure to de...
María Victoria Cengarle, Alexander Knapp, A...
BPM
2006
Springer
128views Business» more  BPM 2006»
15 years 8 months ago
Towards Formal Verification of Web Service Composition
Abstract. Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition propos...
Mohsen Rouached, Olivier Perrin, Claude Godart
CSCW
2008
ACM
15 years 7 months ago
It's all 'about you': diversity in online profiles
User profiles on today's social networking sites support only a small set of predefined questions. We report on an alternative way for users to richly describe themselves, by...
Casey Dugan, Werner Geyer, Michael J. Muller, Joan...
LREC
2010
166views Education» more  LREC 2010»
15 years 7 months ago
Video Retrieval in Sign Language Videos : How to Model and Compare Signs?
This paper deals with the problem of finding sign occurrences in a sign language (SL) video. It begins with an analysis of sign models and the way they can take into account the s...
François Lefebvre-Albaret, Patrice Dalle