6201 search results - page 1112 / 1241 » Implementation of Axiomatic Language |
150
Voted
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
138
click to vote
UIST
2010
ACM
15 years 2 months ago
2010
ACM
This paper reports on the design and evaluation of UIMarks, a system that lets users specify on-screen targets and associated actions by means of a graphical marking language. UIM...
176
Voted
ACL
2009
15 years 2 months ago
2009
We present a graph-based semi-supervised learning for the question-answering (QA) task for ranking candidate sentences. Using textual entailment analysis, we obtain entailment sco...
139
Voted
ASWEC
2009
IEEE
15 years 2 months ago
2009
IEEE
Complex data mapping tasks often arise in software engineering, particularly in code generation and model transformation. We describe Marama Torua, a tool supporting high-level sp...
170
Voted
ERSHOV
2009
Springer
15 years 2 months ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...