Sciweavers

1907 search results - page 352 / 382
» Visualizing Action Semantics
Sort
View
ASM
2008
ASM
15 years 1 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
100
Voted
ATAL
2008
Springer
15 years 1 months ago
A domain specific modeling language for multiagent systems
Software systems are becoming more and more complex with a large number of interacting partners often distributed over a network. A common dilemma faced by software engineers in b...
Christian Hahn
85
Voted
CLEF
2008
Springer
15 years 25 days ago
Exploiting Term Co-occurrence for Enhancing Automated Image Annotation
This paper describes an application of statistical co-occurrence techniques that built on top of a probabilistic image annotation framework is able to increase the precision of an ...
Ainhoa Llorente, Simon E. Overell, Haiming Liu 000...
ESWS
2008
Springer
15 years 24 days ago
WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic
tract State Machines to Concurrent Transaction Logic Dumitru Roman1 , Michael Kifer2 , and Dieter Fensel1 1 STI Innsbruck, Austria 2 State University of New York at Stony Brook, US...
Dumitru Roman, Michael Kifer, Dieter Fensel
GRAPHICSINTERFACE
2007
15 years 14 days ago
Jump: a system for interactive, tangible queries of paper
This paper introduces Jump, a prototype computer vision-based system that transforms paper-based architectural documents into tangible query interfaces. Specifically, Jump allows ...
Michael Terry, Janet Cheung, Justin Lee, Terry Par...