Sciweavers

1186 search results - page 173 / 238
» On Designing an Experiment to Evaluate a Reverse Engineering...
Sort
View
FAC
2006
122views more  FAC 2006»
13 years 10 months ago
The verified software repository: a step towards the verifying compiler
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
EUROMICRO
2009
IEEE
14 years 5 months ago
A Component-Based Technology for Hardware and Software Components
One of the challenges in development of embedded systems is to cope with hardware and software components simultaneously. Often is their integration cumbersome due to their incomp...
Luka Lednicki, Ana Petricic, Mario Zagar
ETFA
2005
IEEE
14 years 3 months ago
Modelling of distributed system in one single simulation model: a way to study communications within distributed systems
This paper explains the modelling of distributed discrete-event systems in one single simulation model. Our purpose was to evaluate the design of the distributed system and to hig...
G. Christine, G. Emilie
IJAOSE
2008
83views more  IJAOSE 2008»
13 years 10 months ago
PASSIM: a simulation-based process for the development of multi-agent systems
: This paper presents the Process for Agent Specification, Simulation and Implementation (PASSIM), a simulation-based development process for Multi-agent Systems (MASs), which was ...
Massimo Cossentino, Giancarlo Fortino, Alfredo Gar...
JIT
2004
Springer
134views Database» more  JIT 2004»
14 years 3 months ago
Reconciling Feature Modeling: A Feature Modeling Metamodel
Feature modeling, a conceptual domain modeling technique used mainly in domain engineering, proved as useful for representing configurability of concepts by dealing explicitly wit...
Valentino Vranic