2737 search results - page 376 / 548 » interaction 2009 |
215
Voted
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
While a variety of mechanisms have been developed for securing individual intra-domain protocols, none address the issue in a holistic manner. We develop a unified framework to sec...
209
click to vote
ECBS
2009
IEEE
15 years 11 months ago
2009
IEEE
We present and formalize concepts for the structured specification of system behavior based on services. Services are patterns of interaction between reactive components, thus sup...
225
click to vote
EICS
2009
ACM
15 years 11 months ago
2009
ACM
Ubiquitous computing poses new usability challenges that cut across design and development. We are particularly interested in "spaces" enhanced with sensors, public disp...
185
click to vote
ESOP
2009
Springer
15 years 11 months ago
2009
Springer
We present an algebraic treatment of exception handlers and, more generally, introduce handlers for other computational effects representable by an algebraic theory. These include ...
180
click to vote
HOTOS
2009
IEEE
15 years 11 months ago
2009
IEEE
For over forty years, we have assumed hierarchical file system namespaces. These namespaces were a rudimentary attempt at simple organization. As users have begun to interact with...