950 search results - page 91 / 190 » Tool Support for Model Checking of Web Application Designs |
104
click to vote
WWW
2001
ACM
16 years 3 months ago
2001
ACM
This paper presents the XML/XSL approach to the development of a web environment for the formal speci cation language Object-Z. The projection techniques and tools from Object-Z (...
109
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The Asteroseismic Modeling Portal (AMP) provides a webbased interface for astronomers to run and view simulations that derive the properties of Sun-like stars from observations of...
186
click to vote
JCDL
2011
ACM
14 years 6 months ago
2011
ACM
A pattern is a model or a template used to summarize and describe the behavior (or the trend) of a data having generally some recurrent events. Patterns have received a considerab...
133
click to vote
WSCG
2004
15 years 4 months ago
2004
We present a new interface for producing high quality web deliverable interactive 3D facial animation. We aim at providing visual artists with established 3D character animation t...
161
click to vote
EUROSYS
2008
ACM
16 years 9 days ago
2008
ACM
The continuing frequency and seriousness of security incidents underlines the importance of application security. Decentralized information flow control (DIFC), a promising tool ...