5451 search results - page 456 / 1091 » Typed Operational Semantics |
148
click to vote
OOPSLA
2001
Springer
15 years 11 months ago
2001
Springer
Mixin modules are proposed as an extension of a class-based programming language. Mixin modules combine parallel extension of classes, including extension of the self types for th...
176
Voted
PCM
2001
Springer
15 years 11 months ago
2001
Springer
Developing effective and efficient retrieval techniques for multimedia data is a challenging issue in building a digital library. Unlike most previously proposed retrieval approac...
170
click to vote
ICFP
1999
ACM
15 years 11 months ago
1999
ACM
Programs are often structured around the idea that different pieces of code comprise distinct principals, each with a view of its environment. Typical examples include the module...
163
click to vote
EUROSYS
2007
ACM
15 years 10 months ago
2007
ACM
To anticipate or not to anticipate -- that is the question, regarding adaptive middleware in the area of ubiquitous computing. Anticipation can guarantee that both the adapted and...
202
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
Verification and compliance testing are required if agents are to be delegated responsibility for legally binding contracts, for example in electronic markets. This paper describes...