8413 search results - page 1679 / 1683 » Ordering Problem Subgoals |
180
click to vote
DIMVA
2011
14 years 1 months ago
2011
Social networks are some of the largest and fastest growing online services today. Facebook, for example, has been ranked as the second most visited site on the Internet, and has b...
FAST
2011
14 years 1 months ago
2011
Benchmarking file and storage systems on large filesystem images is important, but difficult and often infeasible. Typically, running benchmarks on such large disk setups is a ...
JSS
2011
14 years 15 days ago
2011
: A web service may evolve autonomously, making peer web services in the same service composition uncertain as to whether the evolved behaviors are compatible with its original col...
112
click to vote
NETWORKS
2011
14 years 14 days ago
2011
A graph is terminal ∆ − Y -reducible if, it can be reduced to a distinguished set of terminal vertices by a sequence of series-parallel reductions and ∆−Y -transformations...
110
click to vote
PLDI
2011
ACM
14 years 14 days ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...