Sciweavers

1166 search results - page 45 / 234
» Programming Language Support for Adaptable Wearable Computin...
Sort
View
VL
1992
IEEE
153views Visual Languages» more  VL 1992»
14 years 15 days ago
MAVIS: A Visual Environment for Active Computer Vision
MAVIS is a dataflow visual languagefor computer vision and image processing. It features a high degree of `liveness' and compliance with user directives, providing ajexible e...
Thomas J. Olson, Nicholas G. Klop, Mark R. Hyett, ...
JLP
2007
86views more  JLP 2007»
13 years 9 months ago
Typing noninterference for reactive programs
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...
Ana Almeida Matos, Gérard Boudol, Ilaria Ca...
PLDI
2010
ACM
14 years 2 months ago
Traceable data types for self-adjusting computation
Self-adjusting computation provides an evaluation model where computations can respond automatically to modifications to their data by using a mechanism for propagating modifica...
Umut A. Acar, Guy E. Blelloch, Ruy Ley-Wild, Kanat...
UM
2005
Springer
14 years 2 months ago
Social Navigation Support Through Annotation-Based Group Modeling
Closed corpus AH systems demonstrate what is possible to achieve with adaptive hypermedia technologies; however they are impractical for dealing with the large volume of open corpu...
Rosta Farzan, Peter Brusilovsky
ECOOPW
1999
Springer
14 years 1 months ago
Extending UML with Aspects: Aspect Support in the Design Phase
Aspect-Oriented Programming (AOP) has been considered ing abstraction principle to reduce the problem of code tangling and make software structure clean and configurable. This pap...
Junichi Suzuki, Yoshikazu Yamamoto