Sciweavers

694 search results - page 57 / 139
» Supporting Research with Weblogs: A Study on Web-Based Resea...
Sort
View
VL
2005
IEEE
110views Visual Languages» more  VL 2005»
14 years 2 months ago
Forms of Expression for Designing Visual Languages for Animation
We present further steps in our research into visual languages for animation. Animation is a rich mode of communication that is currently accessible to few, because animation syst...
Richard C. Davis, James A. Landay
HASE
1998
IEEE
14 years 22 days ago
Formal Specification in Collaborative Design of Critical Software Tools
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
David Coppit, Kevin J. Sullivan
AAAI
1998
13 years 9 months ago
TRIPS: An Integrated Intelligent Problem-Solving Assistant
We discuss what constitutes an integrated system in AI, and why AI researchers should be interested in building and studying them. Taking integrated systems to be ones that integr...
George Ferguson, James F. Allen
SIGSOFT
2006
ACM
14 years 9 months ago
User guidance for creating precise and accessible property specifications
Property specifications concisely describe aspects of what a system is supposed to do. No matter what notation is used to describe them, however, it is difficult to represent thes...
Rachel L. Cobleigh, George S. Avrunin, Lori A. Cla...
DSS
2006
184views more  DSS 2006»
13 years 8 months ago
Building a scientific knowledge web portal: The NanoPort experience
There has been a tremendous growth in the amount of information and resources on the World Wide Web that are useful to researchers and practitioners in science domains. While the ...
Michael Chau, Zan Huang, Jialun Qin, Yilu Zhou, Hs...