4340 search results - page 593 / 868 » Formal Methods and Cryptography |
177
click to vote
ICMB
2007
IEEE
16 years 27 days ago
2007
IEEE
In this paper, we present an assessment of NFC (Near Field Communication) for future mobile payment systems. NFC is expected to become a very trendy technology for mobile services...
175
click to vote
ICRA
2007
IEEE
16 years 27 days ago
2007
IEEE
— Synthesis of robot behaviors towards nontrivial goals often requires reasoning about both discrete and continuous aspects of the underlying domain. Existing approaches in build...
166
click to vote
ICSNC
2007
IEEE
16 years 27 days ago
2007
IEEE
This article presents a new trend in computerized medical image analysis of breast cancer features, existing in mammograms (grey scale 2D images), based on recent approaches of th...
162
click to vote
ATAL
2007
Springer
16 years 23 days ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
143
click to vote
CAV
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. TVLA is a parametric framework for shape analysis that can be easily instantiated to create different kinds of analyzers for checking properties of programs that use link...