Sciweavers

169 search results - page 3 / 34
» An automated approach for abstracting execution logs to exec...
Sort
View
ICDE
2006
IEEE
141views Database» more  ICDE 2006»
14 years 1 months ago
MoSCoE: A Framework for Modeling Web Service Composition and Execution
Development of sound approaches and software tools for specification, assembly, and deployment of composite Web services from independently developed components promises to enhan...
Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasa...
JMLR
2010
107views more  JMLR 2010»
13 years 2 months ago
Modeling Knowledge Worker Activity
This paper describes an approach to constructing a probabilistic process model representing knowledge worker activity out of a log of primitive events, such as e-mails, web page v...
Tadej Stajner, Dunja Mladenic
APN
2010
Springer
13 years 5 months ago
Learning Workflow Petri Nets
Workflow mining is the task of automatically producing a workflow model from a set of event logs recording sequences of workflow events; each sequence corresponds to a use case or ...
Javier Esparza, Martin Leucker, Maximilian Schlund
CADE
2007
Springer
14 years 7 months ago
Inferring Invariants by Symbolic Execution
In this paper we propose a method for inferring invariants for loops in Java programs. An example of a simple while loop is used throughout the paper to explain our approach. The m...
Benjamin Weiß, Peter H. Schmitt
VLDB
2001
ACM
110views Database» more  VLDB 2001»
13 years 11 months ago
Warehousing Workflow Data: Challenges and Opportunities
Workflow management systems (WfMSs) are software platforms that allow the definition, execution, monitoring, and management of business processes. WfMSs log every event that occur...
Angela Bonifati, Fabio Casati, Umeshwar Dayal, Min...