1222 search results - page 200 / 245 » Verifying a File System Implementation |
105
click to vote
ESOP
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
134
click to vote
ACHI
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract—The development of human-robot interaction scenarios is a strongly situation-dependent as well as an extremely dynamic task. Humans interacting with the robot directly r...
100
click to vote
MIAR
2008
IEEE
15 years 6 months 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, ...
AINA
2007
IEEE
15 years 6 months 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...
HICSS
2007
IEEE
15 years 6 months ago
2007
IEEE
Several data-centric communication paradigms have been proposed in the domain of wireless sensor networks (WSN). Therefore, the principles of operation and maintenance in such net...