2236 search results - page 297 / 448 » Language Independence and Language Tolerance in Logic Progra... |
103
click to vote
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We propose a new formalisation of stability for Rely-Guarantee, in which an assertion's stability is encoded into its syntactic form. This allows two advances in mod...
131
click to vote
IFIP
2010
Springer
15 years 9 months ago
2010
Springer
In this work it is shown the representation of 3D object shape acquired from grasp exploration. Electromagnetic motion tracking sensors are used on the fingers for object contour f...
128
click to vote
ICALP
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. In this paper we investigate automated methods for externalizing internal memory data structures. We consider a class of balanced trees that we call weight-balanced parti...
157
click to vote
ECOOP
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. The aim of component technology is the replacement of large monolithic applications with sets of smaller software components, whose particular functionality and interoper...
127
click to vote
EJC
2000
15 years 5 months ago
2000
We present a new model for generating network applications. Our model is based on trees communicating with each other. Our model is simple to understand, but yet powerful enough to...