854 search results - page 115 / 171 » Addressing Dynamic Issues of Program Model Checking |
126
click to vote
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
Abstract. In recent years, there has been a surge of interest in Javabased volunteer computing systems, which aim to make it possible to build very large parallel computing network...
129
click to vote
TON
2008
15 years 2 months ago
2008
Differentiated services architectures are scalable solutions for providing class-based Quality of Service (QoS) over packet switched networks. While qualitative attributes of the o...
126
click to vote
IAT
2009
IEEE
15 years 6 months ago
2009
IEEE
Variants of the decentralized MDP model focus on problems exhibiting some special structure that makes them easier to solve in practice. Our work is concerned with two main issues...
158
Voted
SOSYM
2002
15 years 2 months ago
2002
Abstract. There is rapidly growing momentum for web enabled agents that reason about and dynamically integrate the appropriate knowledge and services at run-time. The dynamic integ...
129
click to vote
MSOM
2007
15 years 1 months ago
2007
: Classical inventory models offer a variety of insights into the optimal way to manage inventories of individual products. However, top managers and industry analysts are often co...