3688 search results - page 327 / 738 » Static analysis of aspects |
158
click to vote
ACSAC
1999
IEEE
15 years 11 months ago
1999
IEEE
Coordinating security policies in information enclaves is challenging due to their heterogeneity and autonomy. Administrators must reconcile the semantic diversity of data and sec...
193
click to vote
RTCSA
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. We present an approach to static priority preemptive process scheduling for the synthesis of hard realtime distributed embedded systems where communication plays an impor...
200
click to vote
ICLP
1992
Springer
15 years 11 months ago
1992
Springer
We discuss a declarative characterization of inheritance in logic programming. Our approach is inspired both by existing literature on denotational models for inheritance and by e...
149
click to vote
VLSID
2010
IEEE
15 years 10 months ago
2010
IEEE
—We propose a compact model for small signal non quasi static analysis of long channel symmetric double gate MOSFET. The model is based on the EKV formalism and is valid in all r...
157
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
We present lookahead widening, a novel technique for using existing widening and narrowing operators to improve the precision of static analysis. This technique is both self-contai...