1894 search results - page 256 / 379 » A TLA Proof System |
113
click to vote
PERCOM
2009
ACM
15 years 11 months ago
2009
ACM
This paper outlines a series of experiments looking at the annotation and subsequent analysis of skills-based learning and teaching in the domain of Nursing. The experiments used ...
122
click to vote
EUROSEC
2009
ACM
15 years 11 months ago
2009
ACM
In this paper a new approach to API remoting for GPU virtualisation is described which aims to reduce the amount of trusted code involved in 3D rendering for guest VMs. To achieve...
149
click to vote
CALCO
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Coalgebra automata, introduced by the second author, generalize the well-known automata that operate on infinite words/streams, trees, graphs or transition systems. This...
131
click to vote
MKM
2009
Springer
15 years 10 months ago
2009
Springer
Converting mathematical documents from a human-friendly natural language to a form that can be readily processed by computers is often a tedious, manual task. Translating between v...
140
click to vote
TABLEAUX
2009
Springer
15 years 10 months ago
2009
Springer
We develop a general criterion for cut elimination in sequent calculi for propositional modal logics, which rests on absorption of cut, contraction, weakening and inversion by the ...