937 search results - page 97 / 188 » On the Complexity of Partial Order Properties |
145
click to vote
SIGSOFT
2009
ACM
16 years 6 months ago
2009
ACM
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...
175
click to vote
ICNP
2009
IEEE
16 years 24 days ago
2009
IEEE
—Wormhole attack is a severe threat to wireless ad hoc and sensor networks. Most existing countermeasures either require specialized hardware devices or make strong assumptions o...
196
click to vote
ANSS
2008
IEEE
16 years 19 days ago
2008
IEEE
This paper describes a secure and reliable method for storing data in a distributed hash table (DHT) leveraging the inherent properties of the DHT to provide a secure storage subs...
163
Voted
CIVR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We introduce a view–point invariant representation of moving object trajectories that can be used in video database applications. It is assumed that trajectories lie on...
154
Voted
WDAG
2005
Springer
15 years 11 months ago
2005
Springer
Atomicity (or linearizability) is a commonly used consistency criterion for distributed services and objects. Although atomic object implementations are abundant, proving that algo...