4099 search results - page 253 / 820 » A Framework for Interactive Proof |
181
click to vote
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
The framework of this paper is the formal specification and proof of applications distributed on symmetric interconnection networks, e.g. the torus or the hypercube. The algorithms...
163
click to vote
SP
2000
IEEE
15 years 10 months ago
2000
IEEE
Tradeoffs are an important part of engineering security. Protocol security is important. So are efficiency and cost. This paper provides an early framework for handling such aspec...
171
click to vote
ICALP
1997
Springer
15 years 10 months ago
1997
Springer
In this paper we develop a new elementary algorithm for model-checking infinite sequential processes, including context-free processes, pushdown processes, and regular graphs, tha...
165
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
This paper gives a correctness proof for the on-chip COMA cache coherence protocol that supports the Microgrid of microtheaded architecture, a multi-core architecture capable of in...
184
click to vote
SWWS
2008
15 years 8 months ago
2008
- Semantic technologies, such as RDF (Resource Description Framework) and OWL (Web Ontology Language), are being widely used to store information. Ontology is mostly used in semant...