2144 search results - page 86 / 429 » Exact Flow Analysis |
149
click to vote
CJ
2010
15 years 1 months ago
2010
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
147
click to vote
WWW
2005
ACM
16 years 4 months ago
2005
ACM
We offer the first large-scale analysis of Web traffic based on network flow data. Using data collected on the Internet2 network, we constructed a weighted bipartite clientserver ...
148
click to vote
SFP
2004
15 years 5 months ago
2004
NiMo (Nets in Motion) is a visual environment aimed to support totally graphic programming in Data Flow style, with a strong functional inspiration. Solutions of growing complexit...
151
click to vote
CASSIS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...
143
click to vote
ESEC
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. In this paper we demonstrate how static concurrency analysis techniques can be used to verify application-specific properties of an architecture description. Specifically...