7762 search results - page 1288 / 1553 » Availability in BitTorrent Systems |
193
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
One reasonable categorization of coordination models is into data sharing or message passing, based on whether the information necessary to coordination is persistently stored and...
188
click to vote
JSC
2010
15 years 5 months ago
2010
We study the automated verification of pointer safety for heap-manipulating imperative programs with unknown procedure calls. Given a Hoare-style partial correctness specificati...
149
click to vote
JSS
2010
15 years 5 months ago
2010
—Probabilistic properties are considered as the most important requirements for a variety of software systems, since they are used to formulate extra-functional requirements such...
164
click to vote
JUCS
2010
15 years 5 months ago
2010
: Companies in collaborative networks require intermediation to perform. The collaborative network forms the breeding environment for the configuration of a Virtual Enterprise that...
156
click to vote
JUCS
2010
15 years 5 months ago
2010
: Lemmatisation is the process of finding the normalised forms of words appearing in text. It is a useful preprocessing step for a number of language engineering and text mining t...