8874 search results - page 108 / 1775 » A New Implementation of Automath |
178
click to vote
RAM
2008
IEEE
16 years 24 days ago
2008
IEEE
Eelectronic device technology has been monopolized by binary system for many years. The circs not only makes it impossible to break through the existing technology bottleneck, but...
237
click to vote
SMC
2007
IEEE
16 years 20 days ago
2007
IEEE
— The development of networking and client/server systems over the Internet had led to many collaborative work software applications. To extend the graphic design collaborative p...
163
click to vote
ICPP
2005
IEEE
16 years 12 hour ago
2005
IEEE
In this paper, we propose a new protocol called Shared Tree Streaming (or STS in short) protocol that is designed for interactive multimedia streaming applications. STS is a decen...
182
click to vote
RTAS
2005
IEEE
15 years 12 months ago
2005
IEEE
Networking applications, such as VPN and content filtering, demand extra computing power in order to meet the throughput requirement nowadays. In addition to pure ASIC solutions, ...
174
click to vote
DSOM
2005
Springer
15 years 12 months ago
2005
Springer
We present a design for policy-based performance management of SMS Systems. The design takes as input the operator’s performance goals, which are expressed as policies that can b...