346 search results - page 54 / 70 » Toward a Model of Type Inheritance |
ECOOP
2010
Springer
14 years 12 days ago
2010
Springer
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...
ICIP
2002
IEEE
14 years 9 months ago
2002
IEEE
Human observers can easily assess the quality of a distorted image without examining the original image as a reference. By contrast, designing objective No-Reference (NR) quality ...
CSFW
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...
NOMS
2006
IEEE
14 years 1 months ago
2006
IEEE
—The trends for pushing more operational intelligence towards network elements to achieve more context-aware and self-managing behavior often requires elements to gather network ...
SIGADA
2001
Springer
14 years 21 hour ago
2001
Springer
The last years have seen an increasing, albeit restricted simulation of large-scale networks on shared memory parallel platforms. As the complexity of communication protocols and ...