1173 search results - page 45 / 235 » Weighted Distributed Systems and Their Logics |
173
click to vote
RTCSA
2008
IEEE
16 years 11 days ago
2008
IEEE
A component framework plays an important role in CBSD as it determines how software components are developed, packaged, assembled and deployed. A desirable component framework for...
191
click to vote
ENC
2004
IEEE
15 years 9 months ago
2004
IEEE
Despite the relevance of the belief-desire-intention (BDI) model of rational agency, little work has been done to deal with its two main limitations: the lack of learning competen...
206
click to vote
EEF
2000
15 years 9 months ago
2000
Both the logic and the stochastic analysis of discrete-state systems are hindered by the combinatorial growth of the state space underlying a high-level model. In this work, we con...
148
click to vote
SP
2005
IEEE
15 years 11 months ago
2005
IEEE
We present a distributed algorithm for assembling a proof that a request satisfies an access-control policy expressed in a formal logic, in the tradition of Lampson et al. [16]. ...
140
click to vote
ICDCS
1997
IEEE
15 years 10 months ago
1997
IEEE
The Collaborative Computing Transport Layer (CCTL) is a communication substrate consisting of a suite of multiparty protocols, providing varying service qualities among process gr...