1554 search results - page 176 / 311 » An Overview of the Spring System |
CADE
2007
Springer
14 years 9 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
SIGMOD
2007
ACM
14 years 9 months ago
2007
ACM
The provenance of data has recently been recognized as central to the trust one places in data. It is also important to annotation, to data integration and to probabilistic databa...
EDBT
2008
ACM
14 years 9 months ago
2008
ACM
Database technology and the Structured Query Language (SQL) have grown enormously in recent years. Applications from different domains have different requirements for using databa...
PERCOM
2007
ACM
14 years 8 months ago
2007
ACM
Near field communication (NFC) is a short-range wireless protocol that allows users to connect devices and access content and services by simply holding enabled devices near each ...
PERCOM
2006
ACM
14 years 8 months ago
2006
ACM
In this paper, we present a general architecture and a new retrieval method for an educational system that is based on a knowledge base of existing recorded lectures. The extracti...