1341 search results - page 77 / 269 » Periods in Extensions of Words |
162
click to vote
EDO
2005
Springer
15 years 11 months ago
2005
Springer
Publish/subscribe infrastructures are used as the basic communication and integration framework in many application domains. The majority of those infrastructures, however, fall s...
175
click to vote
IJAR
2010
15 years 4 months ago
2010
We explore generalizations of the pari-mutuel model (PMM), a formalization of an intuitive way of assessing an upper probability from a precise one. We discuss a naive extension o...
142
click to vote
FM
2009
Springer
16 years 15 days ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
164
click to vote
ICC
2008
IEEE
16 years 11 days ago
2008
IEEE
— The connected dominating set (CDS) has been extensively used for routing and broadcast in mobile ad hoc networks. While existing CDS protocols are successful in constructing CD...
144
click to vote
IPPS
2007
IEEE
16 years 7 days ago
2007
IEEE
This paper proposes a dynamic scheduler that supports the coexistence of guaranteed and non-guaranteed bandwidth servers to efficiently handle soft-tasks’ overloads by making a...