875 search results - page 142 / 175 » Reasoning about Knowledge and Continuity |
86
Voted
INFOCOM
2009
IEEE
15 years 4 months ago
2009
IEEE
—We study the problem of in-network processing and queries of trajectories of moving targets in a sensor network. The main idea is to exploit the spatial coherence of target traj...
ARGMAS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We introduce a special family of (assumption-based argumentation) frameworks for reasoning about the bene ts of decisions. These frameworks can be used for representing t...
84
Voted
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
The ability to proactively offer assistance promises to make personal agents more helpful to their users. We characterize the properties desired of proactive behaviour by a person...
CRYPTO
2009
Springer
15 years 4 months ago
2009
Springer
We present the first signature scheme which is “short”, stateless and secure under the RSA assumption in the standard model. Prior short, standard model signatures in the RSA...
80
Voted
PPDP
2009
Springer
15 years 4 months ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...