1728 search results - page 71 / 346 » Formal Modeling of Process Migration |
CAD
2004
Springer
14 years 11 months ago
2004
Springer
Joints in product design are common because of the limitations of component geometric configurations and material properties, and the requirements of inspection, accessibility, re...
87
Voted
ICWE
2010
Springer
14 years 9 months ago
2010
Springer
Compliance management is essential for ensuring that organizational business processes and supporting information systems are in accordance with a set of prescribed requirements or...
ATAL
1997
Springer
15 years 2 months ago
1997
Springer
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...
DGO
2008
15 years 14 days ago
2008
In this paper we outline an approach for modeling election processes and then performing rigorous analysis to verify that these process models meet selected behavioral requirement...
EPK
2007
15 years 14 days ago
2007
Abstract: Quality aspects become increasingly important while business process modeling is used in a large-scale enterprise setting. In order to facilitate a storage without redund...