9210 search results - page 1487 / 1842 » Analyzing Real-Time Systems |
178
click to vote
IPSN
2009
Springer
15 years 12 months ago
2009
Springer
We present an algorithm for data delivery to mobile sinks in wireless sensor networks. Our algorithm is based on information potentials, which we extend to account for mobility. W...
157
click to vote
CLUSTER
2009
IEEE
15 years 12 months ago
2009
IEEE
Abstract—Software Distributed Shared Memory (SDSM) systems provide programmers with a shared memory programming environment across distributed memory architectures. In contrast t...
143
click to vote
CSE
2009
IEEE
15 years 12 months ago
2009
IEEE
— The emphasis of emerging mobile and Web 2.0 applications on collaboration and communication increases threats to user privacy. A serious, yet under-researched privacy risk resu...
166
click to vote
CSE
2009
IEEE
15 years 12 months ago
2009
IEEE
—We introduce a novel set of social network analysis based algorithms for mining the Web, blogs, and online forums to identify trends and find the people launching these new tren...
165
click to vote
DATE
2009
IEEE
15 years 12 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...