5433 search results - page 833 / 1087 » Tool Support for Traceability-Adaptation |
183
click to vote
FASE
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
187
click to vote
GPCE
2005
Springer
16 years 7 days ago
2005
Springer
Successful software systems must be prepared to evolve or they will die. Although object-oriented software systems are built to last, over time they degrade as much as any legacy s...
181
click to vote
HPCC
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Recent advances in processor technology such as Simultaneous Multithreading (SMT) and Chip Multiprocessing (CMP) enable parallel processing on a single die. These process...
185
click to vote
KES
2005
Springer
16 years 6 days ago
2005
Springer
Pervasive computing environment and users’ demand for multimedia personalization precipitate a need for personalization tools to help people access desired multimedia content at ...
159
Voted
OTM
2005
Springer
16 years 6 days ago
2005
Springer
Several applications require reasoning over autonomously developed ontologies. Initially conceived to explicit the semantics of a certain domain, these ontologies become a powerfu...