753 search results - page 21 / 151 » Fragments-based Model Reduction: Some Case Studies |
CRYPTO
2004
Springer
14 years 2 months ago
2004
Springer
Many cryptographic primitives begin with parameter generation, which picks a primitive from a family. Such generation can use public coins (e.g., in the discrete-logarithm-based c...
DAGSTUHL
2003
13 years 10 months ago
2003
The Use Case Map (UCM) scenario notation has some strong features related to rapid capture and evaluation of requirements models. In this paper, we explain how a UCM model was deve...
LANMR
2007
13 years 10 months ago
2007
Abstract We study the notion of strong equivalence between two disjunctive logic programs under the G3-stable model semantics, also called the P-stable semantics, and we show how s...
EJC
2000
13 years 10 months ago
2000
Abstract. The Unified Modeling Language (UML) is a natural candidate for user interface (UI) modelling since it is the standard notation for object oriented modelling of applicatio...
BMCBI
2008
13 years 9 months ago
2008
Background: Computational biology is often associated with genetic or genomic studies only. However, thanks to the increase of computational resources, computational models are ap...