Sciweavers

6171 search results - page 844 / 1235
» The FrameNet Data and Software
Sort
View
CC
2009
Springer
153views System Software» more  CC 2009»
16 years 7 months ago
Register Spilling and Live-Range Splitting for SSA-Form Programs
Register allocation decides which parts of a variable's live range are held in registers and which in memory. The compiler inserts spill code to move the values of variables b...
Matthias Braun, Sebastian Hack
CAV
2009
Springer
150views Hardware» more  CAV 2009»
16 years 7 months ago
Automated Analysis of Java Methods for Confidentiality
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...
Pavol Cerný, Rajeev Alur
MOBISYS
2009
ACM
16 years 7 months ago
StarTrack: a framework for enabling track-based applications
Mobile devices are increasingly equipped with hardware and software services allowing them to determine their locations, but support for building location-aware applications remai...
Ganesh Ananthanarayanan, Maya Haridasan, Iqbal Moh...
CHI
2005
ACM
16 years 7 months ago
Communicating intimacy one bit at a time
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...
Joseph Kaye, Mariah K. Levitt, Jeffrey Nevins, Jes...
CHI
2003
ACM
16 years 7 months ago
Social regulation in virtual spaces
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...
Jack Muramatsu