Sciweavers

1835 search results - page 187 / 367
» Functional Programming of Behavior-Based Systems
Sort
View
ISMAR
2002
IEEE
15 years 11 months ago
A Pragmatic Approach to Augmented Reality Authoring
In this paper we describe the Augmented Reality (AR) authoring system "PowerSpace" which allows fast and comfortable generation of AR worlds. The system presented uses t...
Matthias Haringer, Holger Regenbrecht
187
Voted
CSFW
2004
IEEE
15 years 10 months ago
Enforcing Robust Declassification
Noninterference requires that there is no information flow from sensitive to public data in a given system. However, many systems perform intentional release of sensitive informat...
Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic
167
Voted
JCS
2006
118views more  JCS 2006»
15 years 6 months ago
Enforcing Robust Declassification and Qualified Robustness
Noninterference requires that there is no information flow from sensitive to public data in a given system. However, many systems release sensitive information as part of their in...
Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic
ICFP
2008
ACM
16 years 6 months ago
Transactional events for ML
Transactional events (TE) are an approach to concurrent programming that enriches the first-class synchronous message-passing of Concurrent ML (CML) with a combinator that allows ...
Laura Effinger-Dean, Matthew Kehrt, Dan Grossman
ACSD
2005
IEEE
90views Hardware» more  ACSD 2005»
15 years 11 months ago
Extensible and Scalable Time Triggered Scheduling
The objective of this paper is to present how to design a system that can accommodate additional functionality with either no changes to the design or adding architectural modules...
Wei Zheng, Jike Chong, Claudio Pinello, Sri Kanaja...