Sciweavers

357 search results - page 28 / 72
» A Contracting System for Hierarchical Components
Sort
View
DEXA
2008
Springer
143views Database» more  DEXA 2008»
14 years 11 months ago
XML Filtering Using Dynamic Hierarchical Clustering of User Profiles
Information filtering systems constitute a critical component in modern information seeking applications. As the number of users grows and the information available becomes even bi...
Panagiotis Antonellis, Christos Makris
IFIPTCS
2000
15 years 1 months ago
Masaccio: A Formal Model for Embedded Components
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
Thomas A. Henzinger
ECOOPW
1999
Springer
15 years 2 months ago
An Aspect-Oriented Design Framework for Concurrent Systems
Abstract. In Aspect-Oriented Programming we decompose a problem into a number of functional components as well as a number of aspects and then we compose these components and aspec...
Constantinos Constantinides, Atef Bader, Tzilla El...
ICRA
2008
IEEE
201views Robotics» more  ICRA 2008»
15 years 4 months ago
Hierarchical distributed control for search and tracking by heterogeneous aerial robot networks
Abstract—This paper presents a hierarchical control architecture that enables cooperative surveillance by a heterogeneous aerial robot network comprised of mothership unmanned ai...
Jack Elston, Eric W. Frew
SAFECOMP
2010
Springer
14 years 8 months ago
Deriving Safety Cases for Hierarchical Structure in Model-Based Development
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...
Nurlida Basir, Ewen Denney, Bernd Fischer 0002