8874 search results - page 108 / 1775 » A New Implementation of Automath |
133
Voted
RAM
2008
IEEE
15 years 10 months 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...
206
click to vote
SMC
2007
IEEE
15 years 10 months 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...
124
Voted
ICPP
2005
IEEE
15 years 9 months 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...
141
Voted
RTAS
2005
IEEE
15 years 9 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, ...
143
Voted
DSOM
2005
Springer
15 years 9 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...