8874 search results - page 128 / 1775 » A New Implementation of Automath |
120
click to vote
SIGCOMM
2009
ACM
15 years 10 months ago
2009
ACM
New protocols for the data link and network layer are being proposed to address limitations of current protocols in terms of scalability, security, and manageability. High-speed r...
132
Voted
APN
2005
Springer
15 years 9 months ago
2005
Springer
Under the umbrella of buzzwords such as “Business Activity Monitoring” (BAM) and “Business Process Intelligence” (BPI) both academic (e.g., EMiT, Little Thumb, InWoLvE, Pro...
136
click to vote
DAC
2005
ACM
16 years 4 months ago
2005
ACM
In this work, we propose a new paradigm called power emulation, which exploits hardware acceleration to drastically speedup power estimation. Power emulation is based on the obser...
135
click to vote
OSDI
2008
ACM
16 years 4 months ago
2008
ACM
This paper introduces a new consistency metric, Network Imprecision (NI), to address a central challenge in largescale monitoring systems: safeguarding correctness despite node an...
149
click to vote
CCS
2009
ACM
15 years 10 months ago
2009
ACM
Various low-latency anonymous communication systems such as Tor and Anoymizer have been designed to provide anonymity service for users. In order to hide the communication of user...