4987 search results - page 341 / 998 » Fuzzifying P Systems |
137
click to vote
CADE
2006
Springer
16 years 5 months ago
2006
Springer
Abstract. Verification by network invariants is a heuristic to solve uniform verification of parameterized systems. Given a system P, a network invariant for P is that abstracts th...
116
click to vote
EDBT
2010
ACM
15 years 11 months ago
2010
ACM
This paper presents P3Q, a fully decentralized gossip-based protocol to personalize query processing in social tagging systems. P3Q dynamically associates each user with social ac...
139
click to vote
PDP
2009
IEEE
15 years 11 months ago
2009
IEEE
Existing approaches for modelling the Internet delay space predict end-to-end delays between two arbitrary hosts as static values. Further, they do not capture the characteristics...
161
click to vote
HASE
2008
IEEE
15 years 11 months ago
2008
IEEE
Web applications often use dynamic pages that interact with each other by accessing shared objects, e.g., session objects. Interactions between dynamic pages need to be carefully ...
131
click to vote
IPPS
2008
IEEE
15 years 11 months ago
2008
IEEE
We investigate a problem of maintaining a target population of mobile agents in a distributed system. The purpose of the agents is to perform certain activities, so the goal is to...