322 search results - page 29 / 65 » Developing and Reasoning About Probabilistic Programs in pGC... |
ESOP
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
ICLP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Constraints and preferences are ubiquitous in real-life. Moreover, preferences can be of many kinds: qualitative, quantitative, conditional, positive or negative, to name...
MM
2004
ACM
14 years 1 months ago
2004
ACM
In this paper, we describe ChucK – a programming language and programming model for writing precisely timed, concurrent audio synthesis and multimedia programs. Precise concurre...
SP
2009
IEEE
14 years 2 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
ETFA
2006
IEEE
14 years 1 months ago
2006
IEEE
Multiplysectioned Bayesian networks provide a probabilistic framework for reasoning about uncertain domains in cooperative multiagent systems. Several advances have been made in r...