Sciweavers

5433 search results - page 318 / 1087
» Tool Support for Traceability-Adaptation
Sort
View
BMCBI
2006
147views more  BMCBI 2006»
15 years 6 months ago
A case study in pathway knowledgebase verification
Background: Biological databases and pathway knowledgebases are proliferating rapidly. We are developing software tools for computer-aided hypothesis design and evaluation, and we...
Stephen A. Racunas, Nigam Shah, Nina V. Fedoroff
FASE
2004
Springer
15 years 10 months ago
Specification and Analysis of Real-Time Systems Using Real-Time Maude
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...
Peter Csaba Ölveczky, José Meseguer
ACL
1998
15 years 8 months ago
A Text Input Front-end Processor as an Information Access Platform
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...
Shinichi Doi, Shin-ichiro Kamei, Kiyoshi Yamabana
CE
2007
101views more  CE 2007»
15 years 6 months ago
Empirical examination of the adoption of WebCT using TAM
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...
E. W. T. Ngai, J. K. L. Poon, Y. H. C. Chan
CSCW
1999
ACM
15 years 6 months ago
Voice Loops as Coordination Aids in Space Shuttle Mission Control
Voice loops, an auditory groupware technology, are essential coordination support tools for experienced practitioners in domains such as air traffic management, aircraft carrier o...
Emily S. Patterson, Jennifer Watts-Perotti, David ...