4719 search results - page 845 / 944 » Newtonian program analysis |
120
click to vote
TDSC
2008
14 years 11 months ago
2008
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...
TITS
2008
14 years 11 months ago
2008
Abstract--With the objective of minimizing the total cost, which includes both sensor and congestion costs, the authors adopted a novel sampling theorem approach to address the pro...
86
Voted
CG
2005
Springer
14 years 11 months ago
2005
Springer
One main challenge in building interpreters for hand-drawn sketches is the task of parsing a sketch to locate the individual symbols. Many existing pen-based systems avoid this pr...
77
Voted
TSE
2008
14 years 11 months ago
2008
Neglected conditions are an important but difficult-to-find class of software defects. This paper presents a novel approach for revealing neglected conditions that integrates stati...
TSP
2008
14 years 11 months ago
2008
This paper deals with the design of coded waveforms which optimize radar performances in the presence of colored Gaussian disturbance. We focus on the class of linearly coded puls...