1664 search results - page 113 / 333 » Towards Partial Reasoning |
200
click to vote
ESOP
2005
Springer
15 years 10 months ago
2005
Springer
JavaScript is a popular language for client-side web scripting. It has a dubious reputation among programmers for two reasons. First, many JavaScript programs are written against a...
139
click to vote
EWSA
2005
Springer
15 years 10 months 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...
142
click to vote
LPAR
2005
Springer
15 years 10 months 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 ...
150
click to vote
OTM
2005
Springer
15 years 10 months 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 ...
137
click to vote
CHES
2004
Springer
15 years 10 months 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 ...