6432 search results - page 232 / 1287 » Classic Mechanism Design |
127
click to vote
HICSS
1998
IEEE
15 years 10 months ago
1998
IEEE
Secure system design, veri cation and validation is often a daunting task, involving the merger of various protection mechanisms in conjunction with system security policy and con...
137
click to vote
ENTCS
2006
15 years 5 months ago
2006
Back-pressure is a logical mechanism to control the flow of information on a communication channel of a latency-insensitive system (LIS) while guaranteeing that no packet is lost....
147
click to vote
ICCD
2006
IEEE
16 years 2 months ago
2006
IEEE
— Microprocessors can have design errors that escape the test and validation process. The cost to rectify these errors after shipping the processors can be very expensive as it m...
141
click to vote
TPHOL
2005
IEEE
15 years 11 months ago
2005
IEEE
The quotient operation is a standard feature of set theory, where a set is partitioned into subsets by an equivalence relation. We reinterpret this idea for higher order logic, whe...
152
click to vote
SAC
2005
ACM
15 years 11 months ago
2005
ACM
In this paper, we have briefly explored the aspect-oriented approach as a tool for supporting the software evolution. The aim of this analysis is to highlight the potentiality an...