11573 search results - page 1810 / 2315 » Designing Relational Databases |
187
click to vote
ACL2
2006
ACM
16 years 28 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...
177
click to vote
ACMSE
2006
ACM
16 years 28 days ago
2006
ACM
In this paper, we describe a demonstration called an “End-to-End” demonstration developed for the 2005 offering of our grid computing course that was taught across the State o...
192
click to vote
ICDCS
2005
IEEE
16 years 17 days ago
2005
IEEE
In recent years, data broadcasting becomes a promising technique to design a mobile information system with power conservation, high scalability and high bandwidth utilization. Ho...
186
click to vote
ICDCSW
2005
IEEE
16 years 17 days ago
2005
IEEE
When computer intrusions occur, one of the most costly, time-consuming, and human-intensive tasks is the analysis and recovery of the compromised system. At a time when the cost o...
150
click to vote
ICMCS
2005
IEEE
16 years 16 days ago
2005
IEEE
In audio fingerprinting, an audio clip must be recognized by matching an extracted fingerprint to a database of previously computed fingerprints. The fingerprints should reduc...