5451 search results - page 176 / 1091 » Typed Operational Semantics |
135
click to vote
PIMRC
2008
IEEE
15 years 10 months ago
2008
IEEE
—Wide spread adoption of mobile Internet services will increase the demand for low cost high capacity wireless networks. Cooperation between different types of operators will ena...
137
click to vote
USENIX
2000
15 years 5 months ago
2000
Language-basedextensible systems, such as Java Virtual Machines and SPIN, use type safety to provide memory safety in a single address space. By using software to provide safety, ...
132
click to vote
ASPLOS
2011
ACM
14 years 7 months ago
2011
ACM
Kernel rootkits that modify operating system state to avoid detection are a dangerous threat to system security. This paper presents OSck, a system that discovers kernel rootkits ...
135
click to vote
IRI
2006
IEEE
15 years 9 months ago
2006
IEEE
— In this work we discuss how the quality of localization knowledge impacts the remote operation of rovers on the surface of Mars. We look at the techniques of localization estim...
127
click to vote
JMM2
2008
15 years 3 months ago
2008
In this paper we introduce a novel and simple image segmentation schemes that are based on combinations of morphological and statistical operations. Mathematical morphology is very...