4305 search results - page 277 / 861 » Analysing Protocol Implementations |
164
click to vote
CC
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency for programs written in a general-purpose programming language. Our tool enables t...
162
click to vote
ICCS
2005
Springer
16 years 4 days ago
2005
Springer
In this article, we present an investigation case study based on an implementation and performance analysis of three different cache coherence strategies over a real wireless envi...
152
click to vote
APN
2004
Springer
16 years 19 hour ago
2004
Springer
We consider the problem of model checking modular Petri nets for the linear time logic LTL-X. An algorithm is presented which can use the synchronisation graph from modular analysi...
155
click to vote
VOSS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The paper presents a survey of out-of-core methods available for the analysis of large Markov chains on single workstations. First, we discuss the main sparse matrix stor...
182
click to vote
COOPIS
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we propose an approach for guiding ontology managers through the modification of an ontology with respect to users' needs. It is based on the analysis of end-u...