Sciweavers

148
Voted
ENTER
2007
Springer
15 years 8 months ago
Developing Web-Based Tourist Information Tools Using Google Map
This paper reports an explanatory study of using Google Map API to develop two destinationspecific tourist information tools: a handheld tour guide and an online trip planner for ...
Bing Pan, John C. Crotts, Brian Muller
ENTER
2007
Springer
15 years 8 months ago
Developing a Conversational Travel Advisor with ADVISOR SUITE
Due to the inherent complexity of building highly-interactive and personalized web applications, the development of a web-based travel advisory system can be a costly and timecons...
Dietmar Jannach, Markus Zanker, Markus Jessenitsch...
EMSOFT
2007
Springer
15 years 8 months ago
Verification of device drivers and intelligent controllers: a case study
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
David Monniaux
EMSOFT
2007
Springer
15 years 8 months ago
A unified practical approach to stochastic DVS scheduling
This paper deals with energy-aware real-time system scheduling using dynamic voltage scaling (DVS) for energy-constrained embedded systems that execute variable and unpredictable ...
Ruibin Xu, Rami G. Melhem, Daniel Mossé
EMSOFT
2007
Springer
15 years 8 months ago
Necessary and sufficient conditions for deterministic desynchronization
Synchronous reactive formalisms associate concurrent behaviors to precise schedules on global clock(s). This allows a non-ambiguous notion of "absent" signal, which can ...
Dumitru Potop-Butucaru, Robert de Simone, Yves Sor...