Sciweavers

137 search results - page 12 / 28
» Case Analysis of Criminal Behaviour
Sort
View
ICFEM
1998
Springer
13 years 11 months ago
A Process Algebra Based Verification of a Production System
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
J. J. T. Kleijn, J. E. Rooda, Michel A. Reniers
ISI
2006
Springer
13 years 7 months ago
An Embedded Bayesian Network Hidden Markov Model for Digital Forensics
In the paper we combine a Bayesian Network model for encoding forensic evidence during a given time interval with a Hidden Markov Model (EBN-HMM) for tracking and predicting the de...
Olivier Y. de Vel, Nianjun Liu, Terry Caelli, Tib&...
IWC
2002
121views more  IWC 2002»
13 years 7 months ago
Discovering user communities on the Internet using unsupervised machine learning techniques
Interest in the analysis of user behaviour on the Internet has been increasing rapidly, especially since the advent of electronic commerce. In this context, we argue here for the ...
Georgios Paliouras, Christos Papatheodorou, Vangel...
IPPS
1998
IEEE
13 years 11 months ago
Performance Analysis of Parallel Embedded Real Time Systems Based on Measurement and Visualization
This paper describes an approach to carry out performance analysis on systems which combine two major characteristics: real-time behaviour and parallel computational structure. It ...
Javier García, Jose Luis Díaz de Arr...
ISOLA
2004
Springer
14 years 23 days ago
A Formal Analysis of Bluetooth Device Discovery
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...
Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman,...