6308 search results - page 981 / 1262 » Modeling Urgency in Timed Systems |
176
click to vote
CADE
2007
Springer
16 years 7 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...
134
click to vote
BIRTHDAY
2009
Springer
16 years 1 months ago
2009
Springer
The Knowledge Base Management Systems (KBMS) Project at the University of Toronto (1985-1995) was inspired by a need for advanced knowledge representation applications that require...
175
click to vote
ICIAP
2009
ACM
16 years 1 months ago
2009
ACM
This paper presents a technology capable of enabling the creation of a diffuse, calibrated vision-sensor network from the wealth of socially generated geo-referenced imagery, freel...
174
click to vote
CCGRID
2009
IEEE
16 years 1 months ago
2009
IEEE
—Software license management allows independent software vendors (ISVs) to control the access of their products. It is a fundamental part of the ISVs’ business strategy. A wide...
161
Voted
NDSS
2009
IEEE
16 years 1 months ago
2009
IEEE
We introduce a new paradigm for outsourcing the durability property of a multi-client transactional database to an untrusted service provider. Specifically, we enable untrusted s...