4325 search results - page 701 / 865 » Incremental computation with names |
ISCIS
2003
Springer
15 years 4 months ago
2003
Springer
Collection, storage and analysis of multiple hosts’ audit trails in a distributed manner are known as a major requirement, as well as a major challenge for enterprise-scale compu...
TAMC
2010
Springer
15 years 4 months ago
2010
Springer
We study possible formulations of algebraic propositional proof systems operating with noncommutative formulas. We observe that a simple formulation gives rise to systems at least ...
ECRTS
2002
IEEE
15 years 4 months ago
2002
IEEE
Despite having been designed to interconnect office equipment such as computers and printers, since its early days Ethernet has also been considered for use in the industrial doma...
103
click to vote
ICPPW
2002
IEEE
15 years 4 months ago
2002
IEEE
In large networks, maintaining precise global network state information is almost impossible. Many factors, such as non-negligible propagation delay, infrequent state updates due ...
155
click to vote
INFOCOM
2002
IEEE
15 years 4 months ago
2002
IEEE
IEEE 802.11 Medium Access Control(MAC) is proposed to support asynchronous and time bounded delivery of radio data packets in infrastructure and ad hoc networks. The basis of the I...