Sciweavers

1743 search results - page 237 / 349
» Aligning Business Process Models
Sort
View
EPK
2004
122views Management» more  EPK 2004»
14 years 1 days ago
Transformation of ARIS Markup Language to EPML
: Heterogeneous and proprietary interchange formats pose a major problem for business process management. This applies in particular to processes that have been modelled as Event-D...
Jan Mendling, Markus Nüttgens
ENTCS
2007
114views more  ENTCS 2007»
13 years 10 months ago
Active Evaluation Contexts for Reaction Semantics
In the context of process algebras it is customary to define semantics in the form of a reaction relation supported by a structural congruence relation. Recently process algebras...
Henrik Pilegaard, Flemming Nielson, Hanne Riis Nie...
CAISE
2009
Springer
13 years 8 months ago
Developing Quality Management Systems with DEMO
The International Organization for Standardization (ISO) has defined Quality Management, but it has not yet adopted standards for developing Quality Management Systems (QMSs), nota...
Jos Geskus, Jan L. G. Dietz
DEBS
2007
ACM
14 years 2 months ago
Concepts and models for typing events for event-based systems
Event-based systems are increasingly gaining widespread attention for applications that require integration with loosely coupled and distributed systems for time-critical business...
Szabolcs Rozsnyai, Josef Schiefer, Alexander Schat...
SP
1987
IEEE
118views Security Privacy» more  SP 1987»
14 years 2 months ago
A Comparison of Commercial and Military Computer Security Policies
Most discussions of computer security focus on control of disclosure. In Particular, the U.S. Department of Defense has developed a set of criteria for computer mechanisms to prov...
D. D. Clark, D. R. Wilson