176 search results - page 7 / 36 » Predictor models in software engineering (PROMISE) |
FOSSACS
2006
Springer
13 years 11 months ago
2006
Springer
Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languag...
COMSWARE
2007
IEEE
14 years 1 months ago
2007
IEEE
—Sensor networks represent a new frontier in technology that holds the promise of unprecedented levels of autonomy in the execution of complex dynamic missions by harnessing the ...
ISORC
2005
IEEE
14 years 29 days ago
2005
IEEE
: While the conventional remote method invocation mechanism has been considered for a long time as the primary approach for facilitating interactions among real-time objects, a mul...
EMSOFT
2005
Springer
14 years 25 days ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
HICSS
2002
IEEE
14 years 10 days ago
2002
IEEE
We are developing a module-oriented, multiphysics, mixed-fidelity system simulation environment that will enable engineers to rapidly analyze the performance of a system and to o...