Sciweavers

19342 search results - page 153 / 3869
» Decentralised Process Modelling
Sort
View
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 24 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
DANTE
1999
IEEE
150views Database» more  DANTE 1999»
15 years 10 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...