1855 search results - page 203 / 371 » Composing model programs for analysis |
146
click to vote
CSFW
1999
IEEE
15 years 7 months ago
1999
IEEE
Most formal approaches to security protocol analysis are based on a set of assumptions commonly referred to as the "Dolev-Yao model." In this paper, we use a multiset re...
108
Voted
ICSM
2009
IEEE
15 years 10 months ago
2009
IEEE
Dependence analysis underpins many activities in software maintenance such as comprehension and impact analysis. As a result, dependence has been studied widely for programming la...
172
click to vote
ECRTS
2007
IEEE
15 years 9 months ago
2007
IEEE
Of late, there has been a considerable interest in models, algorithms and methodologies specifically targeted towards designing hardware and software for streaming applications. ...
127
click to vote
ISPASS
2006
IEEE
15 years 9 months ago
2006
IEEE
Fast, accurate, and effective performance analysis is essential for the design of modern processor architectures and improving application performance. Recent trends toward highly...
145
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: Modeling of metabolic networks includes tasks such as network assembly, network overview, calculation of metabolic fluxes and testing the robustness of the network. Re...