2290 search results - page 69 / 458 » Extensible Protected Types |
129
click to vote
LISP
2008
15 years 2 months ago
2008
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code. Numerous analyses have been developed for numerous va...
101
Voted
FSTTCS
2005
Springer
15 years 7 months ago
2005
Springer
We extend Howe’s method to prove that input-early strong and -delay contextual bisimulations are congruences for the Higher-order mobile embedded resources (Homer) calculus, a ty...
113
Voted
ECOOP
2000
Springer
15 years 6 months ago
2000
Springer
This paper studies specific language level abstractions for component-based programming. We propose a simple model which captures some basic ingredients — like explicit context ...
120
Voted
IJCAI
2007
15 years 3 months ago
2007
Coalition formation is a problem of great interest in AI, allowing groups of autonomous, individually rational agents to form stable teams. Automating the negotiations underlying ...
123
Voted
SCAM
2008
IEEE
15 years 8 months ago
2008
IEEE
Polymorphism and class hierarchies are key to increasing the extensibility of an object-oriented program but also raise challenges for program comprehension. Despite many advances...