Sciweavers

5409 search results - page 142 / 1082
» Basic Observables for Processes
Sort
View
76
Voted
ENTCS
2008
88views more  ENTCS 2008»
15 years 26 days 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
89
Voted
SOFTWARE
1998
15 years 14 days 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
104
Voted
JMLR
2010
93views more  JMLR 2010»
14 years 7 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
CONCUR
2005
Springer
15 years 6 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...
107
Voted
BIS
2009
168views Business» more  BIS 2009»
15 years 1 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,...