2036 search results - page 186 / 408 » A generic type-and-effect system |
176
click to vote
ECOOP
2007
Springer
15 years 11 months ago
2007
Springer
Java(X) is a framework for type refinement. It extends Java's type language with annotations drawn from an algebra X and structural subtyping in terms of the annotations. Each...
181
click to vote
ASIACRYPT
2006
Springer
15 years 11 months ago
2006
Springer
Understanding what construction strategy has a chance to be a good hash function is extremely important nowadays. In TCC'04, Maurer et al. [13] introduced the notion of indiff...
201
click to vote
CAISE
2006
Springer
15 years 11 months ago
2006
Springer
Recently, schema mapping has found considerable interest in both research and practice. Determining matching components of database or XML schemas is needed in many applications, e...
179
click to vote
ANCS
2008
ACM
15 years 9 months ago
2008
ACM
Time-sensitive network experiments are difficult. There are major challenges involved in generating high volumes of sufficiently realistic traffic. Additionally, accurately measur...
199
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
In this paper, we deal with the sequential decision making problem of agents operating in computational economies, where there is uncertainty regarding the trustworthiness of serv...