14244 search results - page 2463 / 2849 » Modeling Program Predictability |
101
click to vote
ENTCS
2006
15 years 3 months ago
2006
Capability passing processes model global applications in a way that decouples the global agreement aspects of protocols from the details of how the communications are actually ma...
126
click to vote
ENTCS
2006
15 years 3 months ago
2006
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...
241
click to vote
ENTCS
2006
15 years 3 months ago
2006
We investigate the construction of linear operators representing the semantics of probabilistic programming languages expressed via probabilistic transition systems. Finite transi...
129
click to vote
IJISEC
2008
15 years 3 months ago
2008
Preventing improper information leaks is a greatest challenge of the modern society. In this paper we present a technique for measuring the ability of several families of adversari...
128
click to vote
IJRR
2008
15 years 3 months ago
2008
Abstract. In the world of living creatures, "simple minded" animals often cooperate to achieve common goals with amazing performance. One can consider this idea in the co...