950 search results - page 113 / 190 » Tool Support for Model Checking of Web Application Designs |
TOOLS
1999
IEEE
14 years 2 days ago
1999
IEEE
Scientific visualization and simulation frameworks mostly use data/event flow mechanisms for simulation specification, control, and interactivity. Even though object orientation p...
WWW
2004
ACM
14 years 8 months ago
2004
ACM
We present a Semantic Web application that we call CS AKTive Space1 . The application exploits a wide range of semantically heterogeneous and distributed content relating to Compu...
USENIX
2004
13 years 9 months ago
2004
Large web or e-commerce sites are frequently hosted on clusters. Successful open-source tools exist for clustering the front tiers of such sites (web servers and application serve...
EDOC
2003
IEEE
14 years 1 months ago
2003
IEEE
Model-driven architectures (MDA) separate the business or application logic from the underlying platform technology and represent this logic with precise semantic models. These mo...
SIES
2010
IEEE
13 years 5 months ago
2010
IEEE
The aim of this paper is to introduce LinCAN, a CAN driver system for Linux, developed at the Department of Control Engineering of the Czech Technical University in Prague, and to ...