7681 search results - page 94 / 1537 » Typed Membrane Systems |
150
click to vote
JLP
2007
15 years 5 months ago
2007
We propose a type system to enforce the security property of noninterference in a core reactive language, obtained by extending the imperative language of Volpano, Smith and Irvin...
144
click to vote
ICPR
2004
IEEE
16 years 6 months ago
2004
IEEE
A system is described for summarizing head-mounted or hand-carried "always-on" video. The example used is a tourist walking around a historic city with friends and famil...
137
click to vote
JUCS
2008
15 years 5 months ago
2008
: Presentation types are used in the CLIM interface library to tag graphical output with a type and establish an input type context in which the user may use the keyboard to type i...
163
click to vote
ICFP
2003
ACM
16 years 5 months ago
2003
ACM
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...
145
click to vote
CSFW
2006
IEEE
15 years 11 months ago
2006
IEEE
Secrecy properties can be guaranteed through a combination of static and dynamic checks. The static checks may include the application of special type systems with notions of secr...