535 search results - page 6 / 107 » Do we need dependent types |
CONCUR
1999
Springer
13 years 11 months ago
1999
Springer
This paper investigates an approach for statically preventing race conditions in an object-oriented language. The setting of this work is a variant of Gordon and Hankin’s concurr...
CCS
2003
ACM
14 years 23 days ago
2003
ACM
Since IP packet reassembly requires resources, a denial of service attack can be mounted by swamping a receiver with IP fragments. In this paper we argue how this attack need not ...
HT
1991
ACM
13 years 11 months ago
1991
ACM
Research on understanding linear texts has shown that comprehension and navigation mainly depend on the reader’s ability to construct a coherent mental representation. While the...
IJMSO
2010
13 years 6 months ago
2010
: Development and use of ontologies is increasing, but hampered by new challenges, such as determining which ontologies to reuse and which language to use. Ontology development met...
MM
1993
ACM
13 years 11 months ago
1993
ACM
As multimedia becomes an integral part of collaborative systems, we must understand how to design such systems to support users’ rich set of existing interaction skills, rather ...