8810 search results - page 253 / 1762 » Open. Closed. Open |
213
click to vote
ECHT
1992
15 years 10 months ago
1992
An approach to exible hyperbase hypertext database support predicated on the notion of extensibility is presented. The extensible hypertext platform Hyperform implements basic hyp...
116
Voted
ESORICS
1992
Springer
15 years 10 months ago
1992
Springer
206
click to vote
PODC
1994
ACM
15 years 10 months ago
1994
ACM
We describe a method for writing assumption/guarantee specifications of concurrent systems. We also provide a proof rule for reasoning about the composition of these systems. Spec...