950 search results - page 183 / 190 » Tool Support for Model Checking of Web Application Designs |
122
click to vote
SIGGRAPH
1991
ACM
15 years 6 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...
127
click to vote
ASSISTIVE
1998
Springer
15 years 7 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 ...
118
click to vote
WETICE
1998
IEEE
15 years 7 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...
123
Voted
SIMUTOOLS
2008
15 years 4 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...
157
click to vote
AAMAS
2004
Springer
15 years 3 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...