1128 search results - page 43 / 226 » Little Engines of Proof |
FSTTCS
2004
Springer
15 years 2 months ago
2004
Springer
We present a fragment of separation logic oriented to linked lists, and study decision procedures for validity of entailments. The restrictions in the fragment are motivated by the...
STTT
2010
14 years 4 months ago
2010
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
77
Voted
ERCIMDL
1999
Springer
15 years 1 months ago
1999
Springer
Resource discovery in a distributed digital library poses many challenges, one of which is how to choose search engines for query distribution, given a query and a set of search e...
ICSE
2001
IEEE-ACM
15 years 2 months ago
2001
IEEE-ACM
System families are an idea of software reuse in a specific problem domain. Existing methods have little requirements engineering support for system family development. This short...
CADE
2005
Springer
15 years 9 months ago
2005
Springer
In today's society, people have very little control over what kinds of personal data are collected and stored by various agencies in both the private and public sectors. We de...