Sciweavers

1804 search results - page 24 / 361
» On set systems with a threshold property
Sort
View
ECRTS
2007
IEEE
15 years 8 months ago
On Dominating Set Allocation Policies in Real-Time Wide-Area Distributed Systems
This paper investigates resource allocation policies for achieving real-time content distribution with subsecond delay bounds on the current Internet. Resource allocation in real-...
Chengdu Huang, Tarek F. Abdelzaher, Xue Liu
AUTOMATICA
2007
61views more  AUTOMATICA 2007»
15 years 2 months ago
Simultaneous stabilization of a set of nonlinear port-controlled Hamiltonian systems
This paper investigates simultaneous stabilization of a set of nonlinear port-controlled Hamiltonian (PCH) systems and proposes a number of results on the design of simultaneous s...
Yuzhen Wang, Gang Feng, Daizhan Cheng
STOC
2009
ACM
152views Algorithms» more  STOC 2009»
15 years 8 months ago
Green's conjecture and testing linear-invariant properties
A system of linear equations in p unknowns Mx = b is said to have the removal property if every set S ⊆ {1, . . . , n} which contains o(np− ) solutions of Mx = b can be turned...
Asaf Shapira
HOTOS
1999
IEEE
15 years 6 months ago
Caching Documents with Active Properties
Caching in the Placeless Documents system poses new challenges because users can attach active properties to documents. Active properties can modify the document's content as...
Eyal de Lara, Karin Petersen, Douglas B. Terry, An...
JCS
2010
112views more  JCS 2010»
15 years 11 days ago
Inductive trace properties for computational security
Protocol authentication properties are generally trace-based, meaning that authentication holds for the protocol if authentication holds for individual traces (runs of the protoco...
Arnab Roy, Anupam Datta, Ante Derek, John C. Mitch...