Sciweavers

111 search results - page 6 / 23
» Modeling continuous changes of the user's dynamic behavior i...
Sort
View
CAV
1997
Springer
202views Hardware» more  CAV 1997»
13 years 11 months ago
HYTECH: A Model Checker for Hybrid Systems
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
IJACTAICIT
2010
146views more  IJACTAICIT 2010»
13 years 4 months ago
Modeling and Simulation of a Pervasive Multimodal Multimedia Computing System for Visually-Impaired Users
Using multimodality in a computing system is advantageous in the sense that it makes computing more accessible to a wide range of users including those with impairments. Our work ...
Ali Awde, Moeiz Miraoui, Chakib Tadj, Yacine Belli...
MOBICOM
2010
ACM
13 years 7 months ago
Profiling users in a 3g network using hourglass co-clustering
With widespread popularity of smart phones, more and more users are accessing the Internet on the go. Understanding mobile user browsing behavior is of great significance for seve...
Ram Keralapura, Antonio Nucci, Zhi-Li Zhang, Lixin...
FIRBPERF
2005
IEEE
260views Algorithms» more  FIRBPERF 2005»
14 years 1 months ago
Models of Dynamic Web Content
Web pages are created, modified and removed at unspecified times by their owners. The frequency and extent of changes to Web pages vary across sites and across pages within site...
Mariacarla Calzarossa, Daniele Tessera
CORR
2004
Springer
85views Education» more  CORR 2004»
13 years 7 months ago
A dynamical model of a GRID market
We discuss potential market mechanisms for the GRID. A complete dynamical model of a GRID market is defined with three types of agents. Providers, middlemen and users exchange uni...
Uli Harder, Peter G. Harrison, Maya Paczuski, Teja...