1246 search results - page 189 / 250 » Recursive Timed Automata |
128
click to vote
ATVA
2010
Springer
15 years 2 months ago
2010
Springer
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...
122
click to vote
CACM
2010
15 years 2 months ago
2010
Static program analysis techniques cannot know certain values, such as the value of user input or network state, at analysis time. While such unknown values need to be treated as ...
109
click to vote
CEE
2010
15 years 2 months ago
2010
In this paper, we present a new algorithm for tracking the generalized signal subspace recursively. It is based on an interpretation of the generalized signal subspace as the solu...
103
click to vote
CLASSIFICATION
2008
15 years 2 months ago
2008
: In agglomerative hierarchical clustering, pair-group methods suffer from a problem of non-uniqueness when two or more distances between different clusters coincide during the ama...
117
click to vote
IANDC
2006
15 years 2 months ago
2006
Dynamic Programming solves combinatorial optimization problems by recursive decomposition and tabulation of intermediate results. The first step in the design of a dynamic program...