891 search results - page 66 / 179 » Towards Reasoning Pragmatics |
168
click to vote
EWSA
2005
Springer
16 years 10 days ago
2005
Springer
Even modern component architectures do not provide for easily manageable context-sensitive adaptability, a key requirement for ambient intelligence. The reason is that components a...
173
click to vote
LPAR
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
176
click to vote
OTM
2005
Springer
16 years 9 days ago
2005
Springer
Courseware increasingly consists of generic information and communication tools. These offer a plethora of functionalities, but their usefulness to a particular learning community ...
158
click to vote
CHES
2004
Springer
16 years 6 days ago
2004
Springer
Cryptographic algorithms implemented on smart-cards must be protected against side-channel attacks. Some encryption schemes and hash functions like IDEA, RC6, MD5, SHA-1 alternate ...
166
click to vote
ERCIMDL
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. A policy is a statement that an action is permitted or forbidden if certain conditions hold. We introduce a language for reasoning about policies called Rosetta. What mak...