2144 search results - page 163 / 429 » Exact Flow Analysis |
156
click to vote
METRICS
2002
IEEE
15 years 9 months ago
2002
IEEE
Design-for-testability is a very important issue in software engineering. It becomes crucial in the case of OO designs where control flows are generally not hierarchical, but are d...
133
Voted
AINA
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper introduces an approach to automatic synthesis of the specification models of routing protocol behavior from the observed flow of the network traffic. In particular, our...
130
click to vote
DNA
2004
Springer
15 years 8 months ago
2004
Springer
To design DNA nano-machines or analyze DNA molecular reactions, it is important to be able to predict the energy landscape of molecular structures and the energy barrier of a trans...
126
click to vote
CODES
2008
IEEE
15 years 6 months ago
2008
IEEE
We present a system-level technique to analyze the impact of design optimizations on system-level timing dependencies. This technique enables us to speed up the design cycle by su...
138
Voted
FMCO
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...