1511 search results - page 224 / 303 » Relational Parametricity for Computational Effects |
153
click to vote
ECIR
2009
Springer
16 years 3 months ago
2009
Springer
In this paper we address the task of finding topically relevant email messages in public discussion lists. We make two important observations. First, email messages are not isolat...
157
click to vote
EUROSYS
2009
ACM
16 years 3 months ago
2009
ACM
In a Multi-Variant Execution Environment (MVEE), several slightly different versions of the same program are executed in lockstep. While this is done, a monitor compares the behav...
167
click to vote
ICCD
2007
IEEE
16 years 3 months ago
2007
IEEE
Software integrity and confidentiality play a central role in making embedded computer systems resilient to various malicious actions, such as software attacks; probing and tamper...
134
click to vote
CSCW
2010
ACM
16 years 3 months ago
2010
ACM
In this paper, we present results from a study of collocated group console gaming. We focus, in particular, on observed gaming practices that emphasized the individual gamer withi...
187
click to vote
HRI
2010
ACM
16 years 1 months ago
2010
ACM
—Nonverbal behaviors serve as a rich source of information in inter human communication. In particular, motion cues can reveal details on a person’s current physical and mental...