15779 search results - page 2665 / 3156 » Change-oriented software engineering |
125
click to vote
CIKM
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we suggest a new approach to analysis and design of IR systems. We argue for design space exploration in constructing IR systems and in analyzing the effects of ind...
132
click to vote
CSCLP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We propose to use bilattice as a constraint valuation structure in order to represent truth and belief at the same time. A bilattice is a set which owns two lattices orde...
126
click to vote
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
In reactive systems, execution is driven by external events to which the system should respond with appropriate actions. Such events can be simple, but systems are often supposed ...
139
click to vote
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
Cache prediction for preemptive scheduling is an open issue despite its practical importance. First analysis approaches use simplified models for cache behavior or they assume si...
195
click to vote
FAABS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...