Sciweavers

12670 search results - page 353 / 2534
» Requirements Modeling
Sort
View
SIGMETRICS
2000
ACM
15 years 11 months ago
An analytical model of the working-set sizes in decision-support systems
This paper presents an analytical model to study how working sets scale with database size and other applications parameters in decision-support systems (DSS). The model uses appl...
Magnus Karlsson, Per Stenström
ASIACRYPT
2000
Springer
15 years 11 months ago
A Note on Security Proofs in the Generic Model
A discrete-logarithm algorithm is called generic if it does not exploit the specific representation of the cyclic group for which it is supposed to compute discrete logarithms. Su...
Marc Fischlin
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
15 years 11 months ago
Verifying UML/OCL models using Boolean satisfiability
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Mart...
RTSS
1998
IEEE
15 years 11 months ago
Elastic Task Model for Adaptive Rate Control
An increasing number of real-time applications, related to multimedia and adaptive control systems, require greater flexibility than classical real-time theory usually permits. In...
Giorgio C. Buttazzo, Giuseppe Lipari, Luca Abeni
161
Voted
HICSS
1996
IEEE
105views Biometrics» more  HICSS 1996»
15 years 11 months ago
DEVS-C++: A High Performance Modelling and Simulation Environment
Simulation of landscape ecosystems with high realism demands computing power greatly exceeding that of current workstation technology. However, the prospects are excellent that mo...
Bernard P. Zeigler, Yoonkeon Moon, Doohwan Kim, Je...