5604 search results - page 574 / 1121 » Becoming Increasingly Reliable |
183
click to vote
FROCOS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools whic...
214
click to vote
WCNC
2010
IEEE
15 years 11 months ago
2010
IEEE
—One way of modelling the wireless channel is in a statistical manner, based on a few parameters describing the characteristics of the environment. In most current wireless chann...
230
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
In high-end grid networks, distributed resources (scientific instruments, CPUs, storages, etc.) are interconnected to support computing-intensive and data-intensive applications, w...
196
click to vote
GLOBECOM
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract--Wireless networks are vulnerable to identity spoofing attacks, where an attacker can forge the MAC address of his wireless device to assume the identity of another victim...
168
click to vote
AINA
2004
IEEE
15 years 11 months ago
2004
IEEE
Fault tolerance is essential to the development of reliable mobile agent system in order to guarantee continuous execution of mobile agents. For this purpose, some previous works ...