Sciweavers

1675 search results - page 199 / 335
» Compositional Model-Based Design
Sort
View
MHCI
2009
Springer
14 years 3 months ago
An evaluation of authoring interfaces for image-based navigation
We present the development and evaluation of an authoring system for image-based pedestrian navigation which lets authors take pictures and annotate instructions on the go in thre...
Benjamin Walther-Franks, Dirk Wenig, Rainer Malaka...
CODES
2008
IEEE
14 years 3 months ago
SPaC: a symbolic pareto calculator
The compositional computation of Pareto points in multi-dimensional optimization problems is an important means to efficiently explore the optimization space. This paper presents ...
Hamid Shojaei, Twan Basten, Marc Geilen, Phillip S...
ICST
2008
IEEE
14 years 3 months ago
Scheduling Timed Modules for Correct Resource Sharing
Real-time embedded systems typically include concurrent tasks of different priorities with time-dependent operations accessing common resources. In this context, unsynchronized pa...
Cristina Cerschi Seceleanu, Paul Pettersson, Hans ...
AIMS
2008
Springer
14 years 3 months ago
A Theory of Closure Operators
We explore how fixed-point operators can be designed to interact and be composed to form autonomic control mechanisms. We depart from the idea that an operator is idempotent only ...
Alva L. Couch, Marc Chiarini
IEEESCC
2007
IEEE
14 years 3 months ago
Merging overlapping orchestrations: an application to the Bronze Standard medical application
Merging orchestrations is a crucial issue in the development process of service-based applications. However, merging orchestrations with overlaps is a manual and tedious process t...
Clementine Nemo-Cailliau, Tristan Glatard, Mireill...