378 search results - page 61 / 76 » Formalizing Spider Diagrams |
182
click to vote
AMAI
2007
Springer
15 years 4 months ago
2007
Springer
Relational datasets, i.e., datasets in which individuals are described both by their own features and by their relations to other individuals, arise from various sources such as d...
118
click to vote
VLSID
2006
IEEE
16 years 5 months ago
2006
IEEE
Many formal verification tools today are based on Boolean proof techniques. The two most powerful approaches in this context are Binary Decision Diagrams (BDDs) and methods based ...
129
click to vote
SAS
2007
Springer
15 years 10 months ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
142
click to vote
EDOC
2006
IEEE
15 years 10 months ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
169
Voted
MODELS
2009
Springer
15 years 9 months ago
2009
Springer
Triple graph grammars (TGGs) are a formal and intuitive concept for the specification of model transformations. Their main advantage is an automatic derivation of operational rule...