1402 search results - page 272 / 281 » A Practical Agent Programming Language |
152
click to vote
ASPLOS
2008
ACM
15 years 3 months ago
2008
ACM
Commodity operating systems entrusted with securing sensitive data are remarkably large and complex, and consequently, frequently prone to compromise. To address this limitation, ...
115
click to vote
ESOP
2008
Springer
15 years 3 months ago
2008
Springer
In an optimistic approach to security, one can often simplify protocol design by relying on audit logs, which can be analyzed a posteriori. Such auditing is widely used in practice...
122
click to vote
ACL
2006
15 years 3 months ago
2006
The LOGON MT demonstrator assembles independently valuable general-purpose NLP components into a machine translation pipeline that capitalizes on output quality. The demonstrator ...
117
click to vote
ESORICS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Cryptographic protocols are useful for engineering trust in transactions. There are several languages for describing these protocols, but these tend to capture the commun...
113
click to vote
ICLP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Constraints and preferences are ubiquitous in real-life. Moreover, preferences can be of many kinds: qualitative, quantitative, conditional, positive or negative, to name...