4679 search results - page 733 / 936 » Modeling When Connections Are the Problem |
157
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Large systems of agents deployed in a real-world environment face threats to their problem solving performance that are independent of the complexity of the problem or the charact...
181
click to vote
MDM
2010
Springer
15 years 11 months ago
2010
Springer
—Matching a raw GPS trajectory to roads on a digital map is often referred to as the Map Matching problem. However, the occurrence of the low-sampling-rate trajectories (e.g. one...
182
click to vote
CTRSA
2001
Springer
15 years 11 months ago
2001
Springer
Safe long-term storage of user private keys is a problem in client/server systems. The problem can be addressed with a roaming system that retrieves keys on demand from remote cred...
169
click to vote
STACS
2001
Springer
15 years 10 months ago
2001
Springer
Using an automata-theoretic approach, we investigate the decidability of liveness properties (called Presburger liveness properties) for timed automata when Presburger formulas on ...
157
click to vote
APSEC
2000
IEEE
15 years 10 months ago
2000
IEEE
of modelling abstractions to map from items in the real-world to objects in the computational domain is oth for the effective implementation of abstract problem solutions and for ...