4460 search results - page 723 / 892 » Formal methods for interactive systems |
122
click to vote
CHI
2004
ACM
16 years 4 months ago
2004
ACM
Sensing affect raises critical privacy concerns, which are examined here using ethical theory, and with a study that illuminates the connection between ethical theory and privacy....
149
click to vote
VISUALIZATION
1991
IEEE
15 years 7 months ago
1991
IEEE
or vectors at every mesh point may lead to a very cluttered image. Continuous coloring or data mapping, on the other hand, provide a smooth representation of the data. The use of t...
155
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
144
click to vote
WWW
2007
ACM
16 years 4 months ago
2007
ACM
As the amount of data being generated in biology has increased, a major challenge has been how to store and represent this data in a way that makes it easily accessible to researc...
144
click to vote
WWW
2002
ACM
16 years 4 months ago
2002
ACM
Web services -- Web-accessible programs and devices ? are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semanti...