10038 search results - page 1655 / 2008 » Model Checking for Managers |
195
click to vote
MOBISYS
2005
ACM
16 years 6 months ago
2005
ACM
Location-aware systems are typically deployed on a small scale and evaluated technically, in terms of absolute errors. In this paper, the authors present their experience of deplo...
159
click to vote
EWSN
2007
Springer
16 years 6 months ago
2007
Springer
While a multithreading approach provides a convenient sensor application developing environment with automatic control flow and stack managment, it is considered to have a larger d...
176
click to vote
SDM
2009
SIAM
16 years 3 months ago
2009
SIAM
With the explosion of social media, scalability becomes a key challenge. There are two main aspects of the problems that arise: 1) data volume: how to manage and analyze huge data...
171
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
We study online social networks in which relationships can be either positive (indicating relations such as friendship) or negative (indicating relations such as opposition or ant...
165
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
The emerging reality of wireless sensor networks deployed as long-lived infrastructure required to serve multiple applications necessitates the development of fine-grained securi...