262 search results - page 37 / 53 » Using Cases for Process Modelling: An Example from the Water... |
ICFEM
2003
Springer
14 years 1 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
BPM
2008
Springer
13 years 10 months ago
2008
Springer
Business Continuity Management (BCM) is a process to manage risks, emergencies, and recovery plans of an organization during a crisis. It results in a document called Business Cont...
IJWIN
2010
13 years 3 months ago
2010
Information regarding the propagation media is typically gathered by conducting physical experiments, measuring and processing the corresponding data to obtain channel characterist...
ESAW
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Motivated by demands from the commercial world for software systems that can assist in the reorganisation of processes for the purpose of reducing business complexity, we...
ISPW
1991
IEEE
14 years 15 hour ago
1991
IEEE
product and the project as well as to define synchronization (or interaction) abstractions; activity definitions are used to model the process activities that transform the produ...