Sciweavers

1230 search results - page 91 / 246
» On Abstraction in Scenarios
Sort
View
ITCC
2005
IEEE
14 years 3 months ago
Using Formal Concept Analysis to Establish Model Dependencies
models evolve at different levels of abstraction, from the requirements specification to development of the source code. The models underlying this process are related and their ...
Igor Ivkovic, Kostas Kontogiannis
BERTINORO
2005
Springer
14 years 3 months ago
Spatial Computing: The TOTA Approach
Spatial abstractions promise to be basic necessary ingredients for a novel “spatial computing” approach to distributed systems development and management, suitable to tackle th...
Marco Mamei, Franco Zambonelli
CHES
2005
Springer
170views Cryptology» more  CHES 2005»
14 years 3 months ago
Design of Testable Random Bit Generators
Abstract. In this paper, the evaluation of random bit generators for security applications is discussed and the concept of stateless generator is introduced. It is shown how, for t...
Marco Bucci, Raimondo Luzzi
CSCLP
2005
Springer
14 years 3 months ago
A Hybrid Benders' Decomposition Method for Solving Stochastic Constraint Programs with Linear Recourse
Abstract. We adopt Benders’ decomposition algorithm to solve scenariobased Stochastic Constraint Programs (SCPs) with linear recourse. Rather than attempting to solve SCPs via a ...
Armagan Tarim, Ian Miguel
ECMDAFA
2005
Springer
83views Hardware» more  ECMDAFA 2005»
14 years 3 months ago
Synchronizing Cardinality-Based Feature Models and Their Specializations
Abstract. A software product line comprises a set of products implementing different configurations of features. The set of valid feature configurations within a product line ca...
Chang Hwan Peter Kim, Krzysztof Czarnecki