2205 search results - page 320 / 441 » Mutation Operators for Specifications |
152
click to vote
RTAS
1997
IEEE
15 years 10 months ago
1997
IEEE
A real-time system operates under timing constraints which it may be unable to meet under some circumstances. The criticality of a timing constraint determines how a system is to ...
162
click to vote
WCRE
1997
IEEE
15 years 10 months ago
1997
IEEE
Reverse Engineering is focused on the challenging task of understanding legacy program code without having suitable documentation. Using a transformational forward engineering per...
160
click to vote
VLDB
1995
ACM
15 years 10 months ago
1995
ACM
We present a shape definition language, called SDC, for retrieving objects based on shapes contained in the histories associated with these objects. It is a small, yet powerful, l...
148
click to vote
ASPLOS
1991
ACM
15 years 10 months ago
1991
ACM
Access/execute architectures have several advantages over more traditional architectures. Because address generation and memory access are decoupled from operand use, memory laten...
187
click to vote
EDBT
2010
ACM
15 years 9 months ago
2010
ACM
So far, data warehousing has often been discussed in the light of complex OLAP queries and as reporting facility for operative data. We argue that business planning as a means to ...