2664 search results - page 17 / 533 » Theory by Process |
PKDD
2010
Springer
13 years 6 months ago
2010
Springer
Mining Meets Abstract Interpretation J. Carmona and J. Cortadella Universitat Polit`ecnica de Catalunya, Spain The discovery of process models out of system traces is a problem tha...
ICALP
2009
Springer
14 years 8 months ago
2009
Springer
We take a dual view of Markov processes ? advocated by Kozen ? as transformers of bounded measurable functions. We redevelop the theory of labelled Markov processes from this view ...
TASE
2009
IEEE
14 years 2 months ago
2009
IEEE
We explore the interactions between programvariable state visibility and communication behaviour in state-rich CSP-like processes, using the Unifying Theories of Programming (UTP)...
INLG
2010
Springer
13 years 5 months ago
2010
Springer
In this paper we present a reference generation model based on Reference Domain Theory which gives a dynamic account of reference. This reference model assumes that each referring...
COSIT
2003
Springer
14 years 1 months ago
2003
Springer
Scale is of great importance to the analysis of real world phenomena, be they enduring objects or perduring processes. This paper presents a new perspective on the concept of scale...