4460 search results - page 487 / 892 » Formal methods for interactive systems |
154
click to vote
CAV
2003
Springer
16 years 5 hour ago
2003
Springer
The paper considers the problem of checking abstraction between two finite-state fair discrete systems (FDS). In automata-theoretic terms this is trace inclusion between two nond...
173
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
The differences between Augmented Reality (AR) systems and computer display based systems create a need for a different approach to the design and development of AR systems. To un...
177
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
Research in Ambient Intelligence and Ubiquitous Computing has put computational devices into many social settings while leaving intact much of the "task support and informati...
168
click to vote
GECCO
2007
Springer
16 years 28 days ago
2007
Springer
Modularity is thought to improve the evolvability of biological systems [18, 22]. Recent studies in the field of evolutionary computation show that the use of modularity improves...
147
Voted
QSIC
2005
IEEE
16 years 10 days ago
2005
IEEE
Fault-based testing is a technique where testers anticipate errors in a system under test in order to assess or generate test cases. The idea is to have enough test cases capable ...