281 search results - page 49 / 57 » An Infrastructure for Intertheory Reasoning |
DSN
2002
IEEE
14 years 10 days ago
2002
IEEE
We present ideas on how to structure software systems for high availability by considering MTTR/MTTF characteristics of components in addition to the traditional criteria, such as...
GIS
2009
ACM
13 years 12 months ago
2009
ACM
In this paper we consider a novel multimedia application, in which drivers may query multimedia clips captured by smartphones mounted on other vehicles. These multimedia clips vis...
FC
2001
Springer
13 years 12 months ago
2001
Springer
In many real-life situations, massive quantities of signatures have to be issued on cheap passive supports (e.g. paper-based) such as bank-notes, badges, ID cards, driving licenses...
SEMWEB
2001
Springer
13 years 11 months ago
2001
Springer
Abstract. Topic Maps and RDF are two independently developed paradigms and standards for the representation, interchange, and exploitation of model-based data on the web. Each para...
ICFP
2009
ACM
14 years 8 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...