1054 search results - page 157 / 211 » From a Verified Kernel towards Verified Systems |
168
click to vote
MIAR
2008
IEEE
16 years 16 days ago
2008
IEEE
The accurate segmentation of liver vessels is an important prerequisite for creating oncologic surgery planning tools as well as medical visualization applications. In this paper, ...
175
click to vote
AINA
2007
IEEE
16 years 15 days ago
2007
IEEE
— Quality of Service (QoS) of disadvantaged networks is usually considered from a purely network standpoint in existing works. Adversarial intervention in such networks is not an...
138
click to vote
ICNP
2007
IEEE
16 years 13 days ago
2007
IEEE
— The Internet provides no information on the fate of transmitted packets, and end systems cannot determine who is responsible for dropping or delaying their traffic. As a resul...
212
click to vote
SEUS
2007
IEEE
16 years 12 days ago
2007
IEEE
Even without possible interference from external radio sources, the problem of guaranteeing quality-of-service (QoS) routing in mobile ad hoc networks (MANETs) is a difficult probl...
194
click to vote
ESAS
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. Node compromise is a serious threat in wireless sensor networks. Particular in networks which are organized in clusters, nodes acting as cluster heads for many cluster no...