Sciweavers

6955 search results - page 996 / 1391
» Mobile Recommender Systems
Sort
View
DATE
2010
IEEE
204views Hardware» more  DATE 2010»
15 years 12 months ago
Assertion-based verification of RTOS properties
— Today, mobile and embedded real time systems have to cope with the migration and allocation of multiple software tasks running on top of a real time operating system (RTOS) res...
Marcio F. S. Oliveira, Henning Zabel, Wolfgang M&u...
WOSP
2000
ACM
15 years 11 months ago
A pattern-based approach to model software performance
In this paper we present a formal approach to analyse performance for distributed systems, which is integrated in the early stages of the software development process. We propose ...
José Merseguer, Javier Campos, Eduardo Mena
EICS
2009
ACM
15 years 10 months ago
An infrastructure for experience centered agile prototyping of ambient intelligence
Ubiquitous computing poses new usability challenges that cut across design and development. We are particularly interested in "spaces" enhanced with sensors, public disp...
José Luís Silva, José Creissa...
CIIT
2004
127views Communications» more  CIIT 2004»
15 years 8 months ago
OLSIM: Up-to-date traffic information on the web
The Internet is a convenient platform to distribute real time traffic information. Thus, we propose a web-based visualization of the current and future traffic load of the entire ...
Andreas Pottmeier, Roland Chrobok, Sigurdur F. Haf...
GI
2008
Springer
15 years 8 months ago
Adaptive Indoor Navigation for the Blind
Abstract: In this paper, we describe a prototype of an adaptive indoor navigation system which is based on mobile devices and navigates visually impaired people through an unknown ...
Sven Gehring