1734 search results - page 142 / 347 » its 2000 |
168
click to vote
ESA
2000
Springer
15 years 9 months ago
2000
Springer
For a set P of points in the plane, we introduce a class of triangulations that is an extension of the Delaunay triangulation. Instead of requiring that for each triangle the circ...
150
click to vote
ESOP
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We describe a low-level calculus, called ink (pronounced "links"), designed to serve as an intermediate representation in compilers for class-based objectorient...
130
click to vote
ESORICS
2000
Springer
15 years 9 months ago
2000
Springer
The IP security protocols (IPsec) may be used via security gateways that apply cryptographic operations to provide security services to datagrams, and this mode of use is supported...
171
click to vote
FAABS
2000
Springer
15 years 9 months ago
2000
Springer
Much work in the field of agent-based systems has tended to focus on either the development of practical applications of agent systems on the one hand, or the development of sophis...
175
click to vote
FASE
2000
Springer
15 years 9 months ago
2000
Springer
A proof system is presented for the verification and derivation of object oriented programs with as main features strong typing, dynamic binding, and inheritance. The proof system...