2701 search results - page 280 / 541 » On the form of witness terms |
181
click to vote
ACL2
2006
ACM
16 years 21 days ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
178
click to vote
ACMACE
2006
ACM
16 years 21 days ago
2006
ACM
In this paper we describe an innovative mobile game in the form a multi-authored book. Based upon the 1920s surrealist technique of “Exquisite Corpse”, the book builds from a ...
192
click to vote
ACMICEC
2006
ACM
16 years 21 days ago
2006
ACM
Applications and digital goods for mobile devices have been around for more than a decade. Recent technology development has also driven the use of mobile commerce technology. Mob...
174
click to vote
ACMSE
2006
ACM
16 years 21 days ago
2006
ACM
We propose an efficient and novel approach for discovering communities in real-world random networks. Communities are formed by subsets of nodes in a graph, which are closely rela...
158
click to vote
ASSETS
2006
ACM
16 years 21 days ago
2006
ACM
This paper describes iNetSim, a universally accessible network simulator, created to allow vision-impaired and sighted users to complete Cisco Certified Network Associate level tw...