950 search results - page 122 / 190 » Tool Support for Model Checking of Web Application Designs |
144
Voted
CSFW
1995
IEEE
15 years 7 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 ...
134
click to vote
GECCO
2007
Springer
15 years 9 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...
126
Voted
ICCSA
2003
Springer
15 years 8 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...
222
click to vote
GIS
2007
ACM
16 years 4 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...
152
click to vote
DASFAA
1997
IEEE
15 years 7 months 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...