5639 search results - page 261 / 1128 » Timed Abstract Non-interference |
121
click to vote
BPM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We propose a new technique to analyze the control-flow, i.e., the workflow graph of a business process model, which we call symbolic execution. We consider acyclic workfl...
147
click to vote
COCOA
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The search tree size of the spatial Branch-and-Bound algorithm for Mixed-Integer Nonlinear Programming depends on many factors, one of which is the width of the variable ...
137
click to vote
GLOBECOM
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Cognitive radio networks require fast and reliable spectrum sensing to achieve high network utilization by secondary users. Current optimization approaches to spectrum se...
179
Voted
SIAMCOMP
2011
14 years 10 months ago
2011
Abstract. In the 2nd Annual FOCS (1961), Chao-Kong Chow proved that every Boolean threshold function is uniquely determined by its degree-0 and degree-1 Fourier coefficients. These...
161
Voted
TSP
2010
14 years 10 months ago
2010
Abstract--Sensor localization using channel energy measurements of distributed sensors has been studied in various scenarios. However, it is usually assumed that the target does no...