1301 search results - page 102 / 261 » Specifications via Realizability |
131
Voted
APCCM
2008
15 years 5 months ago
2008
Modeling is core software engineering practice. Conceptual models are constructed to establish an abstract understanding of the domain among stakeholders. These are then refined i...
110
Voted
DIMVA
2010
15 years 5 months ago
2010
We present Conqueror, a software-based attestation scheme for tamper-proof code execution on untrusted legacy systems. Beside providing load-time attestation of a piece of code, Co...
120
Voted
CRIWG
2007
15 years 5 months ago
2007
Groupware must deal with a myriad of concerns. Some of them are typical of “conventional” software while others are idiosyncratic of CSCW applications (e.g., awareness). We cla...
139
Voted
HCI
2007
15 years 5 months ago
2007
Abstract. In this paper, we address the task of affect recognition from text messaging. In order to sense and interpret emotional information expressed through written language, ru...
118
Voted
LWA
2008
15 years 5 months ago
2008
How does someone react when he faces a critical situation in his life? In this paper we present an initial initial implementation architecture based on a simulation model described...