1253 search results - page 75 / 251 » Exploration Testing |
103
Voted
FORTE
2007
15 years 4 months ago
2007
Model programs are a useful formalism for software testing and design analysis. They are used in industrial tools, such as SpecExplorer, as a compact, expressive and precise way to...
117
Voted
ATAL
1999
Springer
15 years 6 months ago
1999
Springer
We propose a methodology that can be used to compare and evaluate Artificial Intelligence architectures and is motivated by fundamental properties required by general intelligent ...
93
Voted
HICSS
2008
IEEE
15 years 9 months ago
2008
IEEE
This study focuses on exploring Internet literacy and social awareness as antecedents to Internet users’ attitudes towards government surveillance in the Internet environment. P...
110
Voted
RAS
2006
15 years 2 months ago
2006
In this paper we examine issues of localization, exploration, and planning in the context of a hybrid robot/camera-network system. We exploit the ubiquity of camera networks to us...
105
Voted
ICCD
2007
IEEE
15 years 11 months ago
2007
IEEE
Considering the impact of the popular energy management technique Dynamic Voltage and Frequency Scaling (DVFS) on system reliability, the Reliability-Aware Power Management (RA-PM...