1078 search results - page 22 / 216 » Modelling and Verifying of e-Commerce Systems |
103
click to vote
ICTAC
2004
Springer
15 years 5 months ago
2004
Springer
The Semantic Web vision is being realized to reach the full potential of the Web. Semantic data modeling is the foundation of the Semantic Web. The Web Ontology Language (OWL) and ...
105
click to vote
RSP
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
100
click to vote
EPK
2006
15 years 1 months ago
2006
Abstract: Event-driven Process Chains (EPCs) are a commonly used modelling technique for design and documentation of business processes. Although EPCs have an easy-to-understand no...
TSE
2011
14 years 6 months ago
2011
Abstract— The Publish-Subscribe (P/S) communication paradigm fosters high decoupling among distributed components. This facilitates the design of dynamic applications, but also i...
CONCUR
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We consider the problem of automatically verifying realtime systems with continuously distributed random delays. We generalise probabilistic timed automata introduced in ...