Sciweavers

3796 search results - page 121 / 760
» View-Based Process Visualization
Sort
View
ISSTA
2000
ACM
15 years 3 months ago
Verifying properties of process definitions
ions for concise and precise specification of such control, but balance this with visualization support to help users also obtain intuitive insights. The underlying complexhese con...
Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Oste...
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
CAISE
2010
Springer
15 years 23 days ago
Design and Verification of Instantiable Compliance Rule Graphs in Process-Aware Information Systems
For enterprises it has become crucial to check compliance of their business processes with certain rules such as medical guidelines or financial regulations. When automating compli...
Linh Thao Ly, Stefanie Rinderle-Ma, Peter Dadam
JOCN
2010
88views more  JOCN 2010»
14 years 10 months ago
Imaging Implicit Morphological Processing: Evidence from Hebrew
■ Is morphology a discrete and independent element of lexical structure or does it simply reflect a fine-tuning of the system to the statistical correlation that exists among or...
Atira S. Bick, Ram Frost, Gadi Goelman
WWW
2007
ACM
16 years 9 days ago
Learning information diffusion process on the web
Many text documents on the Web are not originally created but forwarded or copied from other source documents. The phenomenon of document forwarding or transmission between variou...
Xiaojun Wan, Jianwu Yang