6274 search results - page 1066 / 1255 » Proofs, Programs, Processes |
ICEGOV
2009
ACM
14 years 5 months ago
2009
ACM
With presumptions that e-government theories prevail in various formats and concepts around the globe, nations and institutions, not many examples are there to emulate in terms of...
ISSTA
2009
ACM
14 years 5 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
ASIAMS
2008
IEEE
14 years 5 months ago
2008
IEEE
Efficiency is one of the major issues in intrusion detection. Inefficiency is often attributed to high overhead and this is caused by several reasons. Among them are continuous de...
CEC
2008
IEEE
14 years 5 months ago
2008
IEEE
—Genetic programming (GP), is a very general and efficient technique, often capable of outperforming more specialized techniques on a variety of tasks. In this paper, we suggest ...
ECRTS
2008
IEEE
14 years 5 months ago
2008
IEEE
There is a need for using virtual memory in real-time applications: using virtual addressing provides isolation between concurrent processes; in addition, paging allows the execut...