390 search results - page 39 / 78 » Using Graph Transformations and Graph Abstractions for Softw... |
130
click to vote
MSCS
2007
15 years 1 months ago
2007
Introduced at the end of the nineties, the Rewriting Calculus (ρ-calculus, for short) is a simple calculus that fully integrates term-rewriting and λ-calculus. The rewrite rules...
119
click to vote
ASE
2004
15 years 2 months ago
2004
Abstract. The use of pointers presents serious problems for software productivity tools for software understanding, restructuring, and testing. Pointers enable indirect memory acce...
106
click to vote
ICECCS
1997
IEEE
15 years 6 months ago
1997
IEEE
Software architectures can play a role in improving the testing process of complex systems. In particular, descriptions of the software architecture can be useful to drive integra...
104
click to vote
CIVR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We propose a graph based method to improve the performance of person queries in large news video collections. The method benefits from the multi-modal structure of videos...
127
click to vote
WSC
2008
15 years 4 months ago
2008
Currently, system engineering problems are solved using a wide range of domain-specific models and corresponding languages. It is unlikely that a single unified modeling language ...