8810 search results - page 236 / 1762 » Openness |
181
click to vote
ECHT
1992
15 years 9 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...
ESORICS
1992
Springer
15 years 9 months ago
1992
Springer
92
Voted
RE
1993
Springer
15 years 9 months ago
1993
Springer
177
click to vote
PODC
1994
ACM
15 years 9 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...
124
click to vote
ITC
1989
IEEE
15 years 9 months ago
1989
IEEE
- The electrical effects of CMOS IC physical defects that caused stuck-openfaults are evaluated, including their voltage levels, quiescent power supply current (IDDQ), transient re...