253 search results - page 22 / 51 » Session Types at the Mirror |
PERCOM
2005
ACM
14 years 7 months ago
2005
ACM
Pervasive computing applications must be engineered to provide unprecedented levels of flexibility in order to reconfigure and adapt in response to changes in computing resources ...
MDM
2004
Springer
14 years 1 months ago
2004
Springer
Enabling people-to-people interaction across heterogeneous communication end-points enhances user experience and fosters people collaboration. This paper presents the design and i...
HPCNCS
2007
13 years 9 months ago
2007
The objective of the proposed work is to formally specify and implement a federated web service model in which the identity management problem and security features are analyzed. ...
ACII
2011
Springer
12 years 7 months ago
2011
Springer
Recognizing players’ affective state while playing video games has been the focus of many recent research studies. In this paper we describe the process that has been followed t...
PLDI
2003
ACM
14 years 27 days ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...