1352 search results - page 190 / 271 » Towards Characterizing Visualizations |
133
click to vote
ICCCN
2007
IEEE
16 years 15 days ago
2007
IEEE
—The observed performance by individual peers in BitTorrent can be simply measured by their average download rate. While it is often stated that the observed peer-level performan...
194
click to vote
LICS
2007
IEEE
16 years 13 days ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
150
click to vote
SECON
2007
IEEE
16 years 13 days ago
2007
IEEE
—Various sensor network measurement studies have reported instances of transient faults in sensor readings. In this work, we seek to answer a simple question: How often are such ...
141
click to vote
FOSSACS
2007
Springer
16 years 10 days ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
168
click to vote
ICB
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. Most of gait recognition algorithms involve walking cycle estimation to accomplish signature matching. However, we may be plagued by two cycle-related issues when develop...