14518 search results - page 2490 / 2904 » Two Problems for Sophistication |
200
click to vote
ICNP
2002
IEEE
16 years 19 days ago
2002
IEEE
The emerging Multi-Protocol Label Switching (MPLS) networks enable network service providers to route bandwidth guaranteed paths between customer sites [3, 2, 8, 5]. This basic La...
183
click to vote
ICPPW
2002
IEEE
16 years 19 days ago
2002
IEEE
In this paper, we use the tensor product notation as the framework of a programming methodology for designing block recursive algorithms on various computer networks. In our previ...
184
click to vote
LICS
2002
IEEE
16 years 18 days ago
2002
IEEE
The automated construction of mathematical proof is a basic activity in computing. Since the dawn of the field of automated reasoning, there have been two divergent schools of tho...
187
click to vote
RIDE
2002
IEEE
16 years 18 days ago
2002
IEEE
An important aspect of Business to Business ECommerce is the agile Virtual Enterprise (VE). VEs are established when existing enterprises dynamically form temporary alliances, joi...
181
click to vote
STOC
2010
ACM
16 years 16 days ago
2010
ACM
In STOC’05, von Ahn, Hopper and Langford introduced the notion of covert computation. In covert computation, a party runs a secure computation protocol over a covert (or stegano...