1162 search results - page 155 / 233 » An Information-Based Theory of Conditionals |
123
click to vote
CCGRID
2009
IEEE
16 years 28 days ago
2009
IEEE
We describe our experiences from implementing and integrating a new job scheduling algorithm in the gLite Grid middleware and present experimental results that compare it to the e...
150
click to vote
SEFM
2009
IEEE
16 years 27 days ago
2009
IEEE
—Increasingly, tools and their underlying theories are able to cope with “real code” written as part of industrial grade applications almost as is. It has been our experience...
166
click to vote
KBSE
2009
IEEE
16 years 27 days ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
147
click to vote
ICDM
2009
IEEE
16 years 25 days ago
2009
IEEE
—We are now living in a world where information is growing and updating quickly. Knowledge can be acquired more efficiently with the help of automatic document summarization and...
149
click to vote
INFOCOM
2009
IEEE
16 years 25 days ago
2009
IEEE
— Incentive protocols play a crucial role to encourage cooperation among nodes in networking applications. The aim of this paper is to provide a general analytical framework to a...