2205 search results - page 57 / 441 » Mutation Operators for Specifications |
FOIKS
2008
Springer
13 years 10 months ago
2008
Springer
The area of knowledge merging is concerned with merging conflicting information while preserving as much as possible. Most proposals in the literature work with knowledge bases exp...
CSREAESA
2004
13 years 10 months ago
2004
Battery lifetime extension is a primary design objective for portable systems. This paper investigates how non-ideal properties of a battery impacts its lifespan. More specificall...
WSC
2001
13 years 10 months ago
2001
This paper presents a method for simulating basic manufacturing operations (unload, load, process, move, and store) in a 3D virtual environment. The virtual environment provides a...
SP
1997
IEEE
14 years 1 months ago
1997
IEEE
This paper describes a specification-based approach to detect exploitations of vulnerabdities in securitycritical programs. The approach utilizes security specifications that desc...
WOODPECKER
2001
13 years 10 months ago
2001
Ensuring that specifications are consistent is an important part of specification development and testing. In this paper we introduce the ConsVISor tool for consistency checking o...