2205 search results - page 21 / 441 » Mutation Operators for Specifications |
IWMM
2011
Springer
12 years 10 months ago
2011
Springer
We propose a new memory model called short-term memory for managing objects on the heap. In contrast to the traditional persistent memory model for heap management, objects in sho...
BIRTHDAY
2000
Springer
13 years 11 months ago
2000
Springer
Various forms of assumption/commitment specifications have been used to specify and reason about the interference that comes from concurrent execution; in particular, consistent a...
BIOID
2008
13 years 9 months ago
2008
This paper analyzes two recently released image quality specifications for single-finger scanners and proposes three new specifications targeted to different types of applications....
UML
2000
Springer
13 years 11 months ago
2000
Springer
The purpose of this paper is to first showcase the concept of an operation schema--a precise form of system-level operation specification--and secondly show how operation schemas e...
ER
2007
Springer
14 years 1 months ago
2007
Springer
An information system maintains a representation of the state of the domain in its Information Base (IB). The state of the IB changes due to the execution of the operations defined...