5434 search results - page 746 / 1087 » Tool support for MOLA |
153
Voted
SIGCSE
2004
ACM
16 years 5 days ago
2004
ACM
We present software tools that support robust input processing and comprehensive testing in Java. The software includes the JPT library that supports error-checked typed input via...
173
click to vote
HIPC
2004
Springer
16 years 4 days ago
2004
Springer
This paper summarizes the design and implementation of a parallel algorithm for state assignment of large Finite State Machines (FSMs). High performance CAD tools are necessary to...
164
click to vote
ICFEM
2004
Springer
16 years 3 days ago
2004
Springer
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and al...
143
click to vote
ICWE
2004
Springer
16 years 3 days ago
2004
Springer
In this paper we thoroughly discuss design and implementation issues for semantic search and navigation to ontology-based metrics and indicators metadata. These semantic search and...
167
click to vote
ICWE
2004
Springer
16 years 3 days ago
2004
Springer
ct Travelling upon the Web is difficult for visually impaired users since the Web pages are designed for visual interaction [6]. Visually impaired users usually use screen readers...