Sciweavers

4193 search results - page 407 / 839
» Measurable Categories
Sort
View
SP
2007
IEEE
110views Security Privacy» more  SP 2007»
16 years 1 months ago
A Systematic Approach to Uncover Security Flaws in GUI Logic
To achieve end-to-end security, traditional machine-to-machine security measures are insufficient if the integrity of the human-computer interface is compromised. GUI logic flaws ...
José Meseguer, Ralf Sasse, Helen J. Wang, Y...
ATAL
2007
Springer
16 years 1 months ago
Real-time agent characterization and prediction
Reasoning about agents that we observe in the world is challenging. Our available information is often limited to observations of the agent’s external behavior in the past and p...
H. Van Dyke Parunak, Sven Brueckner, Robert S. Mat...
ATAL
2007
Springer
16 years 1 months ago
SMILE: Sound Multi-agent Incremental LEarning
This article deals with the problem of collaborative learning in a multi-agent system. Here each agent can update incrementally its beliefs B (the concept representation) so that ...
Gauvain Bourgne, Amal El Fallah-Seghrouchni, Henry...
ATAL
2007
Springer
16 years 1 months ago
Autonomous nondeterministic tour guides: improving quality of experience with TTD-MDPs
In this paper, we address the problem of building a system of autonomous agents for a complex environment, in our case, a museum with many visitors. Visitors may have varying pref...
Andrew S. Cantino, David L. Roberts, Charles L. Is...
CCS
2007
ACM
16 years 1 months ago
Preserving privacy in gps traces via uncertainty-aware path cloaking
Motivated by a probe-vehicle based automotive traffic monitoring system, this paper considers the problem of guaranteed anonymity in a dataset of location traces while maintainin...
Baik Hoh, Marco Gruteser, Hui Xiong, Ansaf Alrabad...