3073 search results - page 7 / 615 » Real World Verification |
ADAEUROPE
1997
Springer
13 years 11 months ago
1997
Springer
The systematic test is an inevitable part of the verification and validation process for software. Overall support for all testing activities is currently not available in a singl...
ICMB
2005
IEEE
14 years 1 months ago
2005
IEEE
This article investigates the growing complexity and connectivity between two former separated interaction spaces – the real and the virtual world. It is our attempt to augment ...
AAAI
2000
13 years 8 months ago
2000
We propose an epistemic dynamic logic EDL able to represent the interactions between action and knowledge that are fundamental to planning under partial observability. EDL enables...
AINA
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper proposes the concept of the hybrid information space that integrates the information space seamlessly between the real world and the virtual world, and the prototype sy...
WWW
2006
ACM
14 years 8 months ago
2006
ACM