2556 search results - page 61 / 512 » The Triconnected Abstraction of Process Models |
163
click to vote
FAC
2008
15 years 6 months ago
2008
Abstract. In this paper we consider the relationship between refinement-oriented specification and specifications using a temporal logic. We investigate the extent to which one can...
167
click to vote
HIPC
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Simple and unified non-operational specifications of the three memory consistency models Total Store Ordering (TSO), Partial Store Ordering (PSO), and Relaxed Memory Orde...
174
click to vote
DAWAK
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Data Warehouse (DWH) information is accessed by business processes. Today, no conceptual models exist that make the relationship between the DWH and the business processe...
166
click to vote
TSMC
2010
15 years 20 days ago
2010
Abstract--It is critical to use automated generators for synthetic models and data, given the sparsity of benchmark models for empirical analysis and the cost of generating models ...
148
click to vote
GEOINFO
2007
15 years 7 months ago
2007
Abstract. We present a method to perform model selection based on predictive density in a class of spatio-temporal dynamic generalized linear models for areal data. These models as...