Sciweavers

4346 search results - page 201 / 870
» Models of Complex Physical Systems Using Cell-DEVS
Sort
View
ICSE
2009
IEEE-ACM
15 years 2 months ago
Model Based Functional Testing Using Pattern Directed Filmstrips
Model driven functional system testing generates test scenarios from behavioural and structural models. In order to autmatically generate tests, conditions such as invariants and ...
Tony Clark
187
Voted
SPLC
2007
15 years 5 months ago
Product Line Implementation using Aspect-Oriented and Model-Driven Software Development
Software product line engineering aims to reduce development time, effort, cost, and complexity by taking advantage of the commonality within a portfolio of similar products. The ...
Markus Völter, Iris Groher
HYBRID
2004
Springer
15 years 9 months ago
Almost ASAP Semantics: From Timed Models to Timed Implementations
In this paper, we introduce a parametric semantics for timed controllers called the Almost ASAP semantics. This semantics is a relaxation of the usual ASAP3 semantics (also called ...
Martin De Wulf, Laurent Doyen, Jean-Françoi...
PARLE
1994
15 years 8 months ago
Modelling Photochemical Pollution using Parallel and Distributed Computing Platforms
Scientists are increasingly turning to numerical simulation in order to investigate and model complex environmental systems. Numerical simulation has enormous advantages over labor...
David Abramson, M. Cope, R. McKenzie
VLDB
1990
ACM
77views Database» more  VLDB 1990»
15 years 8 months ago
Efficient Main Memory Data Management Using the DBGraph Storage Model
Therequirementsfor amain memorydatastoragemodel are both compactnessand efficient processing for all database operations. The DBGraph storage model, proposed in this paper, achiev...
Philippe Pucheral, Jean-Marc Thévenin, Patr...