950 search results - page 103 / 190 » Tool Support for Model Checking of Web Application Designs |
CGI
2000
IEEE
14 years 7 days ago
2000
IEEE
Three-dimensional maps are fundamental tools for presenting, exploring, and manipulating geo data. This paper describes multiresolution concepts for 3D maps and their texture-base...
ICASSP
2010
IEEE
13 years 8 months ago
2010
IEEE
The latest communication technologies invariably consist of modules with dynamic behavior. There exists a number of design tools for communication system design with their foundat...
ICSM
2002
IEEE
14 years 23 days ago
2002
IEEE
Modeling object-oriented applications using collaborations and roles is now well accepted. Collaboration-based or role-based designs decompose an application into tasks performed ...
VRML
2010
ACM
13 years 11 months ago
2010
ACM
In this paper, we describe a case study in usability engineering for Web3D learning systems and introduce a new step to the typical methods of the usability design. Pedagogical ap...
WECWIS
2007
IEEE
14 years 2 months ago
2007
IEEE
Business Process Execution Language (BPEL) is an XML-based language for specifying services. There have been numerous recent research and development efforts in both statically an...