Sciweavers

2324 search results - page 391 / 465
» Specifying interaction surfaces using interaction maps
Sort
View
107
Voted
SIGOPSE
2004
ACM
15 years 9 months ago
An approach to benchmarking configuration complexity
Configuration is the process whereby components are assembled or adjusted to produce a functional system that operates at a specified level of performance. Today, the complexity o...
Aaron B. Brown, Joseph L. Hellerstein
MMM
2003
Springer
154views Multimedia» more  MMM 2003»
15 years 8 months ago
On Generating Virtual Worlds from Domain Ontologies
Virtual Worlds are computer-hosted visual environments that create the effect of an interactive three-dimensional world in which objects have a sense of spatial and physical prese...
Olga De Troyer, Wesley Bille, Raul Romero, Peter S...
ICSE
2001
IEEE-ACM
15 years 8 months ago
JMOCHA: A Model Checking Tool that Exploits Design Structure
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A....
DSOM
1999
Springer
15 years 7 months ago
Derivation of Backup Service Management Applications from Service and System Models
The backup of large data sets is preferably performed automatically outside of regular working hours. In highly structured computer networks, however, faults and exceptions may rel...
Ingo Lück, Marcus Schönbach, Arnulf Mest...
110
Voted
ECOOP
1999
Springer
15 years 7 months ago
Propagating Class and Method Combination
Abstract. This paper presents a mixin based class and method combination mechanism with block structure propagation. Traditionally, mixins can be composed to form new classes, poss...
Erik Ernst