390 search results - page 34 / 78 » Using Graph Transformations and Graph Abstractions for Softw... |
139
Voted
AGTIVE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Business process models describe workflows by a set of actions together with their ordering. When implementing business processes within a service-oriented architecture,...
150
click to vote
TIP
2011
14 years 9 months ago
2011
Abstract—The purpose of this study is to investigate multiregion graph cut image partitioning via kernel mapping of the image data. The image data is transformed implicitly by a ...
109
click to vote
CC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. To reason about programs, dynamic optimizers and analysis tools use sampling to collect a dynamic call graph (DCG). However, sampling has not achieved high accuracy with ...
128
click to vote
TCAD
2002
15 years 1 months ago
2002
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuits...
120
Voted
FASE
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The complexity of large system models in software engineering nowadays is mastered by using different views. View-based modeling aims at creating small, partial models, e...