15840 search results - page 2571 / 3168 » The Control of Synchronous Systems |
199
click to vote
ECOOP
1997
Springer
15 years 11 months ago
1997
Springer
We present the design and rationale of a new statically-typed object-oriented language, LOOM. LOOM retains most of the features of the earlier language PolyTOIL. However the subtyp...
183
click to vote
SP
1996
IEEE
15 years 11 months ago
1996
IEEE
In the proposed mandatory access control model, arbitrary label changing policies can be expressed. The relatively simple model can capture a wide variety of security policies, in...
186
Voted
CHI
1996
ACM
15 years 11 months ago
1996
ACM
The goal of `Computer Augmented Environments' is to bring computational power to everyday objects with which users are already familiar, so that the user interface to this co...
136
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
Abstract: Introspection, a zero-overhead binding technique during self-diagnosing microarchitecture synthesis is presented. Given a scheduled control data ow graph (CDFG) introspec...
172
click to vote
SIGIR
1996
ACM
15 years 11 months ago
1996
ACM
We present a deductive data model for concept-based query expansion. It is based abstraction levels: the conceptual, the expression and the occurrence level. Concepts and their re...