283 search results - page 41 / 57 » Software Inspections We Can Trust |
178
click to vote
ISSTA
2010
ACM
15 years 10 months ago
2010
ACM
Dynamic loading of software components (e.g., libraries or modules) is a widely used mechanism for improved system modularity and flexibility. Correct component resolution is cri...
188
click to vote
TCBB
2011
15 years 1 months ago
2011
Stochastic models such as hidden Markov models or stochastic context free grammars can fail to return the correct, maximum likelihood solution in the case of semantic ambiguity. T...
153
click to vote
SEFM
2006
IEEE
16 years 1 days ago
2006
IEEE
An optimization can be specified as sequential compositions of predefined transformation primitives. For each primitive, we can define soundness conditions which guarantee that th...
142
click to vote
FSTTCS
2009
Springer
16 years 18 days ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
153
click to vote
ISSTA
2010
ACM
15 years 6 months ago
2010
ACM
Applications that process complex inputs often react in different ways to changes in different regions of the input. Small changes to forgiving regions induce correspondingly smal...