Sciweavers

4434 search results - page 616 / 887
» On the Composition of Hybrid Systems
Sort
View
HPDC
1996
IEEE
15 years 11 months ago
The Core Legion Object Model
This document describes the core Legion object model. The model specifies the composition and functionality of Legion's core objects--those objects that cooperate to create, ...
Michael J. Lewis, Andrew S. Grimshaw
FGR
2006
IEEE
154views Biometrics» more  FGR 2006»
15 years 10 months ago
Toward an Efficient and Accurate AAM Fitting on Appearance Varying Faces
Automatic extraction of facial feature deformations (either due to identity change or expression) is a challenging task and could be the base of a facial expression interpretation...
Hugo Mercier, Julien Peyras, Patrice Dalle
FM
2008
Springer
130views Formal Methods» more  FM 2008»
15 years 8 months ago
Specification and Checking of Software Contracts for Conditional Information Flow
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
Torben Amtoft, John Hatcliff, Edwin Rodrígu...
VAMOS
2010
Springer
15 years 8 months ago
Automating the Configuration of Multi Software Product Lines
The increased use of software product lines (SPLs) results in complex software systems in which products of multiple SPLs communicate and interact with each other. Such a system of...
Marko Rosenmüller, Norbert Siegmund
DAGSTUHL
2006
15 years 8 months ago
Modeling and Aspect Weaving
A model is a simplified representation of an aspect of the world for a specific purpose. Complex systems typically give rise to more than one model because many aspects are to be h...
Jean-Marc Jézéquel