Sciweavers

582 search results - page 49 / 117
» Generative and Incremental Approach to Scripting Support Imp...
Sort
View
APSEC
2004
IEEE
13 years 11 months ago
An Approach to Detecting Domain Errors Using Formal Specification-Based Testing
Domain testing, a technique for testing software or portions of software dominated by numerical processing, is intended to detect domain errors that usually arise from incorrect i...
Yuting Chen, Shaoying Liu
AVI
2006
13 years 9 months ago
Improving access of elderly people to real environments: a semantic based approach
Access to real environments is often conditioned by a number of issues, including the skills of the user (i.e. affected by aging, physical and psychological deficiencies, etc.) an...
Fabio Pittarello, Alessandro De Faveri
COLING
1996
13 years 9 months ago
A Sign Expansion Approach to Dynamic, Multi-Purpose Lexicons
Two problematic issues in most lexicon systems today are their size and restricted domain of use. In this paper, we introduce a new approach to lexical organization that leads to ...
Jon Atle Gulla, Siur Norstebo Moshagen
ICS
2005
Tsinghua U.
14 years 1 months ago
Multigrain parallel Delaunay Mesh generation: challenges and opportunities for multithreaded architectures
Given the importance of parallel mesh generation in large-scale scientific applications and the proliferation of multilevel SMTbased architectures, it is imperative to obtain ins...
Christos D. Antonopoulos, Xiaoning Ding, Andrey N....
FMOODS
2006
13 years 9 months ago
Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams
Nondeterminism in specifications may be used for at least two different purposes. One is to express underspecification, which means that the specifier for the same environment beha...
Atle Refsdal, Ragnhild Kobro Runde, Ketil St&oslas...