Sciweavers

2163 search results - page 361 / 433
» cases 2004
Sort
View
COMPSEC
2004
104views more  COMPSEC 2004»
14 years 9 months ago
Formal support for certificate management policies
Traditionally, creation and revocation of certificates are governed by policies that are carried manually, off-line, by trusted agents. This approach to certificate management is ...
Victoria Ungureanu
CORR
2004
Springer
108views Education» more  CORR 2004»
14 years 9 months ago
Comparing Multi-Target Trackers on Different Force Unit Levels
Consider the problem of tracking a set of moving targets. Apart from the tracking result, it is often important to know where the tracking fails, either to steer sensors to that p...
Hedvig Sidenbladh, Pontus Svenson, Johan Schubert
CORR
2004
Springer
103views Education» more  CORR 2004»
14 years 9 months ago
The Freeze-Tag Problem: How to Wake Up a Swarm of Robots
An optimization problem that naturally arises in the study of swarm robotics is the Freeze-Tag Problem (FTP) of how to awaken a set of "asleep" robots, by having an awak...
Esther M. Arkin, Michael A. Bender, Sándor ...
CORR
2004
Springer
104views Education» more  CORR 2004»
14 years 9 months ago
Near Rationality and Competitive Equilibria in Networked Systems
A growing body of literature in networked systems research relies on game theory and mechanism design to model and address the potential lack of cooperation between self-intereste...
Nicolas Christin, Jens Grossklags, John Chuang
CORR
2004
Springer
121views Education» more  CORR 2004»
14 years 9 months ago
Solving Elliptic Finite Element Systems in Near-Linear Time with Support Preconditioners
We consider linear systems arising from the use of the finite element method for solving a certain class of linear elliptic problems. Our main result is that these linear systems, ...
Erik G. Boman, Bruce Hendrickson, Stephen A. Vavas...