17082 search results - page 257 / 3417 » Abstractions for Mobile Computation |
119
click to vote
FM
1994
Springer
15 years 8 months ago
1994
Springer
Model Checking of Infinite Specifications Daniel Jackson School of Computer Science Carnegie Mellon University Pittsburgh, PA A new method for analyzing specifications in languages...
148
click to vote
ICALP
2011
Springer
14 years 7 months ago
2011
Springer
act Interpretation SILVIA CRAFA FRANCESCO RANZATO University of Padova, Italy We show how bisimulation equivalence and simulation preorder on probabilistic LTSs (PLTSs), namely the...
138
click to vote
MOBISYS
2004
ACM
16 years 3 months ago
2004
ACM
Advertising on mobile devices has large potential due to the very personal and intimate nature of the devices and high targeting possibilities. We introduce a novel B-MAD system f...
125
click to vote
TEI
2009
ACM
15 years 10 months ago
2009
ACM
In the context of tangibility, mobile phones are rapidly becoming sensor-rich handheld computers with the potential to take better advantage of our physical capabilities and our l...
126
click to vote
MOBILITY
2009
ACM
15 years 10 months ago
2009
ACM
In this paper we present a prototype for parental control that detects images with adult content received on a mobile device. More specifically, the application that we developed...