2687 search results - page 366 / 538 » Formal Analysis of PKCS |
149
click to vote
PAAMS
2010
Springer
15 years 11 months ago
2010
Springer
In aiming for behavioral fidelity, artificial intelligence cannot and no longer ignores the formalization of human affect. Affect modeling plays a vital role in faithfully simulati...
157
click to vote
AOSE
2001
Springer
15 years 11 months ago
2001
Springer
Two key issues in building multi-agent systems concern their scalability and engineering open systems. We offer solutions to these potential problems by introducing a lifecycle fo...
163
click to vote
CONCUR
2001
Springer
15 years 11 months ago
2001
Springer
The paper gives an assessment of security for Mobile Ambients, with specific focus on mandatory access control (MAC) policies in multilevel security systems. The first part of th...
189
click to vote
ACSAC
2000
IEEE
15 years 11 months ago
2000
IEEE
Existing software infrastructures and middleware provide uniform security services across heterogeneous information networks. However, few, if any, tools exist that support access...
150
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
The ability to quickly explore and compare multiple scenarios is an important component of exploratory data analysis. Yet today’s interfaces cannot represent alternative explora...