Sciweavers

21490 search results - page 534 / 4298
» Business Process Modeling
Sort
View
WETICE
2003
IEEE
15 years 10 months ago
Knowledge Management for Distributed Agile Processes: Models, Techniques, and Infrastructure
This report summarizes presentations and discussions of the IEEE WETICE 2003 Workshop on Knowledge Management for Distributed Agile Processes. The main goals of the workshop were ...
Harald Holz, Grigori Melnik, Martin Schaaf
FSTTCS
1998
Springer
15 years 9 months ago
A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
Jean-Pierre Talpin, David Nowak
105
Voted
FM
2009
Springer
90views Formal Methods» more  FM 2009»
15 years 11 months ago
Fair Model Checking with Process Counter Abstraction
Jun Sun 0001, Yang Liu 0003, Abhik Roychoudhury, S...
ISSRE
2008
IEEE
15 years 11 months ago
A Model-Driven Approach to Assuring Process Reliability
The process can fail to deliver its expected outputs
Ibrahim Habli, Tim Kelly