4761 search results - page 820 / 953 » Performance of Protocols |
118
Voted
FORTE
2008
15 years 5 months ago
2008
Abstract. Several recent works have considered parameterized verification, i.e. automatic verification of systems consisting of an arbitrary number of finite-state processes organi...
133
Voted
ICWS
2008
IEEE
15 years 5 months ago
2008
IEEE
In order to co-ordinate multiple resource providers in grid environment to meet a common objective, support for negotiation is needed to establish a contract between the user and ...
134
Voted
IJCAI
2007
15 years 5 months ago
2007
Agents with partial observability need to share information to achieve decentralised coordination. However, in resource-constrained systems, indiscriminate communication can creat...
135
Voted
NETWORKING
2008
15 years 5 months ago
2008
Content delivery providers can improve their service scalability and offload their servers by making use of content transfers among their clients. To provide peers with incentive t...
130
Voted
SIMUTOOLS
2008
15 years 5 months ago
2008
Wireless communication has attracted considerable interest in the research community, and many wireless networks are evaluated using discrete event simulators like OMNeT++. Althou...