1054 search results - page 172 / 211 » From a Verified Kernel towards Verified Systems |
109
click to vote
CTRSA
2006
Springer
15 years 5 months ago
2006
Springer
RFID-tags are becoming very popular tools for identification of products. As they have a small microchip on board, they offer functionality that can be used for security purposes. ...
129
click to vote
FASE
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Code clones have long been recognized as bad smells in software systems and are considered to cause maintenance problems during evolution. It is broadly assumed that the ...
103
click to vote
ACSAC
2008
IEEE
15 years 4 months ago
2008
IEEE
Access control policies are often specified in declarative languages. In this paper, we propose a novel approach, called mutation verification, to assess the quality of properties...
111
click to vote
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
In environments which possess relatively few features that enable a robot to unambiguously determine its location, global localization algorithms can result in multiple hypotheses...
ACL
2006
15 years 3 months ago
2006
A web search with double checking model is proposed to explore the web as a live corpus. Five association measures including variants of Dice, Overlap Ratio, Jaccard, and Cosine, ...