6054 search results - page 1081 / 1211 » Implementation of Andorra-based Languages |
161
Voted
SIES
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which...
114
Voted
SIGSOFT
2010
ACM
14 years 11 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...
99
Voted
UIST
2010
ACM
14 years 11 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...
130
click to vote
ACL
2009
14 years 11 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...
106
click to vote
ASWEC
2009
IEEE
14 years 11 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...