Sciweavers

27756 search results - page 570 / 5552
» Process Query Systems
Sort
View
FSTTCS
2003
Springer
16 years 1 days ago
Reachability Analysis of Process Rewrite Systems
We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “ ”, that allows to model parallel composition while ke...
Ahmed Bouajjani, Tayssir Touili
162
Voted
CAISE
2010
Springer
15 years 8 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
ICMI
2007
Springer
100views Biometrics» more  ICMI 2007»
16 years 29 days ago
Presentation sensei: a presentation training system using speech and image processing
In this paper we present a presentation training system that observes a presentation rehearsal and provides the speaker with recommendations for improving the delivery of the pres...
Kazutaka Kurihara, Masataka Goto, Jun Ogata, Yosuk...
XPU
2005
Springer
16 years 9 days ago
Standardization and Improvement of Processes and Practices Using XP, FDD and RUP in the Systems Information Area of a Mexican St
This work focuses on standardization and improvement of processes and practices using a combination of methodologies including Agile Methodologies (AM). It was implemented at a Mex...
Luis Carlos Aceves Gutiérrez, Enrique Sebas...
IPPS
1998
IEEE
15 years 11 months ago
Failure Recovery for Distributed Processes in Single System Image Clusters
Single System Image (SSI) Distributed Operating Systems have been the subject of increasing interest in recent years. This interest has been fueled primarily by the trend towards ...
Jeffrey Zabarsky