2030 search results - page 284 / 406 » The Need for Customizable Operating Systems |
MONTEREY
2007
Springer
14 years 4 months ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
CCECE
2006
IEEE
14 years 4 months ago
2006
IEEE
The relevance of distributed virtual environments (DVE) and interactive 3D worlds for entertaining and commercial purposes is steadily increasing. DVEs are typically implemented a...
AICCSA
2005
IEEE
14 years 3 months ago
2005
IEEE
Detection and self-protection against viruses, worms, and network attacks is urgently needed to protect network systems and their applications from catastrophic failures. Once a n...
ASAP
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper explores low-power reliable microarchitectures for addition. Power, speed, and reliability (both defect- and fault-tolerance) are important metrics of system design, sp...
DASFAA
2005
IEEE
14 years 3 months ago
2005
IEEE
In many different application areas, e.g. space observation systems or engineering systems of world-wide operating companies, there is a need for an efficient distributed intersect...