301 search results - page 36 / 61 » Process Modelling to Support Dependability Arguments |
118
click to vote
APLAS
2010
ACM
15 years 19 hour ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
113
click to vote
WOSP
2005
ACM
15 years 5 months ago
2005
ACM
Evaluation of non-functional properties of a design (such as performance, dependability, security, etc.) can be enabled by design annotations specific to the property to be evalua...
133
click to vote
CASCON
1996
15 years 1 months ago
1996
Organizations have become increasingly dependent on computing systems to achieve their business goals. The performance of these systems in terms of response times and cost has a m...
107
click to vote
FM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
BMCBI
2008
14 years 12 months ago
2008
Background: Metabolic networks present a complex interconnected structure, whose understanding is in general a non-trivial task. Several formal approaches have been developed to s...