4075 search results - page 497 / 815 » Modeling Distributed Algorithm Using B |
207
click to vote
ISCAPDCS
2003
15 years 8 months ago
2003
Ad hoc networks provide a dynamically reconfigurable network infrastructure where entities can participate at will. Jini technology can be used to implement an ad hoc network, and...
288
click to vote
VLDB
2004
ACM
16 years 7 months ago
2004
ACM
In this paper, we propose a new tunable index scheme, called iMinMax(), that maps points in highdimensional spaces to single-dimensional values determined by their maximum or minim...
207
click to vote
WOSP
2005
ACM
16 years 8 days ago
2005
ACM
Software performance based on performance models can be applied at early phases of the software development cycle to characterize the quantitative behavior of software systems. We...
197
click to vote
ISCI
2010
15 years 5 months ago
2010
We present a framework for modeling the spread of pathogens throughout a population and generating policies that minimize the impact of those pathogens on the population. This fra...
168
click to vote
CGI
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper focuses on an approach to modeling shapes through the use of evolutionary optimization or genetic algorithms for functionally represented geometric objects. This repres...