25 search results - page 5 / 5 » Types and Subtypes for Client-Server Interactions |
COMPSAC
2004
IEEE
13 years 9 months ago
2004
IEEE
Emerging patterns have been studied as a useful type of pattern for the diagnosis and understanding of diseases based on the analysis of gene expression profiles. They are useful ...
WWW
2001
ACM
14 years 6 months ago
2001
ACM
Integrity constraints are an essential part of a modern schema definition language. They are useful for semantic specification, update consistency control, query optimization, inf...
ECOOP
2008
Springer
13 years 7 months ago
2008
Springer
This paper demonstrates the impact of integrating session types and object-oriented programming, through their implementation in Java. Seses provide high-level abstraction for stru...
POPL
1995
ACM
13 years 9 months ago
1995
ACM
We show how a set of building blocks can be used to construct programming language interpreters, and present implementations of such building blocks capable of supporting many com...
ERCIMDL
2000
Springer
13 years 9 months ago
2000
Springer
The OASIS (Ontologically Augmented Spatial Information System) project explores terminology systems for thematic and spatial access in digital library applications. A prototype im...