Sciweavers

3 search results - page 1 / 1
» Web Services for Accessing Explicit State Space Verification...
Sort
View
ERCIM
2008
41views more  ERCIM 2008»
13 years 6 months ago
Web Services for Accessing Explicit State Space Verification Tools
María-del-Mar Gallardo, Christophe Joubert,...
ICWE
2005
Springer
13 years 11 months ago
The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae
As the Web becomes a platform for implementing complex B2C and B2B applications, there is a need to extend Web conceptual modeling to process-centric applications. In this context,...
Marco Brambilla, Alin Deutsch, Liying Sui, Victor ...
OTM
2005
Springer
13 years 11 months ago
Reasoning on Dynamically Built Reasoning Space with Ontology Modules
Several applications require reasoning over autonomously developed ontologies. Initially conceived to explicit the semantics of a certain domain, these ontologies become a powerfu...
Fabio Porto