5664 search results - page 768 / 1133 » Creativity support tools |
152
click to vote
ATAL
2005
Springer
16 years 6 days ago
2005
Springer
We introduce MAGENTA’s commercial multi-agent systems technology, and illustrate its practical use by describing a field-tested application in the area of logistics/scheduling....
157
click to vote
IUI
2004
ACM
16 years 5 days ago
2004
ACM
Expert critiquing systems in education can support teachers in providing high quality individualized feedback to students. These systems, however, require significant development ...
154
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...
174
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...
165
click to vote
ICFEM
2004
Springer
16 years 4 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...