1898 search results - page 275 / 380 » About the art in this issue |
CSL
2008
Springer
13 years 11 months ago
2008
Springer
We investigate decidability, complexity and expressive power issues for (first-order) separation logic with one record field (herein called SL) and its fragments. SL can specify pr...
ECAI
2008
Springer
13 years 11 months ago
2008
Springer
This paper reports on the design of a novel two-stage mechanism, based on strictly proper scoring rules, that motivates selfish rational agents to make a costly probabilistic estim...
EDCC
2008
Springer
13 years 11 months ago
2008
Springer
This work addresses the problem of software fault diagnosis in complex safety critical software systems. The transient manifestations of software faults represent a challenging is...
ELPUB
2008
ACM
13 years 11 months ago
2008
ACM
This paper will describe the informal collaborative approach taken by a group of donor funders and researchers in southern and eastern Africa aimed at consolidating the results an...
ESORICS
2008
Springer
13 years 11 months ago
2008
Springer
The rapid expansion of Internet based services has created opportunities for ICT firms to collect and use, in an unauthorized way, information about individuals (e.g. customers, pa...