Sciweavers

2658 search results - page 182 / 532
» Micro-communication Element System
Sort
View
DAGSTUHL
2003
15 years 6 months ago
Traceability and Evaluation in Scenario Analysis by Use Case Maps
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...
Dorin Bogdan Petriu, Daniel Amyot, C. Murray Woods...
125
Voted
FORTE
2003
15 years 6 months ago
Concerning the Ordering of Adaptive Test Sequences
Abstract. The testing of a state-based system may involve the application of a number of adaptive test sequences. Where the implementation under test (IUT) is deterministic, the re...
Robert M. Hierons, Hasan Ural
ISCAPDCS
2003
15 years 6 months ago
On the Scalable Computation of Large Sets of Integrals
We consider efficient strategies for the parallel and distributed computation of large sets of multivariate integrals. These arise in many applications such as computational chem...
Elise de Doncker, Ajay K. Gupta, Laurentiu Cucos
128
Voted
WOB
2004
15 years 6 months ago
An Integrated Model for Cellular Analysis
ABSTRACT. We present the MOlecular NETwork (MONET) ontology as a model to integrate data from different networks that govern cell function. To achieve this, different existing onto...
Eduardo Battistella, José Souza, Clá...
WSC
2004
15 years 6 months ago
Stochastic Petri Nets for Modelling and Simulation
Stochastic Petri nets (SPNs) have proven to be a powerful and enduring graphically-oriented framework for modelling and performance analysis of complex systems. This tutorial focu...
Peter J. Haas