6047 search results - page 723 / 1210 » Modeling with Extend |
204
click to vote
ICWS
2008
IEEE
15 years 8 months ago
2008
IEEE
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
178
click to vote
SIROCCO
2007
15 years 8 months ago
2007
Recently, quite a few papers studied methods for representing network properties by assigning informative labels to the vertices of a network. Consulting the labels given to any t...
195
click to vote
BXML
2004
15 years 8 months ago
2004
: The Extensible Markup Language (XML) is based on the concept of schema languages, which are used for validation of XML documents. In most cases, the metamodeling view of XML-base...
202
click to vote
FORTE
2004
15 years 8 months ago
2004
Abstract. Monitoring large distributed concurrent systems is a challenging task. In this paper we formulate (model-based) diagnosis by means of hidden state history reconstruction,...
213
click to vote
IASTEDSE
2004
15 years 8 months ago
2004
The Unified Modeling Language (UML) statechart diagram is used for modeling the dynamic aspects of systems. The UML statechart diagrams include many concepts that are not present ...