Sciweavers

5457 search results - page 766 / 1092
» Software Component Independence
Sort
View
WORDS
2003
IEEE
16 years 2 days ago
Weaving Aspects into Real-Time Operating System Design Using Object-Oriented Model Transformation
Despite of the proliferation of object-oriented and component technology, their application to real-time operating systems (RTOS) has been limited since most design concerns in RT...
Jiyong Park, Saehwa Kim, Seongsoo Hong
SIGIR
2003
ACM
16 years 2 days ago
Quantitative evaluation of passage retrieval algorithms for question answering
Passage retrieval is an important component common to many question answering systems. Because most evaluations of question answering systems focus on end-to-end performance, comp...
Stefanie Tellex, Boris Katz, Jimmy J. Lin, Aaron F...
FMCO
2003
Springer
114views Formal Methods» more  FMCO 2003»
16 years 1 days ago
Synchronous Closing and Flow Analysis for Model Checking Timed Systems
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
GPCE
2003
Springer
16 years 1 days ago
A Case for Test-Code Generation in Model-Driven Systems
A primary goal of generative programming and model-driven ent is to raise the level of abstraction at which designers and developers interact with the software systems they are bui...
Matthew J. Rutherford, Alexander L. Wolf
ICDCSW
2002
IEEE
15 years 11 months ago
Behavior and Performance of Message-Oriented Middleware Systems
The middleware technology used as the foundation of Internet-enabled enterprise systems is becoming increasingly complex. In addition, the various technologies offer a number of s...
Phong Tran, Paul Greenfield, Ian Gorton