5434 search results - page 343 / 1087 » Tool support for MOLA |
263
click to vote
FASE
2004
Springer
15 years 10 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
181
click to vote
ACL
1998
15 years 8 months ago
1998
This paper presents a practical foreign language writing support tool which makes it much easier to utilize dictionary and example sentence resources. Like a Kana-Kanji conversion...
155
click to vote
CE
2007
15 years 6 months ago
2007
Web Course Tools (WebCT) have enhanced the ability and motivation of institutes of higher education to support e-learning. In this study, we extended the Technology Acceptance Mod...
144
click to vote
DATASCIENCE
2002
15 years 6 months ago
2002
A recurring theme during the CODATA 2000 conference (Lake Maggiore, Italy, 15 - 19 October 2000) was the increasing convergence in data-rich branches of science between the storag...
176
click to vote
CSUR
1999
15 years 6 months ago
1999
: Researchers in the hypermedia field often lament that the World Wide Web does not support many of hypermedia's rich structuring, navigation and annotation features. What wou...