4794 search results - page 159 / 959 » Trust-Based Mechanism Design |
116
Voted
ENTCS
2006
15 years 4 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....
128
click to vote
ICCD
2006
IEEE
16 years 26 days 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...
120
click to vote
TPHOL
2005
IEEE
15 years 9 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...
125
click to vote
SAC
2005
ACM
15 years 9 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...
111
click to vote
AOSE
2005
Springer
15 years 9 months ago
2005
Springer
Interactions between agents are traditionally specified as interaction protocols using notations such as Petri nets, AUML, or finite state machines. These protocols are a poor ...