Sciweavers

19367 search results - page 157 / 3874
» Fine-Grain Process Modelling
Sort
View
82
Voted
FM
2009
Springer
90views Formal Methods» more  FM 2009»
15 years 9 months ago
Fair Model Checking with Process Counter Abstraction
Jun Sun 0001, Yang Liu 0003, Abhik Roychoudhury, S...
88
Voted
ISSRE
2008
IEEE
15 years 9 months ago
A Model-Driven Approach to Assuring Process Reliability
The process can fail to deliver its expected outputs
Ibrahim Habli, Tim Kelly
118
Voted
DANTE
1999
IEEE
150views Database» more  DANTE 1999»
15 years 7 months ago
Modeling and Executing the Data Warehouse Refreshment Process
Data warehouse refreshment is often viewed as a problem of maintaining materialized views over operational sources. In this paper, we show that the data warehouse refreshment proc...
Athanasios Vavouras, Stella Gatziu, Klaus R. Dittr...
121
Voted
ICLP
2010
Springer
15 years 6 months ago
Models for Trustworthy Service and Process Oriented Systems
Abstract. Service and process-oriented systems promise to provide more effective business and work processes and more flexible and adaptable enterprise IT systems. However, the t...
Hugo A. López