950 search results - page 22 / 190 » Tool Support for Model Checking of Web Application Designs |
WWW
2007
ACM
14 years 8 months ago
2007
ACM
Available methodologies for developing Sematic Web applications do not fully exploit the whole potential deriving from interaction with ontological data sources. Here we introduce...
INTERACT
2003
13 years 9 months ago
2003
: The paper presents the architecture and implementation of the IRIS Design Support Environment (DSE). This environment supports designers to create inclusive Internet content and ...
WWW
2006
ACM
14 years 8 months ago
2006
ACM
There have been several authoring methods proposed in the literature that are model based, essentially following the Model Driven Design philosophy. While useful, such methods nee...
IPPS
2007
IEEE
14 years 1 months ago
2007
IEEE
Model checking, logging, debugging, and checkpointing/recovery are great tools to identify bugs in small sequential programs. The direct application of these techniques to the dom...
SAC
2010
ACM
13 years 7 months ago
2010
ACM
Service-based systems can be modeled as stand-alone services coordinated by external connectors. Reo is a channelbased coordination language with well-defined semantics that enabl...