950 search results - page 91 / 190 » Tool Support for Model Checking of Web Application Designs |
WWW
2001
ACM
14 years 8 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 (...
CORR
2010
Springer
13 years 8 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...
JCDL
2011
ACM
12 years 10 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...
WSCG
2004
13 years 9 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...
EUROSYS
2008
ACM
14 years 5 months 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 ...