Sciweavers

318 search results - page 56 / 64
» Design, implementation and testing of an interactive video r...
Sort
View
AUTONOMICS
2008
ACM
15 years 7 months ago
Verification and semantic parallelization of goal-driven autonomous software
Future space missions such as the Mars Science Laboratory demand the engineering of some of the most complex manrated autonomous software systems. According to some recent estimat...
Damian Dechev, Nicolas Rouquette, Peter Pirkelbaue...
MHCI
2009
Springer
16 years 12 days ago
Automatic mobile menu customization based on user operation history
Mobile devices are becoming more and more difficult to use due to the sheer number of functions now supported. In this paper, we propose a menu customization system that ranks fun...
Yusuke Fukazawa, Mirai Hara, Masashi Onogi, Hideto...
COMCOM
2007
103views more  COMCOM 2007»
15 years 5 months ago
MPEG-21 digital items to support integration of heterogeneous multimedia content
The MELISA system is a distributed platform for multi-platform sports content broadcasting, providing end users with a wide range of real-time interactive services during the spor...
Kostas Karpouzis, Ilias Maglogiannis, Emmanuel Pap...
EMSOFT
2005
Springer
15 years 11 months ago
Model-based run-time monitoring of end-to-end deadlines
The correct interplay among components in a distributed, reactive system is a crucial development task, particularly for embedded systems such as those in the automotive domain. M...
Jaswinder Ahluwalia, Ingolf H. Krüger, Walter...
ECOWS
2007
Springer
16 years 1 days ago
Composing Services with JOLIE
Service composition and service statefulness are key concepts in Web Service system programming. In this paper we present JOLIE, which is the full implementation of our formal cal...
Fabrizio Montesi, Claudio Guidi, Gianluigi Zavatta...