1585 search results - page 116 / 317 » A framework for computer-aided validation |
103
Voted
ISLPED
2000
ACM
15 years 7 months ago
2000
ACM
Power is increasingly becoming a design constraint for embedded systems. A processor is responsible for energy consumption on account of the software component of the embedded sys...
109
click to vote
CONTEXT
1999
Springer
15 years 7 months ago
1999
Springer
Following the ecological approach to visual perception, this paper presents an innovative framework for the design of multimodal systems. The proposal emphasises the role of the vi...
126
Voted
ECOOPW
1998
Springer
15 years 7 months ago
1998
Springer
This paper describes a validation experiment of a quantitative approach to the modularization of object oriented systems based on Cluster Analysis. A sample of some relatively larg...
139
Voted
ICIW
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...
162
click to vote
EUROSSC
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper presents a surveillance system for tracking multiple people through a wide area with sparsely distributed cameras. The computational core of the system is an a...