13734 search results - page 2245 / 2747 » Abstractions of data types |
202
Voted
CP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Interval-based methods can approximate all the real solutions of a system of equations and inequalities. The Box interval constraint propagation algorithm enforces Box co...
212
Voted
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—With rising concerns on user privacy over the Internet, anonymous communication systems that hide the identity of a participant from its partner or third parties are hig...
168
click to vote
INFORMATICALT
2010
15 years 5 months ago
2010
Abstract. As a means of supporting quality of service guarantees, aggregate multiplexing has attracted a lot of attention in the networking community, since it requires less comple...
187
Voted
ISSRE
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—As smart phones grow in popularity, manufacturers are in a race to pack an increasingly rich set of features into these tiny devices. This brings additional complexity i...
208
click to vote
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Polarized logic is the logic of values and continuations, and their interaction through continuation-passing style. The main limitations of this logic are the limitation...