703 search results - page 31 / 141 » Fundamentals of Session Types |
FODO
1993
Springer
13 years 11 months 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 ...
CONEXT
2007
ACM
13 years 11 months ago
2007
ACM
Abstract--Mobility is a requirement not appropriately addressed by the original design of the Internet since an IP address has two fundamentally different tasks. It specifies a net...
TPHOL
2009
IEEE
14 years 2 months ago
2009
IEEE
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...
GI
2003
Springer
14 years 27 days 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...