1585 search results - page 28 / 317 » A framework for computer-aided validation |
METRICS
2003
IEEE
15 years 5 months ago
2003
IEEE
As distributed technologies become more widely used, the need for assessing the quality of distributed applications correspondingly increases. Despite the rich body of research an...
PLDI
2000
ACM
15 years 4 months ago
2000
ACM
We describe a translation validation infrastructure for the GNU C compiler. During the compilation the infrastructure compares the intermediate form of the program before and afte...
EMNETS
2007
15 years 3 months ago
2007
Deployment of a wireless sensor network (WSN) system is a critical step because theoretical models and assumptions often differ from real environmental characteristics and perform...
ESWS
2006
Springer
15 years 3 months ago
2006
Springer
We present a comprehensive approach to ontology evaluation and validation, which have become a crucial problem for the development of semantic technologies. Existing evaluation met...
107
click to vote
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
Crowd simulation models are currently lacking a commonly accepted validation method. In this paper, we propose level of presence achieved by a human in a virtual environment (VE) ...