1912 search results - page 352 / 383 » On the evaluation of argumentation formalisms |
ESWS
2009
Springer
15 years 6 months ago
2009
Springer
This proposal explores the promotion of existing relational databases to Semantic Web Endpoints. It presents the benefits of ontologybased read and write access to existing relati...
IFIP
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We present an analysis that determines when it is possible to multiplex a pair of cryptographic protocols. We present a transformation that improves the coverage of this ...
OOPSLA
2009
Springer
15 years 6 months ago
2009
Springer
Software correctness has bedeviled the field of computer science since its inception. Software complexity has increased far more quickly than our ability to control it, reaching ...
103
click to vote
TABLEAUX
2009
Springer
15 years 6 months ago
2009
Springer
Memory logics are modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent memory. The logical language is then...
135
click to vote
FDG
2009
ACM
15 years 6 months ago
2009
ACM
In recent years the popularity of music and rhythm-based games has experienced tremendous growth. However almost all of these games require custom hardware to be used as input dev...