8874 search results - page 389 / 1775 » A New Implementation of Automath |
170
Voted
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
Accurate, reproducible and comparable measurement of collective operations is a complicated task. Although Different measurement schemes are implemented in wellknown benchmarks, m...
157
click to vote
DSN
2007
IEEE
16 years 1 months ago
2007
IEEE
A quorum system is a collection of sets (quorums) of servers, where any two quorums intersect. Quorumbased protocols underly modern edge-computing architectures and throughput-sca...
153
click to vote
GLOBECOM
2007
IEEE
16 years 1 months ago
2007
IEEE
— OFDMA-based IEEE802.16 implements Adaptive Modulation and Coding (AMC) which results in a different bit rate for each user depending on its position in the cell as well as the ...
174
Voted
IAT
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper describes the architecture of the fourth version of the Evolutionary Virtual Agent (EVA). This new light-weight java-based implementation is based on a dynamical rule-b...
179
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
—Usage control goes beyond traditional access control, addressing its limitations related to attribute mutability and continuous usage permission validation. The recently propose...