4062 search results - page 512 / 813 » Using Performance Models to Dynamically Control E-Business P... |
164
Voted
HPDC
2007
IEEE
16 years 1 months ago
2007
IEEE
We study stochastic models to mitigate the risk of poor Quality-of-Service (QoS) in computational markets. Consumers who purchase services expect both price and performance guaran...
189
click to vote
SRDS
2006
IEEE
16 years 21 days ago
2006
IEEE
We present Cryptree, a cryptographic tree structure which facilitates access control in file systems operating on untrusted storage. Cryptree leverages the file system’s folde...
173
click to vote
INFOCOM
1999
IEEE
15 years 11 months ago
1999
IEEE
We consider how to allocate bandwidth in a multicast tree so as to optimize some global measure of performance. In our model each receiver has a budget to be used for bandwidth res...
209
click to vote
FPL
2007
Springer
16 years 26 days ago
2007
Springer
An important step in Heterogeneous System Development is Hardware/Software Partitioning. This process involves exploring a huge design space. By using profiling to select hot-spo...
165
click to vote
FUIN
2006
15 years 6 months ago
2006
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...