PBRRI： A Hybrid Peer-to-Peer Communication Model in Distributed Systems

In distributed systems independent agents need to interact with each other to accomplish their task. Modern peer-to-peer computing technologies always concern with enabling interaction among agents and help them cooperate with each other. But in fact, access control should also be considered to limit interaction to make it harmless. This paper proposed a proxy based rule regulated interaction (PBRRI) model. Role based access control is introduced for security concerns. Regulation rules are enforced in a distributed manner so that PBRRI can be applied to the open distributed systems such as Internet.     

Support for Dynamic Service Composition with Role-Based Interaction Model

IntroductionService oriented computing is rapidly adoptedas a popular paradigm for the development of dis-tributed applications.In Grid environments,allare treated as services,which include computation-al resources,storage resources,networks,pro-grams,databases,and so on[1].A service-orientedparadigm describes an application in terms of whatfunctionalities(services)it can exploit instead ofwhich objects are involved.In general,serviceproviders independently develop their Grid ser-vices,and so…     

IMPROVING THE INTERESTINGNESS OF WEB USAGE MINING

IntroductionWeb usage mining is the application of datamining to the web server's log in order to discoverthe behavior patterns of the web site visitors.Thebehavior patterns found should be highly interest-ing.That is,they should be valid,novel,poten-tially useful,and ultimately understandable[1] .Finding frequently visited page groups is animportant topic in web usage mining.Intuitively,the frequently visited page group ( FVPG) is a setof web pages thatare often requested together by anumbe…     

基于Java的一种新型的分布式计算环境--Jini

Jini是Sun公司的一个研究计划所取得的最新成果,此计划由Sun公司主管技术的副总裁Bill Joy所倡导,它的目的是在Java技术的基础上进一步提高其能力,向用户提供一种实用的分布式计算环境。Jini技术为多数的软件和硬件,包括几乎所有可以连接上网络的资源提供自主的网络连接。Jini的目标就是最大限度地简化对网络的操作。     

Formalization of P Systems by Maude

IntroductionRewriting logic[1]was introduced as a unifiedmodel of concurrency which provides a formal com-mon framework of well-known models of concur-rent systems.It is shown that rewriting logic as alogical and semantic framework to represent manyother logics,in a natural and direct way.In gener-al,every formal system has two parts:1 formulasor proof-theoretic structures, which call be pre-sented as terms in an order-sorted equational datatype whose equations express structural axiomsnatural…