1458 search results - page 194 / 292 » Extended Term Rewriting Systems |
113
Voted
ACMACE
2007
ACM
15 years 4 months ago
2007
ACM
This article describes the design of WikiTUI, a tangible user interface system that allows readers to manipulate multimedia information tied to page-level locations in common book...
105
Voted
CCS
2009
ACM
15 years 4 months ago
2009
ACM
Despite the many efforts made in recent years to mitigate runtime attacks such as stack and heap based buffer overflows, these attacks are still a common security concern in today...
204
click to vote
ACL2
2006
ACM
15 years 4 months ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...
93
Voted
ACOM
2004
Springer
15 years 4 months ago
2004
Springer
The Cognitive Agent Specification Language (CASL) is a framework for specifying and verifying complex communicating multiagent systems. In this paper, we develop an extended versi...
101
click to vote
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
There is a recent trend of extending epistemic logic (EL) with dynamic operators that allow to express the evolution of knowledge and induced by knowledge-changing actions. The mo...