3595 search results - page 104 / 719 » Roles of Program Extension |
125
click to vote
ECOOP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. A properly encapsulated data representation can be revised for refactoring or other purposes without affecting the correctness of client programs and extensions of a clas...
169
click to vote
PDS
1996
15 years 5 months ago
1996
We have developed a theory of sharing which captures the behaviour of programs with respect to shared data into the framework of process algebra. The core theory can describe prog...
144
click to vote
ROBOCOMM
2007
IEEE
15 years 10 months ago
2007
IEEE
—A self-reconfigurable robot is a robotic device that can change its own shape. Self-reconfigurable robots are commonly built from multiple identical modules that can manipulat...
121
click to vote
ESOP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. JoCaml is a language for concurrent and distributed programming. The language is an extension of Objective Caml with concurrent features inspired by the join-calculus. We...
122
click to vote
WEA
2005
Springer
15 years 9 months ago
2005
Springer
We present a general framework for approximating several NP-hard problems that have two underlying properties in common. First, the problems we consider can be formulated as intege...