10038 search results - page 1875 / 2008 » Model Checking for Managers |
IJWMC
2010
14 years 10 months ago
2010
The past few years have seen a burst in public interest and widespread use of portable electronic devices featuring both mature and emerging technologies for wireless communication...
136
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
We study in this paper provenance information for queries with aggregation. Provenance information was studied in the context of various query languages that do not allow for aggr...
145
Voted
CSCW
2011
ACM
14 years 7 months ago
2011
ACM
This paper explores key issues people experience managing personal boundaries within and across social technologies. We look in particular at email and online social networks. We ...
133
Voted
TMC
2011
14 years 7 months ago
2011
—Vehicular networks (VANETs) can be used to improve transportation security, reliability, and management. This paper investigates security aspects of VANETs within a game-theoret...
229
click to vote
WWW
2011
ACM
14 years 7 months ago
2011
ACM
Online social media are complementing and in some cases replacing person-to-person social interaction and redefining the diffusion of information. In particular, microblogs have ...