1894 search results - page 134 / 379 » Towards Mobile Reasoning |
156
click to vote
IEEEARES
2006
IEEE
15 years 12 months ago
2006
IEEE
It is now commonly accepted that security and dependability largely represent two different aspects of an overall meta-concept that reflects the trust that we put in a computer s...
111
click to vote
EXPDB
2006
ACM
15 years 12 months ago
2006
ACM
A substantial part of the database research field focusses on optimizing XQuery evaluation. However, optimization techniques are rarely validated by means of cross platform bench...
214
click to vote
ESOP
2005
Springer
15 years 11 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...
151
click to vote
EWSA
2005
Springer
15 years 11 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...
154
click to vote
LPAR
2005
Springer
15 years 11 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 ...