Sciweavers

1156 search results - page 108 / 232
» Compositional Methods for Information-Hiding
Sort
View
WISE
2007
Springer
14 years 3 months ago
Using Ontology with Semantic Web Services to Support Modeling in Systems Biology
Modeling in systems biology is concerned with using experimental information and mathematical methods to build quantitative models at different biological scales. This requires int...
Zhouyang Sun, Anthony Finkelstein, Jonathan Ashmor...
CSL
2003
Springer
14 years 2 months ago
Modular Semantics and Logics of Classes
The semantics of class-based languages can be defined in terms of objects only [8, 7, 1] if classes are viewed as objects with a constructor method. One obtains a store in which m...
Bernhard Reus
DSVIS
2006
Springer
13 years 11 months ago
Visual Design of User Interfaces by (De)composition
Most existing graphical user interfaces are usually designed for a fixed context of use, thus making them rather difficult to modify for other contexts of use, such as for other us...
Sophie Lepreux, Jean Vanderdonckt, Benjamin Michot...
TII
2010
166views Education» more  TII 2010»
13 years 3 months ago
Source-to-Source Architecture Transformation for Performance Optimization in BIP
Behavior, Interaction, Priorities (BIP) is a component framework for constructing systems from a set of atomic components by using two kinds of composition operators: interactions ...
Marius Bozga, Mohamad Jaber, Joseph Sifakis
VTC
2008
IEEE
14 years 3 months ago
Event-Based Addressing for Information Distribution in Dynamic Networks
— A salient feature of upcoming communication networks is unprecedented dynamicity, which can only be handled in a large scale by introducing self-configuration and self-maintena...
Cornelia Kappler, Kostas Pentikousis, Carlos Pinho