18 search results - page 2 / 4 » Decidability and syntactic control of interference |
ENTCS
2007
13 years 5 months ago
2007
In this paper, the problem of synthesizing controllers that ensures non interference for multilevel security dense timed discrete event systems modeled by an extension of Timed Au...
POPL
2007
ACM
14 years 5 months ago
2007
ACM
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...
FP
1995
13 years 8 months ago
1995
We present a type reconstruction algorithm for SCIR 10], a type system for a language with syntactic control of interference. SCIR guarantees that terms of passive type do not cau...
INFOCOM
2003
IEEE
13 years 10 months ago
2003
IEEE
— This paper is focused on the influence of geometry on the combination of inter-cell and intra-cell interferences in the downlink of large cdma networks. We use an exact repres...
COGSR
2011
13 years 8 days ago
2011
In verb/noun generation experiments, participants have to produce a word associated with a stimulus (usually a noun) and belonging to a given syntactic category (“verb” or “...