272 search results - page 31 / 55 » On Efficient Models for Model Checking Message-Passing Distr... |
122
click to vote
TASE
2008
IEEE
15 years 3 months ago
2008
IEEE
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
154
click to vote
ISORC
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper, a Role-based Access Control (RBAC) model is applied and extended to a multimedia version called Multi-Role Based Access Control (MRBAC), which can fully support the...
106
click to vote
CCGRID
2001
IEEE
15 years 6 months ago
2001
IEEE
Virtual Interface Architecture(VIA) is a light-weight protocol for protected user-level zero-copy communication. In spite of high performance of VIA, the previous MPI implementati...
120
click to vote
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
This paper reports on the development of a utility-based mechanism for managing sensing and communication in cooperative multi-sensor networks. The specific application considered...
158
click to vote
ICUMT
2009
15 years 24 days ago
2009
Multicast conferencing is a rapidly-growing area of Internet use. Audio, video and other media such as shared whiteboard data can be distributed efficiently between groups of confe...