Sciweavers

318 search results - page 56 / 64
» Design, implementation and testing of an interactive video r...
Sort
View
AUTONOMICS
2008
ACM
15 years 2 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...
94
Voted
MHCI
2009
Springer
15 years 7 months 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 17 days 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 6 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
15 years 6 months 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...