2474 search results - page 362 / 495 » Solving Problems on Parallel Computers by Cellular Programmi... |
240
Voted
ARTS
1999
Springer
15 years 9 months ago
1999
Springer
Model checking can tell us whether a system is correct; probabilistic model checking can also tell us whether a system is timely and reliable. Moreover, probabilistic model checkin...
139
Voted
DCOSS
2006
Springer
15 years 8 months ago
2006
Springer
We propose a generic communication primitive designed for sensor networks. Our primitive hides details of network communication while retaining sufficient programmer control over t...
126
Voted
DCOSS
2010
Springer
15 years 6 months ago
2010
Springer
Jamming attacks are especially harmful when ensuring the dependability of wireless communication. Finding the position of a jammer will enable the network to actively exploit a wid...
133
Voted
NSPW
2006
ACM
15 years 11 months ago
2006
ACM
What would a PKI look like if it were designed for implementability and deployability rather than strict adherence to a particular theoretical or mathematical model? This paper pr...
139
click to vote
HPDC
2010
IEEE
15 years 6 months ago
2010
IEEE
Automated analysis of unstructured text documents (e.g., web pages, newswire articles, research publications, business reports) is a key capability for solving important problems ...