809 search results - page 54 / 162 » Requirements by Contracts allow Automated System Testing |
178
click to vote
TLCA
1997
Springer
15 years 8 months ago
1997
Springer
We present new sound and complete axiomatizations of type equality and subtype inequality for a first-order type language with regular recursive types. The rules are motivated by ...
145
Voted
CACM
2002
15 years 4 months ago
2002
Developers of context-aware services, i.e. services that make use of sensory information from the environment of their users, often find testing and demonstrating services to be di...
189
click to vote
HASE
2002
IEEE
15 years 9 months ago
2002
IEEE
Components (in-house or pre-fabricated) are increasingly being used to reduce the cost of software development. Given that these components may not have not been developed with de...
120
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
Enterprise and web data processing and content aggregation systems often require extensive use of human-reviewed data (e.g. for training and monitoring machine learning-based appl...
115
click to vote
ICCV
1999
IEEE
16 years 6 months ago
1999
IEEE
The paper describes a scheme for detecting vehicles in images. The proposed method approximately models the unknown distribution of the images of vehicles by learning higher order...