1026 search results - page 130 / 206 » A Methodology for Equational Reasoning |
SP
1997
IEEE
14 years 1 months ago
1997
IEEE
This paper discusses the development of a methodology for reasoning about properties of security policies. We view a security policy as a special case of regulation which specifi...
ICCAD
1996
IEEE
14 years 1 months ago
1996
IEEE
In a constraint-drivenlayout synthesisenvironment,parasitic constraints are generated and implemented in each phase of the design process to meet a given set of performance specif...
ICCAD
1994
IEEE
14 years 1 months ago
1994
IEEE
Abstract - Today's digital design systems are running out of steam, when it comes to meeting the challenges presented by simultaneous switching, power consumption and reliabil...
ESA
2007
Springer
14 years 28 days ago
2007
Springer
Abstract. In the present work, we are interested in the practical behavior of a new fptas to solve the approximation version of the 0-1 multiobjective knapsack problem. Nevertheles...
ICB
2007
Springer
14 years 28 days ago
2007
Springer
Performance of biometric systems is dependent on quality of acquired biometric samples. Poor sample quality is a main reason for matching errors in biometric systems and may be the...