5863 search results - page 160 / 1173 » On Model-Checking of P Systems |
173
click to vote
CCGRID
2006
IEEE
15 years 10 months ago
2006
IEEE
P2P systems represent a large portion of the Internet traffic which makes the data discovery of great importance to the user and the broad Internet community. Hence, the power of ...
160
click to vote
AI
2005
Springer
15 years 6 months ago
2005
Springer
We consider the problem of how an agent's knowledge can be updated. We propose a formal method of knowledge update on the basis of the semantics of modal logic S5. In our met...
173
click to vote
IPPS
2009
IEEE
16 years 27 days ago
2009
IEEE
Abstract—Early P2P-TV systems have already attracted millions of users, and many new commercial solutions are entering this market. Little information is however available about ...
178
click to vote
ESAW
2009
Springer
16 years 24 days ago
2009
Springer
Organisational centred multi-agent systems (MAS) have proved to be eective to regulate agents' activities. Nevertheless, population and/or environmental changes may lead to a...
154
click to vote
OTM
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. The effective localization of the right resources is a challenging issue at the current stage of development of P2P systems in presence of a high number of peers providi...