1833 search results - page 150 / 367 » Mechanized Verification with Sharing |
186
click to vote
JPDC
2006
15 years 6 months ago
2006
Conventional performance evaluation mechanisms focus on dedicated systems. Grid computing infrastructure, on the other hand, is a shared collaborative environment constructed on v...
159
click to vote
AI
2004
Springer
15 years 6 months ago
2004
Springer
This paper deals with the problem of designing a strategy profile which will enable collaborative interaction between agents. In particular, we consider the problem of information...
147
click to vote
CCR
1999
15 years 6 months ago
1999
The use of scheduling mechanisms like Class Based Queueing (CBQ) is expected to play a key role in next generation multiservice IP networks. In this paper we attempt an experiment...
248
click to vote
PUC
2011
15 years 1 months ago
2011
OPEN is an ontology-based programming framework for rapid prototyping, sharing, and personalization of context-aware applications. Unlike previous systems that provide programming ...
183
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper introduces a distributed auxiliary particle filter for target tracking in sensor networks. Nodes maintain a shared particle filter by coming to a consensus about the ...