3815 search results - page 71 / 763 » An Implementation of Session Types |
AIED
2005
Springer
14 years 1 months ago
2005
Springer
This paper describes and contrasts findings from two related projects where groups of science pupils investigated local air pollution using a collection of mobile sensors and devic...
FODO
1993
Springer
14 years 1 days ago
1993
Springer
Abstract–Multimedia computing requires support for heterogeneous data types with differing storage, communication and delivery requirements. Continuous media data types such as ...
GI
2003
Springer
14 years 1 months ago
2003
Springer
Abstract: P2P Meeting Tool is a meeting management tool, which uses Peer-toPeer technology to realise a pervasive computing environment. Users can search for and join a meeting ses...
CRIWG
1998
13 years 9 months ago
1998
This paper presents an objects-based framework for building collaborative applications. The framework consists of ten objects: box, boxObject, environment, user, role, session, br...
FASE
2001
Springer
14 years 13 days ago
2001
Springer
This paper describes the design and implementation of a tool for C programs that provides run-time checks based on type information. The tool instruments a program to monitor the t...