21094 search results - page 4064 / 4219 » An experiment using DLV-K |
162
click to vote
PLDI
2005
ACM
15 years 12 months ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...
169
click to vote
SBCCI
2005
ACM
15 years 12 months ago
2005
ACM
The designer of a system on a chip (SoC) that connects IP cores through a network on chip (NoC) needs methods to support application performance evaluation. Two key aspects these ...
173
click to vote
SENSYS
2005
ACM
15 years 12 months ago
2005
ACM
Sensor networks have the potential to greatly impact many aspects of medical care. By outfitting patients with wireless, wearable vital sign sensors, collecting detailed real-tim...
157
click to vote
SOUPS
2005
ACM
15 years 12 months ago
2005
ACM
Secure email has struggled with signifcant obstacles to adoption, among them the low usability of encryption software and the cost and overhead of obtaining public key certificat...
184
click to vote
VRST
2005
ACM
15 years 12 months ago
2005
ACM
This paper proposes a novel tabletop display system for natural communication and flexible information sharing. The proposed system is specifically designed for integration of 2...