3889 search results - page 593 / 778 » The Use of Program Dependence Graphs in Software Engineering |
139
click to vote
EUROMICRO
2009
IEEE
15 years 8 months ago
2009
IEEE
The network protocols we use today have been introduced decades ago. Since then the whole Internet came to existence and with it a single protocol stack: TCP/IP. What was a good s...
133
click to vote
FSTTCS
2000
Springer
15 years 8 months ago
2000
Springer
In this paper we investigate some properties and algorithms related to a text sparsification technique based on the identification of local maxima in the given string. As the numb...
149
click to vote
SIGSOFT
2008
ACM
15 years 4 months ago
2008
ACM
If an organization depends on the service quality provided by another organization it often enters into a bilateral service level agreement (SLA), which mitigates outsourcing risk...
115
click to vote
ICFEM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Verifying that a parameterized system satisfies certain desired properties amounts to verifying an infinite family of the system instances. This problem is undecidable ...
169
click to vote
CISIS
2010
IEEE
15 years 2 months ago
2010
IEEE
Regulatory cascades consisting of stress-induced gene modules and their transcriptional regulators were recently identified and quantitatively modeled using Artificial Neural Netwo...