1012 search results - page 130 / 203 » What Robots Can Do |
153
click to vote
NORDSEC
2009
Springer
15 years 11 months ago
2009
Springer
Runtime enforcement is a common mechanism for ensuring that program executions adhere to constraints specified by a security policy. It is based on two simple ideas: the enforceme...
133
click to vote
SACRYPT
2009
Springer
15 years 11 months ago
2009
Springer
Format-preserving encryption (FPE) encrypts a plaintext of some specified format into a ciphertext of identical format—for example, encrypting a valid credit-card number into a ...
132
click to vote
SIBGRAPI
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper analyzes the robustness issue in three segmentation approaches: the iterative relative fuzzy object extraction, the watershed transforms (WT) by image foresting transfo...
157
click to vote
PERVASIVE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Mobile phones are increasingly becoming ubiquitous computational devices that are almost always available, individually adaptable, and nearly universally connectable (usi...
135
click to vote
TARK
2007
Springer
15 years 10 months ago
2007
Springer
In Alternating-time Temporal Logic (atl), one can express statements about the strategic ability of an agent (or a coalition of agents) to achieve a goal φ such as: “agent i ca...