127 search results - page 1 / 26 » Semantic Geo-Catalog: A Scenario and Requirements |
SEMWEB
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. In this short paper we present a scenario and requirements for ontology matching posed by a geographical application, namely a semantic geocatalog, which is an integral p...
SAM
2004
13 years 10 months ago
2004
Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle compo...
FM
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA...
ESWS
2008
Springer
13 years 10 months ago
2008
Springer
We demonstrate Web Service Execution Environment (WSMX), a semantic middleware platform for runtime service discovery, mediation and execution, applied to SWS-Challenge scenarios. ...
IEEEHPCS
2010
13 years 7 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...