Sciweavers

979 search results - page 98 / 196
» Presentations for Abstract Context Institutions
Sort
View
BIRTHDAY
2008
Springer
13 years 10 months ago
Session and Union Types for Object Oriented Programming
In network applications it is crucial to have a mechanism to guarantee that communications evolve correctly according to the agreed protocol. Session types offer a method for abstr...
Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani...
ASPDAC
2005
ACM
98views Hardware» more  ASPDAC 2005»
13 years 10 months ago
Online hardware/software partitioning in networked embedded systems
Abstract— Today’s embedded systems are typically distributed and more often confronted with timevarying demands. Existing methodologies that optimize the partitioning of comput...
Thilo Streichert, Christian Haubelt, Jürgen T...
DSVIS
2008
Springer
13 years 10 months ago
COMET(s), A Software Architecture Style and an Interactors Toolkit for Plastic User Interfaces
Abstract. Plasticity of User Interfaces (UIs) refers to the ability of UIs to withstand variations of context of use (<User, Platform, Environment>) while preserving usabilit...
Alexandre Demeure, Gaëlle Calvary, Karin Coni...
ECAI
2008
Springer
13 years 10 months ago
Semantic relatedness in semantic networks
Abstract. This paper presents a new semantic relatedness measure on semantic networks (SN) that uses both hierarchical and non-hierarchical relations. Our approach relies on two as...
Laurent Mazuel, Nicolas Sabouret
EUROPAR
2008
Springer
13 years 10 months ago
Scheduling Intersection Queries in Term Partitioned Inverted Files
Abstract. This paper proposes and presents a comparison of scheduling algorithms applied to the context of load balancing the query traffic on distributed inverted files. We put em...
Mauricio Marín, Carlos Gomez-Pantoja, Senen...