1099 search results - page 204 / 220 » Petri net ontology |
CONEXT
2009
ACM
14 years 13 hour ago
2009
ACM
The lack of automation associated with network operations in general and network configuration management in particular, is widely recognized as a significant contributing factor ...
GG
2008
Springer
2008
Springer
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation
13 years 12 months ago
An important requirement of model transformations is the preservation of the behavior of the original model. A model transformation is semantically correct if for each simulation r...
DATAMINE
2006
13 years 11 months ago
2006
Effective information systems require the existence of explicit process models. A completely specified process design needs to be developed in order to enact a given business proce...
ENTCS
2006
13 years 11 months ago
2006
With the growing importance of model-driven development, the ability of transforming models into well-defined semantic domains becomes a key to automated code generation or verifi...
IANDC
2006
13 years 11 months ago
2006
Abstract Bigraphs are graphs whose nodes may be nested, representing locality, independently of the edges connecting them. They may be equipped with reaction rules, forming a bigra...