6047 search results - page 152 / 1210 » Modeling with Extend |
EPEW
2006
Springer
15 years 5 months ago
2006
Springer
PEPA has recently been extended with functional rates [1][2]. These functions allow the specification of indirect interaction between components in such a way that the rate of an a...
130
click to vote
EUROCRYPT
2010
Springer
15 years 5 months ago
2010
Springer
We construct an efficient identity based encryption system based on the standard learning with errors (LWE) problem. Our security proof holds in the standard model. The key step in...
106
click to vote
IANDC
2006
15 years 1 months ago
2006
This paper is devoted to probabilistic models for concurrent systems under their true-concurrency semantics. Here we address probabilistic event structures. We consider a new clas...
141
click to vote
COMMA
2010
14 years 9 months ago
2010
Abstract. This paper presents a technique with which instances of argument structures in the Carneades model can be given a probabilistic semantics by translating them into Bayesia...
114
click to vote
ATAL
2009
Springer
15 years 3 months ago
2009
Springer
In this paper we present a new model for the requirements analysis of a system. We offer a conceptual model defined following a visual modeling language, called dependence networks...