1636 search results - page 157 / 328 » Reasoning About Quantum Systems |
164
click to vote
ICSM
1996
IEEE
15 years 10 months ago
1996
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
156
click to vote
LISA
2008
15 years 8 months ago
2008
The art of performance tuning is, alas, still an art; there are few tools to help predict the effects of changes that are motivated by performance needs. In this work, we present ...
155
click to vote
ENTCS
2007
15 years 6 months ago
2007
Reasoning about graph and model transformation systems is an important means to underpin model-driven software engineering, such as Model-Driven Architecture (MDA) and Model Integ...
169
click to vote
ENTCS
2002
15 years 6 months ago
2002
The need to model systems and their different aspects leads to research and development of models which support all views of a system. The growing complexity of the software impos...
150
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
On the fly synthesis of mediators is a revolutionary approach to the seamless networking of today’s and future digital systems that increasingly need be connected. The resulting...