91 search results - page 5 / 19 » Experimenting with Error Abstraction in Requirements Documen... |
FM
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...
GLOBECOM
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— Despite the emergence of voice over IP and videoconferencing services, recent studies have shown that the Internet still may not provide acceptable quality for interact...
ECCV
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We propose an algorithm for recursive estimation of structure and motion in rigid body perspective dynamic systems, based on the novel concept of continuous-differential ...
AND
2010
13 years 5 months ago
2010
High-level spoken document analysis is required in many applications seeking access to the semantic content of audio data, such as information retrieval, machine translation or au...
AOSD
2009
ACM
14 years 2 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...