950 search results - page 183 / 190 » Tool Support for Model Checking of Web Application Designs |
SIGGRAPH
1991
ACM
13 years 11 months ago
1991
ACM
We present an interactive modeling and animation system that facilitates the integration of a variety of simulation and animation paradigms. This system permits the modeling of di...
ASSISTIVE
1998
Springer
13 years 12 months ago
1998
Springer
People with severe speech and motor impairments SSMI can often use augmentative communication devices to help them communicate. While these devices can provide speech synthesis or ...
WETICE
1998
IEEE
13 years 12 months ago
1998
IEEE
We have developed a middleware framework for workgroup environments that can support distributed software development and a variety of other application domains requiring document...
SIMUTOOLS
2008
13 years 9 months ago
2008
In silico (on the computer) oncology is a multi-disciplinary field that focuses on the examination and modeling of biological mechanisms related to the phenomenon of cancer. In si...
AAMAS
2004
Springer
13 years 7 months ago
2004
Springer
Multi-agent teamwork is critical in a large number of agent applications, including training, education, virtual enterprises and collective robotics. The complex interactions of ag...