3719 search results - page 328 / 744 » RACER System Description |
173
click to vote
ICMCS
2007
IEEE
16 years 1 months ago
2007
IEEE
Camera phones present new opportunities and challenges for mobile informationassociation and retrieval. The visual input in the real environment is a new and rich interaction moda...
204
click to vote
ATVA
2007
Springer
16 years 27 days ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
184
click to vote
MTSR
2007
Springer
16 years 26 days ago
2007
Springer
In this paper we describe the development of an ontology of molecular and phenotypic cereals data, realized by integrating existing public web databases with the database developed...
167
click to vote
MSS
2005
IEEE
16 years 9 days ago
2005
IEEE
Obtaining consistent bandwidth with predictable latency from disk-based storage systems has proven difficult due to the storage system’s inability to understand Quality of Serv...
164
click to vote
ISW
2005
Springer
16 years 7 days ago
2005
Springer
We present a model-checking algorithm which can be used to evaluate access control policies, and a tool which implements it. The evaluation includes not only assessing whether the ...