Sciweavers

1641 search results - page 101 / 329
» Subject Composition by Roles
Sort
View
WOSS
2004
ACM
15 years 11 months ago
Towards preserving correctness in self-managed software systems
Currently, paradigms such as component-based software development and service-oriented software architectures promote modularization of software systems into highly decoupled and ...
Lieven Desmet, Nico Janssens, Sam Michiels, Frank ...
CCS
2004
ACM
15 years 11 months ago
Authenticity by tagging and typing
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
Michele Bugliesi, Riccardo Focardi, Matteo Maffei
AOSD
2010
ACM
15 years 11 months ago
A permission system for secure AOP
The integration of third-party aspects into applications creates security challenges. Due to the intrusive impact of aspects, one cannot guarantee that the dynamic composition of ...
Wouter De Borger, Bart De Win, Bert Lagaisse, Wout...
MM
2003
ACM
135views Multimedia» more  MM 2003»
15 years 11 months ago
Detail-on-demand hypervideo
We demonstrate the use of detail-on-demand hypervideo in interactive training and video summarization. Detail-on-demand video allows viewers to watch short video segments and to f...
John Doherty, Andreas Girgensohn, Jonathan Helfman...
ICMI
2003
Springer
164views Biometrics» more  ICMI 2003»
15 years 11 months ago
A visually grounded natural language interface for reference to spatial scenes
Many user interfaces, from graphic design programs to navigation aids in cars, share a virtual space with the user. Such applications are often ideal candidates for speech interfa...
Peter Gorniak, Deb Roy