7715 search results - page 439 / 1543 » Visual Rules Modeling |
180
click to vote
SAFECOMP
2007
Springer
16 years 1 months ago
2007
Springer
In existing security model-checkers the intruder’s behavior is defined as a message deducibility rule base governing use of eavesdropped information, with the aim to find out a m...
183
click to vote
ITNG
2010
IEEE
16 years 5 hour ago
2010
IEEE
—In reservoir engineering domain experts deal with many tasks and operations, ranging from reservoir simulation to well maintenance scheduling, with the goal of maximizing oil pr...
195
click to vote
TOOLS
2000
IEEE
15 years 11 months ago
2000
IEEE
UML is widely used today for modelling complex systems. However, the tools support capabilities for UML is limited, partially due to its lack of precise semantics. There are some ...
158
click to vote
GG
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Adaptive star grammars generalize well-known graph grammar formalisms based on hyperedge and node replacement while retaining, e.g., parseability and the commutativity an...
171
click to vote
GG
2008
Springer
15 years 8 months ago
2008
Springer
We present a new, high-level approach for the specification of model-to-model transformations based on declarative patterns. These are (atomic or composite) constraints on triple ...