4255 search results - page 337 / 851 » Cover |
169
click to vote
SIGMETRICS
2010
ACM
16 years 10 days 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...
174
Voted
ICALP
2010
Springer
16 years 9 days ago
2010
Springer
We show that the downward-closure of a Petri net language is effectively computable. This is mainly done by using the notions defined for showing decidability of the reachability...
157
Voted
CDC
2009
IEEE
16 years 7 days ago
2009
IEEE
— Instantaneous charge/flux transfers may occur in switched electrical circuits when the switch configuration changes. Characterization of such state discontinuities is a class...
185
Voted
LOCWEB
2009
ACM
16 years 6 days ago
2009
ACM
While the demand for Location-based Services (LBS) is strongly increasing, technical laymen are not yet able to build and provide location-aware applications. This paper presents ...
193
click to vote
ESWS
2009
Springer
16 years 4 days ago
2009
Springer
Abstract. In this paper, we describe how the BBC is working to integrate data and linking documents across BBC domains by using Semantic Web technology, in particular Linked Data, ...