Sciweavers

11129 search results - page 1818 / 2226
» Modeling Search Computing Applications
Sort
View
IDTRUST
2010
ACM
16 years 1 months ago
Practical and secure trust anchor management and usage
Public Key Infrastructure (PKI) security depends upon secure management and usage of trust anchors. Unfortunately, widely used mechanisms, management models and usage practices re...
Carl Wallace, Geoff Beier
177
Voted
QSHINE
2009
IEEE
16 years 1 months ago
On-Demand Node Reclamation and Replacement for Guaranteed Area Coverage in Long-Lived Sensor Networks
To achieve required sensing coverage for a very long period of time is an important and challenging problem in sensor network design. Recently, Tong et al. have proposed a node rep...
Bin Tong, Zi Li, Guiling Wang, Wensheng Zhang
CSCWD
2009
Springer
16 years 1 months ago
Using Petri Nets to specify collaborative three dimensional interaction
This work presents a methodology to formally model and to build collaborative three dimensional interaction tasks in virtual environments using three different tools: Petri Nets, ...
Rafael Rieder, Marcio Sarroglia Pinho, Alberto Bar...
141
Voted
SIPEW
2009
Springer
110views Hardware» more  SIPEW 2009»
16 years 1 months ago
A Note on the Effects of Service Time Distribution in the M/G/1 Queue
The M/G/1 queue is a classical model used to represent a large number of real-life computer and networking applications. In this note, we show that, for coefficients of variation o...
Alexandre Brandwajn, Thomas Begin
144
Voted
CDC
2008
IEEE
137views Control Systems» more  CDC 2008»
16 years 1 months ago
Increasingly correct message passing averaging algorithms
Abstract— We study averaging algorithms, when implemented in large networks of wirelessly connected elements. We extend the notion of “Increasing Correctness” (IC) which was ...
Kurt Plarre, Francesco Bullo
« Prev « First page 1818 / 2226 Last » Next »