28821 search results - page 5135 / 5765 » Distributed and parallel systems |
180
click to vote
CAISE
2003
Springer
16 years 13 days ago
2003
Springer
Peer-to-Peer (P2P) computing has been increasingly gaining interest. P2P architectures are no longer just used for sharing music files over the InP2P middleware systems attempt to...
185
click to vote
CHARME
2003
Springer
16 years 13 days ago
2003
Springer
We consider the problem of bounded model checking of systems expressed in a decidable fragment of first-order logic. While model checking is not guaranteed to terminate for an ar...
188
click to vote
AINA
2009
IEEE
16 years 10 days ago
2009
IEEE
—Although several analytical models have been proposed for wireless sensor networks (WSNs) with different capabilities, very few of them consider the effect of general service di...
166
click to vote
DATE
2010
IEEE
16 years 9 days ago
2010
IEEE
There is today little doubt on the fact that a high-performance and cost-effective Network-on-Chip can only be designed in 45nm and beyond under a relaxed synchronization assumpti...
221
click to vote
ANSS
2002
IEEE
16 years 5 days ago
2002
IEEE
The data traffic in wireless networks for the third generation (3G) mobile telecommunication systems should take into account a variety of services (voice, data, video) and envir...