3073 search results - page 74 / 615 » Real World Verification |
ICAIL
2003
ACM
14 years 29 days ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
ICPR
2008
IEEE
14 years 9 months ago
2008
IEEE
The same game is often played in real and virtual worlds. We integrate in-person and on-line playing of board games such as Go, bringing the real world into the virtual world. A p...
WEBI
2007
Springer
14 years 1 months ago
2007
Springer
The virtual world is comprised of data items related to each other in a variety of contexts. Often such relations can be represented as graphs that evolve over time. Examples incl...
DATE
1999
IEEE
14 years 1 days ago
1999
IEEE
If real number calculations are implemented as circuits, only a limited preciseness can be obtained. Hence, formal verification can not be used to prove the equivalence between th...
WWW
2008
ACM
14 years 8 months ago
2008
ACM
Searching for Web service access points is no longer attached to service registries as Web search engines have become a new major source for discovering Web services. In this work...