2673 search results - page 527 / 535 » Guided Static Analysis |
AI
2008
Springer
13 years 7 months ago
2008
Springer
In this paper, we describe a novel bidding strategy that autonomous trading agents can use to participate in Continuous Double Auctions (CDAs). Our strategy is based on both short...
AIS
2007
Springer
13 years 7 months ago
2007
Springer
This paper treats the contemporary craft market as an under-researched resource for wearable computing, and investigates the alternative values and experiences that contemporary c...
BMCBI
2008
13 years 7 months ago
2008
Background: Structural analysis of biochemical networks is a growing field in bioinformatics and systems biology. The availability of an increasing amount of biological data from ...
CCR
2008
13 years 7 months ago
2008
Despite the large number of papers on network topology modeling and inference, there still exists ambiguity about the real nature of the Internet AS and router level topology. Whi...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
We study the conditional sojourn time distributions of processor sharing (PS), foreground background processor sharing (FBPS) and shortest remaining processing time first (SRPT) s...