828 search results - page 78 / 166 » types 2000 |
100
Voted
ESORICS
2000
Springer
15 years 6 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...
125
Voted
FASE
2000
Springer
15 years 6 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...
133
Voted
FPL
2000
Springer
15 years 6 months ago
2000
Springer
As integration levels in FPGA devices have increased over the past decade, the structure of programmable logic resources has become more diversified. Recently, Altera Corporation h...
143
Voted
FSTTCS
2000
Springer
15 years 6 months ago
2000
Springer
We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a...
117
Voted
HHCI
2000
15 years 6 months ago
2000
Projection-augmented models are a type of non-immersive, coincident haptic and visual display that uses a physical model as a three dimensional screen for projected visual informa...