70 search results - page 11 / 14 » Inheritance in the Join Calculus |
ECOOP
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Aspect-oriented programming languages usually are extensions of object-oriented ones, and their compilation target is usually the (virtual) machine model of the language ...
CCGRID
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper presents “Self-Chord”, a bio-inspired P2P algorithm that can be profitably adopted to build the information service of distributed systems, in particular Computati...
85
Voted
DLS
2005
14 years 11 months ago
2005
In the emerging field of Ambient Intelligence (AmI), software is deployed in wireless open networks of mobile devices. Such open networks require stringent security measures as u...
ECOWS
2007
Springer
15 years 3 months ago
2007
Springer
Service composition and service statefulness are key concepts in Web Service system programming. In this paper we present JOLIE, which is the full implementation of our formal cal...
93
Voted
LPAR
2007
Springer
15 years 3 months ago
2007
Springer
In this paper we propose a nonmonotonic extension ALC + Tmin of the Description Logic ALC for reasoning about prototypical properties and inheritance with exception. The logic ALC ...