3815 search results - page 67 / 763 » An Implementation of Session Types |
ICFP
2010
ACM
13 years 9 months ago
2010
ACM
Type classes have found a wide variety of uses in Haskell programs, from simple overloading of operators (such as equality or ordering) to complex invariants used to implement typ...
MOBIQUITOUS
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper presents a framework prototype for sentient environments. The framework provides a generic interface to the applications for interacting with sentient artefacts in a un...
ICC
2009
IEEE
14 years 2 months ago
2009
IEEE
—Identity federation is a key requirement for today’s distributed services. This technology allows managed sharing of users’ identity information between identity providers (...
ICDAR
2009
IEEE
14 years 2 months ago
2009
IEEE
With the increased availability of pen-based devices, it becomes interesting to conduct and to archive multi-party communication sessions that involve audio and digital ink on a s...
ECUMN
2007
Springer
14 years 2 months ago
2007
Springer
Multimedia group communication emerges to focal interest at mobile devices, enriching voice or video conferencing and complex collaborative environments. The Internet uniquely pro...