Sciweavers

2730 search results - page 86 / 546
» An Abstract Model for Process Mediation
Sort
View
FAC
2008
114views more  FAC 2008»
14 years 10 months ago
Specification of communicating processes: temporal logic versus refusals-based refinement
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...
Gavin Lowe
HIPC
2000
Springer
15 years 1 months ago
Memory Consistency and Process Coordination for SPARC Multiprocessors
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...
Lisa Higham, Jalal Kawash
DAWAK
2005
Springer
15 years 3 months ago
Extending UML 2 Activity Diagrams with Business Intelligence Objects
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...
Veronika Stefanov, Beate List, Birgit Korherr
GEOINFO
2007
14 years 11 months ago
Model Selection for a Class of Spatio-temporal Models for Areal Data
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...
Juan C. Vivar, Marco A. R. Ferreira
ATAL
2004
Springer
15 years 3 months ago
Trust Dynamics: How Trust Is Influenced by Direct Experiences and by Trust Itself
In this paper we will examine two main aspects of trust dynamics: a) How direct experiences involving trust, with their successes or failures, influence the future trust of an age...
Rino Falcone, Cristiano Castelfranchi