5434 search results - page 857 / 1087 » Tool support for MOLA |
179
click to vote
GPCE
2005
Springer
16 years 1 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...
169
click to vote
HPCC
2005
Springer
16 years 1 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...
178
click to vote
KES
2005
Springer
16 years 14 hour 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 ...
155
click to vote
OTM
2005
Springer
16 years 9 hour 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...
150
click to vote
SIGADA
2005
Springer
16 years 2 hour ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...