1624 search results - page 232 / 325 » Fairness in multi-agent systems |
158
click to vote
ICCAD
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper, we propose a high-level variable selection for partial-scan approach to improve the testability of digital systems. The testability of a design is evaluated at the ...
156
click to vote
STACS
1999
Springer
15 years 11 months ago
1999
Springer
This paper presents a completeness result for a first-order interval temporal logic, called Neighbourhood Logic (NL) which has two neighbourhood modalities. NL can support the spe...
189
click to vote
AINA
2004
IEEE
15 years 10 months ago
2004
IEEE
Prior survey of RED algorithm deployment on multiqueue system with shared buffer was unfair and sensitive to congestion level by statically setting the parameters. In this paper, ...
180
click to vote
ETFA
2006
IEEE
15 years 10 months ago
2006
IEEE
- This paper presents two laser scanner based approaches to locate and pick-up pallets with the aim of automating forklift trucks. In contrast to camera based systems our approache...
180
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...