5433 search results - page 541 / 1087 » Tool Support for Traceability-Adaptation |
186
click to vote
ICSE
2000
IEEE-ACM
15 years 11 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
219
Voted
SSDBM
2000
IEEE
15 years 10 months ago
2000
IEEE
Multidimensional data cubes are used in large data warehouses as a tool for online aggregation of information. As the number of dimensions increases, supporting efficient queries ...
190
click to vote
CIMCA
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper describes a portlet-based portal that provides user interfaces for access a Grid-based elearning platform. E-learning platforms that exploit resources and computing pow...
203
Voted
CSCWD
2008
Springer
15 years 9 months ago
2008
Springer
: The Software Engineering community has been trying to get fast and accurate software estimations for many years. Most of the proposed methods require historical information and/o...
155
click to vote
FMCO
2008
Springer
15 years 8 months ago
2008
Springer
Models are gaining importance in software development, for instance in the MDD field, as well as in other disciplines such as biology and physics. Hence, tool support is needed to ...