7943 search results - page 1271 / 1589 » A calculus for costed computations |
194
click to vote
ISMIS
1994
Springer
15 years 11 months ago
1994
Springer
Main stream approaches in distributed artificial intelligence (DAI) are essentially logic-based. Little has been reported to explore probabilistic approach in DAI. On the other han...
173
click to vote
SIGCOMM
1989
ACM
15 years 10 months ago
1989
ACM
The ARPANBT routing metric wasrevised in July 1987,resulting in substantial performance improvements, especially in terms of user delay and effective network capacity. These revis...
202
click to vote
ADBIS
2009
Springer
15 years 10 months ago
2009
Springer
Identification of all objects in a dataset whose similarity is not less than a specified threshold is of major importance for management, search, and analysis of data. Set similari...
190
click to vote
ASAP
2007
IEEE
15 years 10 months ago
2007
IEEE
Software-based, fine-grain control flow integrity (CFI) validation technique has been proposed to enforce control flow integrity of program execution. By validating every indirect...
204
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
With semiconductor fabrication technologies scaled below 100 nm, the design-manufacturing interface becomes more and more complicated. The resultant process variability causes a nu...