Sciweavers

15644 search results - page 2718 / 3129
» Brittle System Analysis
Sort
View
SIGIR
2006
ACM
16 years 24 days ago
Information graphics: an untapped resource for digital libraries
Information graphics are non-pictorial graphics such as bar charts and line graphs that depict attributes of entities and relations among entities. Most information graphics appea...
Sandra Carberry, Stephanie Elzer, Seniz Demir
187
Voted
SIGSOFT
2006
ACM
16 years 24 days ago
Interpolation for data structures
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
Deepak Kapur, Rupak Majumdar, Calogero G. Zarba
WIDM
2006
ACM
16 years 24 days ago
An architecture for creating collaborative semantically capable scientific data sharing infrastructures
Increasingly, scientists are seeking to collaborate and share data among themselves. Such sharing is can be readily done by publishing data on the World-Wide Web. Meaningful query...
Anuj R. Jaiswal, C. Lee Giles, Prasenjit Mitra, Ja...
WPES
2006
ACM
16 years 24 days ago
A study on the value of location privacy
This paper introduces results of a study into the value of location privacy for individuals using mobile devices. We questioned a sample of over 1200 people from five EU countrie...
Daniel Cvrcek, Marek Kumpost, Vashek Matyas, Georg...
ACSAC
2005
IEEE
16 years 14 days ago
TARP: Ticket-based Address Resolution Protocol
IP networks fundamentally rely on the Address Resolution Protocol (ARP) for proper operation. Unfortunately, vulnerabilities in the ARP protocol enable a raft of IP-based imperson...
Wesam Lootah, William Enck, Patrick McDaniel
« Prev « First page 2718 / 3129 Last » Next »