1058 search results - page 148 / 212 » Fault-Tolerant Resource Reasoning |
153
click to vote
IWANN
2009
Springer
15 years 12 months ago
2009
Springer
Biomedical literature is an important source of information for chemical compounds. However, different representations and nomenclatures for chemical entities exist, which makes th...
150
Voted
IWOMP
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. OpenMP has evolved recently towards expressing unstructured parallelism, targeting the parallelization of a broader range of applications in the current multicore era. Ho...
146
click to vote
POLICY
2009
Springer
15 years 12 months ago
2009
Springer
Abstract—An administrative role-based access control (ARBAC) model specifies administrative policies over a role-based access control (RBAC) system, where an administrative perm...
138
click to vote
PPDP
2009
Springer
15 years 12 months ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...
138
click to vote
CDC
2008
IEEE
15 years 12 months ago
2008
IEEE
— Leveraging research by psychologists on human decision-making, we present a human-robot decision-making problem associated with a complex task and study the corresponding joint...