1458 search results - page 263 / 292 » Extended Term Rewriting Systems |
111
click to vote
CC
2006
Springer
15 years 4 months ago
2006
Springer
We present the results of an empirical study evaluating the precision of subset-based points-to analysis with several variations of context sensitivity on Java benchmarks of signif...
163
Voted
EDO
2006
Springer
15 years 4 months ago
2006
Springer
Server applications with adaptive behaviors can adapt their functionality in response to environmental changes, and significantly reduce the on-going costs of system deployment an...
94
Voted
ACMICEC
2008
ACM
15 years 2 months ago
2008
ACM
Information sharing and protection against leakage is a critical problem especially for organisations having sensitive information. Sharing content between individuals in the same...
117
click to vote
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
The Distributed Constraint Optimization Problem (DCOP) is a fundamental formalism for multi-agent cooperation. A dedicated framework called Resource Constrained DCOP (RCDCOP) has ...
100
Voted
AAAI
1993
15 years 1 months ago
1993
Roughly speaking, adequatness is the property of a theorem proving method to solve simpler problems faster than more difficult ones. Automated inferencing methods are often not ad...