2474 search results - page 362 / 495 » Solving Problems on Parallel Computers by Cellular Programmi... |
273
click to vote
ARTS
1999
Springer
15 years 10 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...
166
click to vote
DCOSS
2006
Springer
15 years 10 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...
150
click to vote
DCOSS
2010
Springer
15 years 8 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...
158
click to vote
NSPW
2006
ACM
16 years 9 days 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...
163
click to vote
HPDC
2010
IEEE
15 years 7 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 ...