2662 search results - page 318 / 533 » Objects-early tools: a demonstration |
178
click to vote
ISOLA
2004
Springer
15 years 12 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...
157
click to vote
PADL
2004
Springer
15 years 12 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...
149
click to vote
ACSAC
2003
IEEE
15 years 12 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...
161
click to vote
ANSS
2003
IEEE
15 years 12 months ago
2003
IEEE
In this work, we present a computational behavioral model for logic gates called Internode (Internal Node Logic Computational Model) that considers the functionality of the gate a...
203
click to vote
IAT
2003
IEEE
15 years 12 months ago
2003
IEEE
The core problem of multi-agent distributed data mining technology not concern particular data mining techniques although the latter is now paid the most attention. Its core probl...