1341 search results - page 20 / 269 » Probabilistic Abstraction Hierarchies |
114
Voted
JSC
2002
15 years 15 hour 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 ...
IATA
1998
Springer
15 years 4 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...
85
Voted
ISIM
2007
15 years 1 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...
114
click to vote
VMCAI
2010
Springer
15 years 9 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 4 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...