209 search results - page 21 / 42 » Ensuring operating system kernel integrity with OSck |
CAISE
2000
Springer
14 years 4 days ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
OSDI
2004
ACM
14 years 8 months ago
2004
ACM
As dependence on the World Wide Web continues to grow, so does the need for businesses to have quantitative measures of the client perceived response times of their Web services. ...
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
The U.S. Capitol Police (USCP) are responsible for protecting the Capitol Hill complex encompassing the Senate and House office buildings and the Capitol building. Currently, the ...
FDL
2005
IEEE
14 years 1 months ago
2005
IEEE
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
PODC
2011
ACM
12 years 10 months ago
2011
ACM
We present the Mindicator, a set implementation customized for shared memory runtime systems. The Mindicator is optimized for constant-time querying of its minimum element, while ...