Sciweavers

137 search results - page 16 / 28
» Case Analysis of Criminal Behaviour
Sort
View
ENVSOFT
2007
78views more  ENVSOFT 2007»
14 years 11 months ago
A multi-model approach to analysis of environmental phenomena
Abstract: This paper introduces a novel data-driven methodology named Evolutionary Polynomial Regression (EPR), which permits the multi-purpose modelling of physical phenomena, thr...
Orazio Giustolisi, Angelo Doglioni, D. A. Savic, B...
ICALP
2003
Springer
15 years 5 months ago
Quantitative Analysis of Probabilistic Lossy Channel Systems
Many protocols are designed to operate correctly even in the case where the underlying communication medium is faulty. To capture the behaviour of such protocols, lossy channel sy...
Alexander Moshe Rabinovich
TCOM
2010
98views more  TCOM 2010»
14 years 6 months ago
Convolutionally Coded Transmission over Markov-Gaussian Channels: Analysis and Decoding Metrics
It has been widely acknowledged that the aggregate interference at the receiver for various practical communication channels can often deviate markedly from the classical additive ...
Jeebak Mitra, Lutz H.-J. Lampe
SFM
2007
Springer
15 years 5 months ago
Tackling Large State Spaces in Performance Modelling
Stochastic performance models provide a powerful way of capturing and analysing the behaviour of complex concurrent systems. Traditionally, performance measures for these models ar...
William J. Knottenbelt, Jeremy T. Bradley
IFM
2009
Springer
155views Formal Methods» more  IFM 2009»
14 years 9 months ago
Application of Graph Transformation in Verification of Dynamic Systems
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
Zarrin Langari, Richard J. Trefler