200 search results - page 9 / 40 » The Assistment Builder: A Rapid Development Tool for ITS |
75
Voted
ECLIPSE
2004
ACM
15 years 2 months ago
2004
ACM
Automated tools for mediating incoming interruptions are necessary in order to balance the concentration required for software development with the need to collaborate and absorb ...
WSC
2004
14 years 10 months ago
2004
To assist the decision makers, we develop a new supply chain simulation software: Easy-SC, a Java-based tool that simplifies the supply chain simulation. In its current state of d...
ARTS
1999
Springer
15 years 1 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
VLDB
2005
ACM
15 years 2 months ago
2005
ACM
The Web has been rapidly “deepened” by myriad searchable databases online, where data are hidden behind query forms. Helping users query alternative “deep Web” sources in ...
PERCOM
2011
ACM
14 years 1 months ago
2011
ACM
—As smart home technologies continue to be deployed in research and real world environments, there continues to be a need for quality visualization of the smart home data. This d...