950 search results - page 122 / 190 » Tool Support for Model Checking of Web Application Designs |
CSFW
1995
IEEE
13 years 11 months ago
1995
IEEE
Powerful applications can be implemented using command scripts. A command script is a program written by one user, called a writer, and made available to another user, called the ...
GECCO
2007
Springer
14 years 1 months ago
2007
Springer
Engineering design increasingly uses computer simulation models coupled with optimization algorithms to find the best design that meets the customer constraints within a time con...
ICCSA
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. This paper describes how function-based shape modeling can be expanded to web visualization, as well as how web-based visualization can be greatly improved by using the f...
GIS
2007
ACM
14 years 8 months ago
2007
ACM
This paper presents an approach to visualize and analyze 3D building information models within virtual 3D city models. Building information models (BIMs) formalize and represent d...
DASFAA
1997
IEEE
14 years 5 hour ago
1997
IEEE
The success of the World Wide Web is boosting the development of multimedia database systems and their integration into the internet. For the documents stored and exchanged in the...