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»
15 years 9 months 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»
15 years 5 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
15 years 11 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
15 years 11 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
15 years 10 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