Sciweavers

996 search results - page 163 / 200
» Partial Materialized Views
Sort
View
IANDC
2007
151views more  IANDC 2007»
15 years 3 months ago
Transducer-based analysis of cryptographic protocols
Cryptographic protocols can be divided into (1) protocols where the protocol steps are simple from a computational point of view and can thus be modeled by simple means, for insta...
Ralf Küsters, Thomas Wilke
IJAR
2007
86views more  IJAR 2007»
15 years 3 months ago
Joint propagation of probability and possibility in risk analysis: Towards a formal framework
This paper discusses some aspects of fuzzy random variables obtained by propagating uncertainty in risk analysis when some input parameters are stochastic, while others are determ...
Cédric Baudrit, Inés Couso, Didier D...
TIP
2008
168views more  TIP 2008»
15 years 3 months ago
A Real-Time Algorithm for the Approximation of Level-Set-Based Curve Evolution
Abstract--In this paper, we present a complete and practical algorithm for the approximation of level-set-based curve evolution suitable for real-time implementation. In particular...
Yonggang Shi, William Clement Karl
TOCS
2008
107views more  TOCS 2008»
15 years 3 months ago
RaWMS - Random Walk Based Lightweight Membership Service for Wireless Ad Hoc Networks
RaWMS is a novel lightweight random membership service for ad hoc networks. The service provides each node with a partial uniformly chosen view of network nodes. Such a membership...
Ziv Bar-Yossef, Roy Friedman, Gabriel Kliot
AUTOMATICA
2004
125views more  AUTOMATICA 2004»
15 years 3 months ago
Hamiltonian discretization of boundary control systems
A fundamental problem in the simulation and control of complex physical systems containing distributed-parameter components concerns finite-dimensional approximation. Numerical me...
Goran Golo, Viswanath Talasila, Arjan van der Scha...