4255 search results - page 337 / 851 » Cover |
143
click to vote
SIGMETRICS
2010
ACM
15 years 11 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...
152
click to vote
ICALP
2010
Springer
15 years 11 months 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...
136
click to vote
CDC
2009
IEEE
15 years 11 months 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...
170
click to vote
LOCWEB
2009
ACM
15 years 11 months 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 ...
177
click to vote
ESWS
2009
Springer
15 years 11 months 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, ...