3068 search results - page 569 / 614 » Separation Results on the |
PODC
1999
ACM
15 years 4 months ago
1999
ACM
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...
SIGUCCS
1999
ACM
15 years 4 months ago
1999
ACM
One result of the action of Moore’s Law, the doubling of IT (Information Technology) power every 18 months, is a widening gap in the understanding of this technology between tho...
109
click to vote
TOOLS
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper reports on the utilisation of object technology in a university-level course on software development, specifically designed for distance learning, and now enrolling ove...
RAID
1999
Springer
15 years 4 months ago
1999
Springer
We approached this line of inquiry by questioning the conventional wisdom that audit logs are too large to be analyzed and must be reduced and filtered before the data can be anal...
103
click to vote
ICC
1997
IEEE
15 years 4 months ago
1997
IEEE
— We apply coset codes to adaptive modulation in fading channels. Adaptive modulation is a powerful technique to improve the energy efficiency and increase the data rate over a ...