1299 search results - page 106 / 260 » On the Correctness of Operating System Kernels |
130
click to vote
WOA
2000
15 years 5 months ago
2000
The consistency issues have been well studied in term of methodologies and technologies for the most popular interaction paradigm, namely the client-server. In the agent's wo...
115
click to vote
JSS
2007
15 years 4 months ago
2007
This paper presents Worm-IT, a new intrusion-tolerant group communication system with a membership service and a view-synchronous atomic multicast primitive. The system is intrusi...
143
click to vote
SECON
2007
IEEE
15 years 10 months ago
2007
IEEE
— Wireless sensor networks are increasingly being employed for potentially hazardous and critical applications such as monitoring the gas concentration levels in a battle field....
138
click to vote
LCPC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In this paper, we describe transformation recipes, which provide a high-level interface to the code transformation and code generation capability of a compiler. These rec...
136
click to vote
ICTAI
1997
IEEE
15 years 8 months ago
1997
IEEE
Knowledge refinement tools have commonly been applied to diagnostic applications. This paper considers the refinement of a design application. It explores the differences in knowl...