Sciweavers

3796 search results - page 121 / 760
» View-Based Process Visualization
Sort
View
ISSTA
2000
ACM
14 years 24 days 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
13 years 11 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
13 years 10 months 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»
13 years 7 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
14 years 10 months 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