A completeness theorem for Kleene algebras and the algebra of regular events
D Kozen - Information and computation, 1994 - Elsevier
and the Algebra of Regular Events Page 1 INFORMATION ANI COMPUTATION 110, 366–390 (
1994) A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events …
1994) A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events …
Specification and validation of process constraints for flexible workflows
Workflow systems have traditionally focused on the so-called production processes which
are characterized by pre-definition, high volume, and repetitiveness. Recently, the …
are characterized by pre-definition, high volume, and repetitiveness. Recently, the …
Managing change and time in dynamic workflow processes
SW Sadiq, O Marjanovic… - International Journal of …, 2000 - World Scientific
Business environments have become exceedingly dynamic and competitive in recent times.
This dynamism is manifested in the form of changing process requirements and time …
This dynamism is manifested in the form of changing process requirements and time …
Advanced workflow management technologies
Process, workflow and groupware projects both in the commercial and research worlds have
each approached the problem of human communication and coordination with different sets …
each approached the problem of human communication and coordination with different sets …
Supporting cooperation in the SPADE-1 environment
S Bandinelli, E Di Nitto… - IEEE Transactions on …, 1996 - ieeexplore.ieee.org
Software development is a cooperative activity that relies heavily on the quality and
effectiveness of the communication channels established within the development team and …
effectiveness of the communication channels established within the development team and …
[图书][B] The locales framework: understanding and designing for wicked problems
G Fitzpatrick - 2003 - books.google.com
Software design is becoming increasingly complex and difficult as we move to applications
that support people interacting with information and with each other over networks …
that support people interacting with information and with each other over networks …
Building a machine learning classifier for malware detection
Z Markel, M Bilzor - 2014 second workshop on anti-malware …, 2014 - ieeexplore.ieee.org
Current signature-based antivirus software is ineffective against many modern malicious
software threats. Machine learning methods can be used to create more effective …
software threats. Machine learning methods can be used to create more effective …
[图书][B] Interactive process models
HD Jørgensen - 2004 - ntnuopen.ntnu.no
Contemporary business process systems are built to automate routine procedures.
Automation demands well-understood domains, repetitive processes, clear organisational …
Automation demands well-understood domains, repetitive processes, clear organisational …
[PDF][PDF] On building workflow models for flexible processes
P Mangan, S Sadiq - ACM International Conference Proceeding …, 2002 - academia.edu
Process support systems, such as workflows, are being used in a variety of domains.
However, most areas of application have focused on traditional production-style processes …
However, most areas of application have focused on traditional production-style processes …
Defining business process flexibility with the help of invariants
G Regev, I Bider, A Wegmann - … Process: Improvement and …, 2007 - Wiley Online Library
Enterprise survival is about maintaining an identity that is separate from other enterprises.
We define flexibility as the ability to change without losing identity. The identity of an …
We define flexibility as the ability to change without losing identity. The identity of an …