2814 search results - page 542 / 563 » Can We Make Operating Systems Reliable and Secure |
145
click to vote
CONEXT
2009
ACM
15 years 5 months ago
2009
ACM
Networking researchers have been using tools like wireshark and tcpdump to sniff packets on physical links that use different types of datalink protocols, e.g. Ethernet or 802.11,...
177
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
128
click to vote
AAAI
2007
15 years 7 months ago
2007
Concurrent action execution is important for plan-length minimization. However, action specifications are often limited to avoid conflicts arising from precondition/effect inter...
157
click to vote
VIS
2004
IEEE
16 years 5 months ago
2004
IEEE
Diffusion Tensor Imaging (DTI) is a magnetic resonance imaging method that can be used to measure local information about the structure of white matter within the human brain. Com...
157
click to vote
IWMM
2009
Springer
15 years 11 months ago
2009
Springer
It is important that long running server programs retain availability amidst software failures. However, server programs do fail and one of the important causes of failures in ser...