1299 search results - page 229 / 260 » On the Correctness of Operating System Kernels |
IPSN
2005
Springer
14 years 28 days ago
2005
Springer
A wireless sensor network consists of a large number of small, resource-constrained devices and usually operates in hostile environments that are prone to link and node failures. ...
PCM
2005
Springer
14 years 27 days ago
2005
Springer
A spread pattern of a tumor in medical images is an important factor for classification of the tumor. The spread pattern is generally not considered when we use only one segment fo...
TGC
2005
Springer
14 years 27 days ago
2005
Springer
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...
ACSAC
2003
IEEE
14 years 22 days ago
2003
IEEE
The IPsec protocol provides a mechanism to enforce a range of security services for both confidentiality and integrity, enabling secure transmission of information across networks...
DATE
2003
IEEE
14 years 21 days ago
2003
IEEE
In this article we propose a high speed and highly testable parallel two-rail code checker, which features a compact structure and is Totally-Self-Checking or Strongly Code-Disjoi...