3931 search results - page 758 / 787 » Separation logic and abstraction |
IOR
2011
12 years 12 months ago
2011
Consider selling bundles of indivisible goods to buyers with concave utilities that are additively separable in money and goods. We propose an ascending auction for the case when ...
ISPEC
2011
Springer
12 years 11 months ago
2011
Springer
Abstract. Broadcast encryption provides a convenient method to distribute digital content to subscribers over an insecure broadcast channel. Traitor tracing is needed because some ...
MBEC
2011
12 years 11 months ago
2011
Abstract While the relationship between sensory stimulation and tasks and the size of the cortical activations is generally unknown, the visual modality offers a unique possibility...
APPROX
2011
Springer
12 years 8 months ago
2011
Springer
Abstract. We study the space complexity of randomized streaming algorithms that provide one-sided approximation guarantees; e.g., the algorithm always returns an overestimate of th...
EDOC
2011
IEEE
12 years 8 months ago
2011
IEEE
Abstract—Enterprise Architecture approaches are used to provide rigorous descriptions of the organization-wide environment, manage the alignment of deployed services to the organ...