4850 search results - page 950 / 970 » Proof and Computation in Geometry |
119
Voted
ICCAD
2007
IEEE
15 years 9 months ago
2007
IEEE
Functional dependency is concerned with rewriting a Boolean function f as a function h over a set of base functions {g1, …, gn}, i.e. f = h(g1, …, gn). It plays an important r...
93
Voted
CCS
2009
ACM
15 years 7 months ago
2009
ACM
As storage-outsourcing services and resource-sharing networks have become popular, the problem of efficiently proving the integrity of data stored at untrusted servers has receiv...
107
click to vote
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
102
click to vote
INFOCOM
2009
IEEE
15 years 7 months ago
2009
IEEE
: Given a logical topology and a physical topology , the survivable logical topology design problem in an IP-overWDM optical network is to map the logical links into lightpaths in ...
111
Voted
COCO
2009
Springer
15 years 7 months ago
2009
Springer
—The Gap-Hamming-Distance problem arose in the context of proving space lower bounds for a number of key problems in the data stream model. In this problem, Alice and Bob have to...