6800 search results - page 804 / 1360 » Testing with Functions as Specifications |
188
click to vote
ADG
2006
Springer
15 years 10 months ago
2006
Springer
We present an application of an automatic theorem proving (ATP) in the verification of constructions made with dynamic geometry software (DGS). Given a specification language for g...
170
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Motivated by the proliferation and usefulness of Domain Specific Languages as well as the demand in enriching well established languages by high level capabilities like p...
176
click to vote
ASWEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Network protocol implementations are susceptible to problems caused by their lack of ability to handle invalid inputs. We present ASPIRE: Automated Systematic Protocol Implementat...
229
click to vote
BPM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The coordination of complex process structures is a fundamental task for enterprises, such as in the automotive industry. Usually, such process structures consist of seve...
191
click to vote
CIVR
2006
Springer
15 years 10 months ago
2006
Springer
The problem of face detection remains challenging because faces are non-rigid objects that have a high degree of variability with respect to head rotation, illumination, facial exp...