5433 search results - page 364 / 1087 » Tool Support for Traceability-Adaptation |
172
click to vote
EUROPAR
2007
Springer
16 years 26 days ago
2007
Springer
The performance of many scientific applications for distributed memory platforms can be increased by utilizing multiprocessor-task programming. To obtain the minimum parallel runt...
195
click to vote
QEST
2005
IEEE
16 years 8 days ago
2005
IEEE
This short tool paper introduces MRMC, a model checker for discrete-time and continuous-time Markov reward models. It supports reward extensions of PCTL and CSL, and allows for th...
174
click to vote
ESWS
2004
Springer
16 years 2 days ago
2004
Springer
Web browsing is often a collaborative activity. Users involved in a joint information gathering exercise will wish to share knowledge about the web pages visited and the contents f...
165
click to vote
SEKE
2004
Springer
16 years 1 days ago
2004
Springer
UML statecharts are widely used to specify the dynamic behaviours of systems . To support systematic simulation of such models, we propose an approach to map systems specified usin...
148
click to vote
ECBS
1999
IEEE
15 years 11 months ago
1999
IEEE
An information model supporting core systems engineering design data is presented. The model provides, in conjunction with STEP (ISO 10303) framework services, an infrastructure t...