3387 search results - page 483 / 678 » Model-Checking for Real-Time Systems |
116
click to vote
SIGMETRICS
2010
ACM
15 years 10 months ago
2010
ACM
In this paper, we present a comprehensive analysis of real smartphone usage during a 6-month study of real user activity on the Android G1 smartphone. Our goal is to study the hig...
116
click to vote
SIGMOD
2010
ACM
15 years 10 months ago
2010
ACM
We present TwitterMonitor, a system that performs trend detection over the Twitter stream. The system identifies emerging topics (i.e. ‘trends’) on Twitter in real time and p...
223
click to vote
HOLOMAS
2009
Springer
15 years 9 months ago
2009
Springer
The paper gives overview of a multi-agent real-time scheduler for the European operation of one of the largest rent-a-car company in the world. It describes requirements for schedu...
126
click to vote
VRML
1999
ACM
15 years 9 months ago
1999
ACM
User interfaces have evolved from punched cards, to text terminals, to windowing systems. As interface standards move into the third dimension, we have the opportunity to ensure t...
147
click to vote
HOTOS
1997
IEEE
15 years 9 months ago
1997
IEEE
Synchronous groupware is the class of applications in which two or more people collaborate in what they perceive to be real time. Most previous efforts to deploy synchronous group...