1982 search results - page 297 / 397 » Parametricity and dependent types |
APGV
2010
ACM
15 years 2 months ago
2010
ACM
In this paper, we explore the perception of finger motions of virtual characters. In three experiments, designed to investigate finger animations, we asked the following questio...
ESEM
2007
ACM
15 years 1 months ago
2007
ACM
Comprehension errors in software design must be detected at their origin to avoid propagation into later portions of the software lifecycle and also the final system. This researc...
EUROSYS
2007
ACM
15 years 1 months ago
2007
ACM
Recent research has found that operators frequently misconfigure Internet services, causing various availability and performance problems. In this paper, we propose a software inf...
EUROMICRO
2004
IEEE
15 years 1 months ago
2004
IEEE
Component-based development has proven effective in many engineering domains, and several general component technologies are available. Most of these are focused on providing an e...
ESWS
2006
Springer
15 years 1 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...