5434 search results - page 130 / 1087 » Tool support for MOLA |
174
click to vote
IJWET
2008
15 years 4 months ago
2008
: In this paper, we present an environment for authoring pervasive multimodal user interfaces. It is composed of a set of XML-based languages, transformations among such languages,...
162
click to vote
SCAM
2007
IEEE
16 years 12 days ago
2007
IEEE
SUDS is a powerful infrastructure for creating dynamic bug detection tools. It contains phases for both static analysis and dynamic instrumentation allowing users to create tools ...
154
Voted
VL
2007
IEEE
16 years 12 days ago
2007
IEEE
Web macros automate the interactions of end users with web sites and related information systems. Though web macro recorders and players have grown in sophistication over the past...
157
click to vote
CHINZ
2006
ACM
16 years 3 days ago
2006
ACM
Ink annotation is a common method for recording feedback on a paper document. However, reviewing code on paper is difficult due to its non-linear nature. This project extends exis...
147
Voted
TACAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...