2509 search results - page 301 / 502 » Abstract Geometrical Computation and Computable Analysis |
187
click to vote
ESORICS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We define a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...
148
click to vote
POLICY
2007
Springer
16 years 19 days ago
2007
Springer
Among the many works on trust negotiation, only a few deal with negotiation strategies. These works are tailored to specific frameworks—so their results cannot be extended to c...
176
click to vote
RTCSA
2005
IEEE
16 years 2 days ago
2005
IEEE
This paper describes a context information acquisition framework for a personal device that equips a variety of sensors. The framework captures context information about a user an...
179
click to vote
ICNC
2005
Springer
16 years 13 hour ago
2005
Springer
Abstract. A mixture multiscale autoregressive moving average (ARMA) network is proposed for unsupervised segmentation of synthetic aperture radar (SAR) image. The network combines ...
179
click to vote
ICTCS
2005
Springer
16 years 12 hour ago
2005
Springer
Abstract. Non-interference is a desirable property of systems in a multilevel security architecture, stating that confidential information is not disclosed in public output. The c...