Sciweavers

20833 search results - page 375 / 4167
» Hidden process models
Sort
View
HICSS
2008
IEEE
185views Biometrics» more  HICSS 2008»
16 years 21 days ago
Organizational Readiness for Business Process Outsourcing: A Model of Determinants and Impact on Outsourcing Success
In innovation adoption literature, the important role of the organizational context as a determinant of information systems (IS) success has long been pointed out. Various factors...
Sebastian F. Martin, Daniel Beimborn, Mihir A. Par...
WETICE
2003
IEEE
15 years 11 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 10 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
FM
2009
Springer
90views Formal Methods» more  FM 2009»
16 years 25 days ago
Fair Model Checking with Process Counter Abstraction
Jun Sun 0001, Yang Liu 0003, Abhik Roychoudhury, S...
ISSRE
2008
IEEE
16 years 19 days ago
A Model-Driven Approach to Assuring Process Reliability
The process can fail to deliver its expected outputs
Ibrahim Habli, Tim Kelly