1885 search results - page 219 / 377 » Methodology of distributed technological complex system simu... |
165
click to vote
FMSD
2006
15 years 6 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
175
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
We consider the problem of building a P2P-based search engine for massive document collections. We describe a prototype system called ODISSEA (Open DIStributed Search Engine Archi...
174
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Features of a DNA sequence can be found by compressing the sequence under a suitable model; good compression implies low information content. Good DNA compression mode...
158
click to vote
ISAAC
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. Set agreement is a fundamental problem in distributed computing in which processes collectively choose a small subset of values from a larger set of proposals. The imposs...
160
click to vote
CODES
2000
IEEE
15 years 10 months ago
2000
IEEE
In current design practice synthesis tools play a key role, letting designers to concentrate on the specificationof the system being designed by carrying out repetitive tasks such...