5863 search results - page 763 / 1173 » On Model-Checking of P Systems |
210
click to vote
PKDD
2010
Springer
15 years 5 months ago
2010
Springer
One of the major strengths of probabilistic topic modeling is the ability to reveal hidden relations via the analysis of co-occurrence patterns on dyadic observations, such as docu...
190
click to vote
TC
2010
15 years 5 months ago
2010
—Previous multikeyword search in DHT-based P2P systems often relies on multiple single keyword search operations, suffering from unacceptable traffic cost and poor accuracy. Prec...
189
click to vote
TCS
2010
15 years 5 months ago
2010
Automatic debugging of UML class diagrams helps in the visual specification of software systems because users cannot detect errors in logical consistency easily. This paper focus...
166
click to vote
TPDS
2010
15 years 5 months ago
2010
—Peer-to-peer (P2P) streaming has been widely deployed over the Internet. A streaming system usually has multiple channels, and peers may form multiple groups for content distrib...
151
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
The Border Gateway Protocol (BGP) maintains inter-domain routing information by announcing and withdrawing IP prefixes, possibly resulting in temporary prefix unreachability. Prefi...