1341 search results - page 20 / 269 » Probabilistic Abstraction Hierarchies |
97
Voted
JSC
2002
14 years 9 months ago
2002
We describe a framework of algebraic structures in the proof assistant Coq. We have developed this framework as part of the FTA project in Nijmegen, in which a constructive proof ...
72
Voted
IATA
1998
Springer
15 years 2 months ago
1998
Springer
Routing as well as the management of communicationnetworks that support hybrid types of communications requiring quality of service is a very hard problem. We present here a frame...
ISIM
2007
14 years 11 months ago
2007
Abstract. This paper introduces deriuation table.sthat representa complete grammatical derivations as whole in a vertical way. These tables are obtained by writing the consecutives...
VMCAI
2010
Springer
15 years 7 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
DATE
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract--Hardware/Software codesign of Elliptic Curve Cryptography has been extensively studied in recent years. However, most of these designs have focused on the computational a...