A solution method for solving Markov chains for a class of stochastic process algebra terms is presented. The solution technique is based on a reformulation of the underlying continuous-time Markov chain (CTMC) in ter...
详细信息
A lack of adequate and flexible topology support in the popular message passing systems such as Parallel Virtual Machine was a major factor in the development of our Virtual Process Topology Environment. This parallel...
详细信息
The foundation of a process model lies in its control flow specifications. Using a generic process modeling language for workflows, we show how a control flow specification may contain certain structural conflicts tha...
详细信息
In this paper we present efficient techniques for the generation of very large continuous-time Markov chains (CTMCs) specified as stochastic Petri nets (SPNs). In particular, we investigate how the storage efficiency ...
详细信息
In this paper, a framework to integrate negotiation capabilities - particularly components implementing a negotiation strategy - into mobile agents is introduced. The framework is based on a plug-in mechanism enabling...
详细信息
ISBN:
(纸本)0769503403
In this paper, a framework to integrate negotiation capabilities - particularly components implementing a negotiation strategy - into mobile agents is introduced. The framework is based on a plug-in mechanism enabling a dynamic composition of negotiating agents out of pluggable modules. Strategy modules are further decomposed into parallel execution units based on the notion of an actor system.
The provision of interactive multimedia services, such as video-on-demand, teleshoping and distance learning, to a large number of users, still remains a challenging issue in the multimedia area. Despite of recent tec...
详细信息
In modern circuit design, the Shannon decomposition of switching functions is widely used. On the other hand, in information theory of telecommunication, the Shannon entropy used as a measure to represent the informat...
详细信息
The problem of optimal compile-time multiprocessor scheduling of iterative data-flow programs with feedback (delay elements) is addressed in this paper, unlike the earlier studies assumed the availability of a large n...
详细信息
Researchers are developing collaboration and visualization toolkits to support adaptive, multimodal collaboration. These toolkits support sophisticated collaborations in complex domains and immersive visualization of ...
详细信息
Researchers are developing collaboration and visualization toolkits to support adaptive, multimodal collaboration. These toolkits support sophisticated collaborations in complex domains and immersive visualization of large, complex data sets. Orbit and Virtue are two such collaboration and immersive visualization toolkits, which are used extensively to achieve these objectives. Orbit is an open environment for support of collaborative work activities built around the notion of locales. Locales can be arranged into various hierarchical structures to reflect the activities at hand and users can participate in multiple locales simultaneously. Locales group artifacts, tools, events, people, and computational agents to form an ongoing context for a particular work activity. Virtue defines the highest awareness locales for distributed collaboration and exploration of complex software evolution within the Orbit framework.
A framework to integrate negotiation capabilities-particularly components implementing a negotiation strategy-into mobile agents is introduced. The framework is based on a plug-in mechanism enabling a dynamic composit...
详细信息
A framework to integrate negotiation capabilities-particularly components implementing a negotiation strategy-into mobile agents is introduced. The framework is based on a plug-in mechanism enabling a dynamic composition of negotiating agents from pluggable modules. Strategy modules are further decomposed into parallel execution units based on the notion of an actor system.
暂无评论