2488 search results - page 179 / 498 » An improvement in formal verification |
121
click to vote
ISOLA
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...
133
click to vote
SPATIALCOGNITION
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper we apply a formal ontological framework in order to deconstruct two prominent approaches to navigation from cognitive robotics, the Spatial Semantic Hierarc...
125
click to vote
ECAI
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Clinical guidelines are important means to improve quality of health care while limiting cost and supporting the medical staff. They are written as free text with tables ...
110
click to vote
IJFCS
2008
15 years 1 months ago
2008
We present an application of formal concept analysis aimed at representing a meaningful structure of knowledge communities in the form of a lattice-based taxonomy. The taxonomy gr...
112
click to vote
ENTCS
2007
15 years 1 months ago
2007
Many modern program verifiers translate the program to be verified and its specification into a simple intermediate representation and then compute verification conditions on ...