1833 search results - page 212 / 367 » Mechanized Verification with Sharing |
173
click to vote
MOBIQUITOUS
2007
IEEE
16 years 23 days ago
2007
IEEE
Key establishment is one of the major challenges in Wireless Personal Area Networks, as traditional security mechanisms often do not cope with the dynamic characteristics of wirel...
165
click to vote
WETICE
2007
IEEE
16 years 23 days ago
2007
IEEE
— The coordinated sharing of resources to address computational problems is a central issue in environments of Grid computing. Two important scenarios arise from this issue. Firs...
152
click to vote
EUROPAR
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. The sensor reports from a wireless sensor network are often used extensively in the decision making process in many systems and applications. Hence, classifying real and ...
171
click to vote
GCC
2007
Springer
16 years 20 days ago
2007
Springer
Wide-area distributed systems like computational grids are emergent infrastructures for high-performance parallel applications. On these systems, communication mechanisms have to ...
188
click to vote
HPCC
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Automatic execution time prediction of the Grid applications plays a critical role in making the pervasive Grid more reliable and predictable. However, automatic executio...