Sciweavers

6329 search results - page 1159 / 1266
» Detection of Stochastic Processes
Sort
View
134
Voted
ENTCS
2006
112views more  ENTCS 2006»
15 years 5 months ago
Modeling Web Applications by the Multiple Levels of Integrity Policy
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...
Gianluca Amato, Massimo Coppola, Stefania Gnesi, F...
ENTCS
2006
173views more  ENTCS 2006»
15 years 5 months ago
Formal Security Analysis for Ad-Hoc Networks
In ad-hoc networks, autonomous wireless nodes can communicate by forwarding messages for each other. For routing protocols in this setting, it is known that a malicious node can p...
Sebastian Nanz, Chris Hankin
IJFCS
2008
49views more  IJFCS 2008»
15 years 5 months ago
A Markovian Approach for the Analysis of the gene Structure
Hidden Markov models (HMMs) are effective tools to detect series of statistically homogeneous structures, but they are not well suited to analyse complex structures. Numerous meth...
Christelle Melo de Lima, Laurent Gueguen, Christia...
ETT
2006
93views Education» more  ETT 2006»
15 years 5 months ago
A modular access gateway for managing intermittent connectivity in vehicular communications
The Drive-thru Internet architecture allows exploiting intermittent connectivity by temporarily connecting to IEEE 802.11 WLAN access points at the roadside from moving vehicles. T...
Jörg Ott, Dirk Kutscher
IJISTA
2008
132views more  IJISTA 2008»
15 years 5 months ago
Sub-pixel data fusion and edge-enhanced distance refinement for 2D/3D images
: An important field of reasearch in computer vision is the 3D analysis and reconstruction of objects and scenes. A rather new technologie in this context is the Photonic Mixer Dev...
Marvin Lindner, Martin Lambers, Andreas Kolb
« Prev « First page 1159 / 1266 Last » Next »