1120 search results - page 88 / 224 » Making computer science minority-friendly |
160
click to vote
TCOS
2010
14 years 10 months ago
2010
Abstract. In [24] Raddum and Semaev propose a technique to solve systems of polynomial equations over F2 as occurring in algebraic attacks on block ciphers. This approach is known ...
144
click to vote
CAD
2011
Springer
14 years 7 months ago
2011
Springer
The behavior of Catmull-Rom curves heavily depends on the choice of parameter values at the control points. We analyze a class of parameterizations ranging from uniform to chordal...
155
Voted
SOFSEM
2012
Springer
13 years 11 months ago
2012
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
150
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
For successful coordination and cooperation in a multiagent system, participants need to establish a sufficiently accurate awareness of the current situation. Awareness is underst...
130
click to vote
SIGCOMM
2004
ACM
15 years 9 months ago
2004
ACM
Currently the Internet has only one level of name resolution, DNS, which converts user-level domain names into IP addresses. In this paper we borrow liberally from the literature ...