1931 search results - page 177 / 387 » Why we blog |
179
click to vote
APN
2004
Springer
16 years 13 hour ago
2004
Springer
Generating the reachability set is one of the most commonly required step when analyzing the logical or stochastic behavior of a system modeled with Petri nets. Traditional “expl...
182
click to vote
MSWIM
2003
ACM
15 years 12 months ago
2003
ACM
This article analyzes the connectivity of multihop radio networks in a log-normal shadow fading environment. Assuming the nodes have equal transmission capabilities and are randoml...
141
click to vote
FC
2003
Springer
15 years 11 months ago
2003
Springer
Decentralized anonymity infrastructures are still not in wide use today. While there are technical barriers to a secure robust design, our lack of understanding of the incentives t...
179
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
Counterexamples explain why a desired temporal logic property fails to hold, and as such are considered to be the most useful form of output from model-checkers. Multi-valued model...
189
click to vote
IICS
2003
Springer
15 years 11 months ago
2003
Springer
As XML has become an emerging standard for information exchange on the World Wide Web, it has gained attention in database communities to extract information from XML sees as a dat...