5180 search results - page 998 / 1036 » Concurrency, Time, and Constraints |
120
click to vote
COMPSAC
2002
IEEE
15 years 4 months ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
101
click to vote
DSN
2002
IEEE
15 years 4 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
101
click to vote
WECWIS
2002
IEEE
15 years 4 months ago
2002
IEEE
Despite the large amounts of runtime needed to adequately solve a combinatorial auction (CA), existing iterative CA auction protocols require winner determination during every rou...
SPAA
2010
ACM
15 years 4 months ago
2010
ACM
In this paper we study a dynamic version of capacity maximization in the physical model of wireless communication. In our model, requests for connections between pairs of points i...
STOC
2010
ACM
15 years 4 months ago
2010
ACM
We define a new interactive differentially private mechanism — the median mechanism — for answering arbitrary predicate queries that arrive online. Given fixed accuracy and...