5863 search results - page 760 / 1173 » On Model-Checking of P Systems |
199
click to vote
EUROPAR
2010
Springer
15 years 8 months ago
2010
Springer
In a Cyclic Mobile Ad Hoc Network (CMANET) where nodes move cyclically, we formulate trust management problems and propose the cTrust scheme to handle trust establishment and aggre...
181
click to vote
ICMCS
2010
IEEE
15 years 8 months ago
2010
IEEE
Though the existence of a minimum delay peer-to-peer media streaming scheme has been shown (under the name of snowball streaming), no actual algorithm has ever been designed so fa...
194
click to vote
AO
2007
15 years 7 months ago
2007
This work introduces a formal framework for the social acquisition of ontologies which are constructed dynamically from overhearing the possibly conflicting symbolic interaction o...
158
click to vote
FTWEB
2006
15 years 6 months ago
2006
This text sets out a series of approaches to the analysis and synthesis of the World Wide Web, and other web-like information structures. A comprehensive set of research questions...
206
click to vote
IS
2006
15 years 6 months ago
2006
An essential element in defining the semantic of Web services is the domain knowledge. Medical informatics is one of the few domains to have considerable domain knowledge exposed ...