10072 search results - page 1489 / 2015 » Composition of Model Programs |
192
click to vote
ICALP
2005
Springer
16 years 18 days ago
2005
Springer
We study a clean machine model for external memory and stream processing. We show that the number of scans of the external data induces a strict hierarchy (as long as work space is...
154
click to vote
ICALP
2005
Springer
16 years 18 days ago
2005
Springer
We investigate the decidability of observational equivalence and approximation in “Syntactic Control of Interference” (SCI). By asg denotations of terms in an inequationally fu...
190
click to vote
ICALP
2005
Springer
16 years 18 days ago
2005
Springer
We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...
253
click to vote
IDA
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. This paper introduces Higher-Order Bayesian Networks, a probabilistic reasoning formalism which combines the efficient reasoning mechanisms of Bayesian Networks with the...
174
click to vote
IFIP
2005
Springer
16 years 17 days ago
2005
Springer
Recently, opacity has proved to be a promising technique for describing security properties. Much of the work has been couched in terms of Petri nets. Here, we extend the notion of...