5054 search results - page 297 / 1011 » simulation 2008 |
138
click to vote
TODAES
2008
15 years 6 months ago
2008
Abstract-- Automata-based methods for generating PSL hardware assertion checkers were primarily considered for use with temporal sequences, as opposed to full-scale properties. We ...
199
click to vote
ITIIS
2010
15 years 5 months ago
2010
As web-based online communities are rapidly growing, the agents in the communities need to know their measurable belief of trust for safe and successful interactions. In this pape...
175
click to vote
IJIPT
2008
15 years 6 months ago
2008
Mobile ad-hoc networks (MANETs) are infrastructure-less networks where no central network management exists, composed of mobile nodes over wireless links. Network topology in MANE...
204
click to vote
JTAER
2008
15 years 6 months ago
2008
The integration of supply chains as a mechanism for value creation is largely dependent on continuous flow of real time accurate information from the customer back upstream to the...
196
click to vote
TPDS
2010
15 years 5 months ago
2010
—In this paper, we consider the issue of efficient broadcasting in mobile ad hoc networks (MANETs) using network coding and directional antennas. Network coding-based broadcastin...