5863 search results - page 290 / 1173 » On Model-Checking of P Systems |
201
click to vote
ENTCS
2010
15 years 7 months ago
2010
In component-based software engineering, reconfiguration describes structural changes to the architecture of a component system. For stateful components, not only structural but a...
182
click to vote
CCGRID
2006
IEEE
16 years 1 months ago
2006
IEEE
With current grid middleware, it is difficult to deploy distributed supercomputing applications that run concurrently on multiple resources. As current grid middleware systems ha...
274
click to vote
SACMAT
2009
ACM
16 years 1 months ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
208
click to vote
INFOSCALE
2006
ACM
16 years 1 months ago
2006
ACM
Millions of Internet users are using large-scale peerto-peer (P2P) networks to share content files today. Many other mission-critical applications, such as Internet telephony and...
318
click to vote
SIGMOD
2005
ACM
16 years 7 months ago
2005
ACM
Peer-to-peer (p2p) systems are attracting increasing attention as an efficient means of sharing data among large, diverse and dynamic sets of users. The widespread use of XML as a...