503 search results - page 82 / 101 » Data Flow Analysis for CCS |
143
click to vote
DBSEC
2008
15 years 6 months ago
2008
Abstract. Many security problems only become apparent after software is deployed, and in many cases a failure has occurred prior to the awareness of the problem. Although many woul...
116
click to vote
COMPSAC
2005
IEEE
15 years 11 months ago
2005
IEEE
Parallel changes are a basic fact of modern software development. Where previously we looked at prima facie interference, here we investigate a less direct form that we call seman...
142
click to vote
NCA
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper, fundamental conditions which bound the network processing unit (NPU) worst-case performance are established. In particular, these conditions formalize and integrate...
166
Voted
DSVIS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The ConcurTaskTrees (CTT) is one of the most widely used notations for task modeling, specifically tailored for user interface model-based design. The integration of CTT ...
123
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper, we present a method to estimate the number of reconfiguration steps that a time-constrained algorithm can accommodate. This analysis demonstrates how one would attac...