950 search results - page 31 / 190 » Tool Support for Model Checking of Web Application Designs |
WWW
2005
ACM
14 years 8 months ago
2005
ACM
In this paper, we propose a web browsing support system, called WPM, which provides marking and anchoring functions on ordinary web browsers. WPM users can mark words and phrases ...
FMICS
2008
Springer
13 years 9 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
VRML
2003
ACM
14 years 28 days ago
2003
ACM
One of the major challenges in Computer Graphics concerns the 3D representation and physically-based simulation of garments. In our research, we are working closely with the texti...
QEST
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract—We present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this work is to facilitate the identification o...
SAC
2008
ACM
13 years 6 months ago
2008
ACM
Detecting errors in an early phase of software development can help to reduce the cost of software systems. Many research attempts presented a fixed set of rules to help finding e...