5255 search results - page 775 / 1051 » Formal Methods for Privacy |
161
click to vote
ICAC
2007
IEEE
16 years 29 days ago
2007
IEEE
An autonomic problem determination system can adapt to changing environments, react to existing or new error condition and predict possible problems. In this report, we propose su...
180
click to vote
ICMB
2007
IEEE
16 years 28 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...
177
click to vote
ICRA
2007
IEEE
16 years 28 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...
168
click to vote
ICSNC
2007
IEEE
16 years 28 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...
165
click to vote
ATAL
2007
Springer
16 years 24 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...