4341 search results - page 540 / 869 » Quantitative Model checking |
128
click to vote
ISCA
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper seeks to understand and design nextgeneration servers for emerging “warehousecomputing” environments. We make two key contributions. First, we put together a detail...
149
click to vote
SEAA
2008
IEEE
16 years 1 months ago
2008
IEEE
In early phases of the software development process, requirements prioritization necessarily relies on the specified requirements and on predictions of benefit and cost of individ...
162
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— In this paper, numerical calculation schemes of the buffer occupation probability for a buffer which is fed by a large number of independent and stationary sources are evaluate...
168
Voted
ITNG
2007
IEEE
16 years 29 days ago
2007
IEEE
In this paper, we propose a new model for securing agent-based systems in which agents are equipped with reasoning capabilities allowing them to interact with each other. The agen...
154
click to vote
EMMCVPR
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Document decomposition is a basic but crucial step for many document related applications. This paper proposes a novel approach to decompose document images into zones. I...