2687 search results - page 454 / 538 » Formal Analysis of PKCS |
183
click to vote
AUSAI
2004
Springer
15 years 11 months ago
2004
Springer
Nowadays, automated Web document classification is considered as an important method to manage and process an enormous amount of Web documents in digital forms that are extensive a...
171
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
SAL 2 augments the specification language and explicit-state model checker of SAL 1 with high-performance symbolic and bounded model checkers, and with novel infinite bounded and...
163
click to vote
CIARP
2004
Springer
15 years 11 months ago
2004
Springer
The interpretation by a human of a scene in video material is heavily influenced by the context of the scene. As a result, researchers have recently made more use of context in th...
164
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan) model. This draws from the classic BDI model and proposes a hierarchical agent architecture wi...
154
click to vote
ESORICS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Enterprise privacy enforcement allows enterprises to internally enforce a privacy policy that the enterprise has decided to comply to. To facilitate the compliance with d...