7225 search results - page 1047 / 1445 » Software is data too |
167
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...
156
click to vote
MOBISYS
2009
ACM
16 years 7 months ago
2009
ACM
Mobile devices are increasingly equipped with hardware and software services allowing them to determine their locations, but support for building location-aware applications remai...
139
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
In this paper, we present a study of `minimal intimate objects': low bandwidth devices for communicating intimacy for couples in long-distance relationships. We describe a us...
165
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
The described dissertation focuses on social regulation of user behavior within virtual social spaces. A multi-year field study of two fantasy-based game MUDs (multi-user dungeons...
290
click to vote
VLDB
2005
ACM
16 years 7 months ago
2005
ACM
We describe a data-centric software architecture for bioinformatics workflows and a rule-based workflow enactment system that uses declarative specifications of data dependences be...