Sciweavers

3 search results - page 1 / 1
» Web Services for Accessing Explicit State Space Verification...
Sort
View
70
Voted
ERCIM
2008
41views more  ERCIM 2008»
14 years 9 months ago
Web Services for Accessing Explicit State Space Verification Tools
María-del-Mar Gallardo, Christophe Joubert,...
ICWE
2005
Springer
15 years 3 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
15 years 3 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