1788 search results - page 72 / 358 » Model Theory for Process Algebra |
92
Voted
ICCV
2003
IEEE
16 years 2 months ago
2003
IEEE
In this paper, we present a mathematical theory for Marr's primal sketch. We first conduct a theoretical study of the descriptive Markov random field model and the generative...
88
Voted
APLAS
2003
ACM
15 years 6 months ago
2003
ACM
The chi calculus is studied in the framework incorporating two constructions widely useful in applications: asymmetric communication and mismatch condition. The barbed bisimilarity...
103
Voted
FASE
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Model-driven development is a field within software engineering in which software artifacts are represented as models in order to improve productivity, quality, and cost ...
IPPS
2003
IEEE
15 years 6 months ago
2003
IEEE
We propose general purposes natural heuristics for static block and block-cyclic heterogeneous data decomposition over processes of parallel program mapped into multidimensional g...
IPPS
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...