Sciweavers

5668 search results - page 718 / 1134
» The case for software evolution
Sort
View
FOSSACS
2008
Springer
15 years 8 months ago
Compositional Methods for Information-Hiding
Protocols for information-hiding often use randomized primitives to obfuscate the link between the observables and the information to be protected. The degree of protection provide...
Christelle Braun, Konstantinos Chatzikokolakis, Ca...
FOSSACS
2008
Springer
15 years 8 months ago
Symbolic Semantics Revisited
Abstract. Symbolic bisimulations were introduced as a mean to define value-passing process calculi using smaller, possibly finite labelled transition systems, equipped with symboli...
Filippo Bonchi, Ugo Montanari
VAMOS
2008
Springer
15 years 8 months ago
Reflective Component-based Technologies to Support Dynamic Variability
In this paper we propose an approach to support dynamic or runtime variability in systems that must adapt dynamically to changing runtime context. The approach is founded on refle...
Nelly Bencomo, Gordon S. Blair, Carlos A. Flores-C...
AVI
2006
15 years 8 months ago
Improving access of elderly people to real environments: a semantic based approach
Access to real environments is often conditioned by a number of issues, including the skills of the user (i.e. affected by aging, physical and psychological deficiencies, etc.) an...
Fabio Pittarello, Alessandro De Faveri
AVI
2006
15 years 8 months ago
An explorative analysis of user evaluation studies in information visualisation
This paper presents an analysis of user studies from a review of papers describing new visualisation applications and uses these to highlight various issues related to the evaluat...
Geoffrey Ellis, Alan J. Dix