Sciweavers

283 search results - page 20 / 57
» Exploiting Immunological Properties for Ubiquitous Computing...
Sort
View
NOSSDAV
2009
Springer
14 years 2 months ago
Adaptive overlay topology for mesh-based P2P-TV systems
In this paper, we propose a simple and fully distributed mechanism for constructing and maintaining the overlay topology in mesh-based P2P-TV systems. Our algorithm optimizes the ...
Richard John Lobb, Ana Paula Couto da Silva, Emili...
FSTTCS
2010
Springer
13 years 5 months ago
Global Model Checking of Ordered Multi-Pushdown Systems
In this paper, we address the verification problem of ordered multi-pushdown systems: A multistack extension of pushdown systems that comes with a constraint on stack operations s...
Mohamed Faouzi Atig
HYBRID
2005
Springer
14 years 1 months ago
Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order
In this paper, a cascade discrete-continuous state estimator on a partial order is proposed and its existence investigated. The continuous state estimation error is bounded by a mo...
Domitilla Del Vecchio, Richard M. Murray
JSA
2000
96views more  JSA 2000»
13 years 7 months ago
Design techniques for low-power systems
Portable products are being used increasingly. Because these systems are battery powered, reducing power consumption is vital. In this report we give the properties of low power d...
Paul J. M. Havinga, Gerard J. M. Smit
CCS
2003
ACM
14 years 28 days ago
PPay: micropayments for peer-to-peer systems
Emerging economic P2P applications share the common need for an efficient, secure payment mechanism. In this paper, we present PPay, a micropayment system that exploits unique cha...
Beverly Yang, Hector Garcia-Molina