658 search results - page 99 / 132 » A Logic for Graphs with QoS |
184
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
Functional reactive programming (FRP) is an elegant and successful approach to programming reactive systems declaratively. The high levels of abstraction and expressivity that mak...
255
click to vote
ICDE
2007
IEEE
16 years 7 months ago
2007
IEEE
In many applications it is important to find a meaningful relationship between the schemas of a source and target database. This relationship is expressed in terms of declarative ...
139
click to vote
FOCS
2007
IEEE
16 years 14 days ago
2007
IEEE
We show for several planar and geometric problems that the best known approximation schemes are essentially optimal with respect to the dependence on ǫ. For example, we show that...
177
click to vote
COCOA
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. Many combinatorial optimization problems can be formulated as 0/1 integer programs (0/1 IPs). The investigation of the structure of these problems raises the following ta...
154
click to vote
TCC
2007
Springer
16 years 7 days ago
2007
Springer
We prove a computational soundness theorem for symmetric-key encryption protocols that can be used to analyze security against adaptively corrupting adversaries (that is, adversar...