4305 search results - page 277 / 861 » Analysing Protocol Implementations |
116
click to vote
CC
2005
Springer
15 years 8 months 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...
107
click to vote
ICCS
2005
Springer
15 years 8 months 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...
108
click to vote
APN
2004
Springer
15 years 8 months 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...
112
Voted
VOSS
2004
Springer
15 years 8 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...
131
Voted
COOPIS
2003
IEEE
15 years 7 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...