6960 search results - page 429 / 1392 » Continuity Analysis of Programs |
182
click to vote
CMSB
2007
Springer
15 years 11 months ago
2007
Springer
We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms. Each per...
153
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: Accurately covering the conformational space of amino acid side chains is essential for important applications such as protein design, docking and high resolution stru...
125
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
Confidentiality is maybe the most popular security property to be formally or informally verified. Noninterference is a baseline security policy to formalize confidentiality of sec...
175
click to vote
SP
2009
IEEE
15 years 11 months ago
2009
IEEE
Malware authors have recently begun using emulation technology to obfuscate their code. They convert native malware binaries into bytecode programs written in a randomly generated...
139
Voted
VMCAI
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...