2036 search results - page 45 / 408 » A generic type-and-effect system |
132
Voted
DC
2002
15 years 10 days ago
2002
Message ordering is a fundamental abstraction in distributed systems. However, ordering guarantees are usually purely "syntactic," that is, message "semantics" ...
106
Voted
ICMCS
2005
IEEE
15 years 6 months ago
2005
IEEE
In this paper we propose a generic framework for event detection in broadcast video of multiple different field-sports. Features indicating significant events are selected, and ro...
104
Voted
IWDC
2001
Springer
15 years 5 months ago
2001
Springer
Considering that current end to end communication services are not adapted for supporting efficiently distributed multimedia application, this paper introduces a new family of gene...
106
click to vote
ELPUB
1997
ACM
15 years 4 months ago
1997
ACM
We consider the generic hypermedia structure of a document to be a means of representing the document that allows it to be processed into a wide variety of presentations. Represen...
124
Voted
ECOOP
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Generic types in C behave invariantly with respect to subtyping. We propose a system of type-safe variance for C that supports the declaration of covariant and contravari...