2662 search results - page 220 / 533 » Tools Demonstrations |
195
click to vote
AACC
2004
Springer
15 years 10 months ago
2004
Springer
Conventional document search techniques are constrained by attempting to match individual keywords or phrases to source documents. Thus, these techniques miss out documents that co...
146
click to vote
DIAGRAMS
2004
Springer
15 years 10 months ago
2004
Springer
An important aim of diagrammatic reasoning is to make it easier for people to create and understand logical arguments. We have worked on spider diagrams, which visually express log...
158
Voted
ISOLA
2004
Springer
15 years 10 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...
132
Voted
PADL
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. A session type is an abstraction of a set of sequences of heterogeneous values sent and received over a communication channel. Session types can be used for specifying st...
126
click to vote
ACSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
Reassembly of fragmented objects from a collection of randomly mixed fragments is a common problem in classical forensics. In this paper we address the digital forensic equivalent...