Sciweavers

5409 search results - page 142 / 1082
» Basic Observables for Processes
Sort
View
91
Voted
ENTCS
2008
88views more  ENTCS 2008»
15 years 2 months ago
Specification of Conditions for Error Diagnostics
This paper describes the basic concepts of error diagnostics and an associated rule system whose application helps to identify potential hardware/software locations of errors whic...
Christof Efkemann, Tobias Hartmann
107
Voted
SOFTWARE
1998
15 years 2 months ago
Real-Life Object-Oriented Systems
Object-oriented development is expected to provide many benefits, but observations of industrial practice show that there are many problems to overcome. This paper discusses two i...
Søren Lauesen
115
Voted
JMLR
2010
93views more  JMLR 2010»
14 years 9 months ago
Distinguishing between cause and effect
We propose a novel method for inferring whether X causes Y or vice versa from joint observations of X and Y . The basic idea is to model the observed data using probabilistic late...
Joris M. Mooij, Dominik Janzing
98
Voted
CONCUR
2005
Springer
15 years 8 months ago
Deriving Weak Bisimulation Congruences from Reduction Systems
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawe...
120
Voted
BIS
2009
168views Business» more  BIS 2009»
15 years 3 months ago
Defining Adaptation Constraints for Business Process Variants
Abstract. In current dynamic business environment, it has been argued that certain characteristics of ad-hocism in business processes are desirable. Such business processes typical...
Ruopeng Lu, Shazia Wasim Sadiq, Guido Governatori,...