7136406
Towards Automated Development of Multi-Agent Systems Using RADE
To facilitate the development of multi-agent systems and improve the reusability, robustness and feasibility of these systems, we proposed a role-based agent development framework (RADE). In this paper, we present more details on the design of agents and motivations within such framework. We introduce a practical approach to modeling agent’s motivation and specifying agent’s goals, where a role-mapping mechanism is developed based on this design. We also introduce the RTAEMS language based on the extension of TAEMS to model the plan tree for each goal. This representation is used to support the development of general planning/scheduling and collaboration/cooperation mechanisms.
4691280
A Methodology for Role-Based Modeling of Open Multi-Agent Software Systems
Multi-agent systems (MAS) are rapidly emerging as a powerful paradigm for modeling and developing distributed information systems. In an open multi-agent system, agents can not only join or leave an agent society at will, but also take or release roles dynamically. Most of existing work on MAS uses role modeling for system analysis; however, role models are only used at conceptual level with no realizations in the implemented system. In this paper, we propose a methodology for role-based modeling of open multiagent software systems. We specify role organization and role space as containers of conceptual roles and role instances, respectively. Agents in an agent society can take or release roles from a role space dynamically. The relationships between agents are deduced through a mechanism called A-R mapping. As a potential solution for automated MAS development, we summarize the procedures to generate a role-based design of open multi-agent software systems.
22135026
A Security Based Model for Mobile Agent Software Systems
Security modeling for agents has been one of the most challenging issues in developing practical mobile agent software systems. In the past, researchers have developed mobile agent systems with emphasis either on protecting mobile agents from malicious hosts or protecting hosts from malicious agents. In this paper, we propose a security based mobile agent system architecture that provides a general solution to protecting both mobile agents and agent hosts in terms of agent communication and agent migration. We present a facilitator agent model that serves as a middleware for secure agent communication and agent migration. The facilitator agent model, as well as the mobile agent model, is based on agent-oriented G-nets — a high level Petri net formalism. To illustrate our formal modeling technique for mobile agent systems, we provide an example of agent migration to show how a design error can be detected.
15831559
An agent-based Petri net model with application to seller/buyer design in electronic commerce
Agents are becoming one of the most important topics in distributed and autonomous decentralized systems (ADS), and there are increasing attempts to use agent technologies to develop software systems in electronic commerce. Such systems are complex and there is a pressing need for system modeling techniques to support reliable, maintainable and extensible design. G-Nets are a type of Petri net defined to support modeling of a system as a set of independent and loosely-coupled modules. The authors first introduce an extension of G-Net, agent based G-Net, as a generic model for agent design. Then new communication mechanisms are introduced to support asynchronous message passing among agents. To illustrate that our formal modeling technique is effective for agent modeling in electronic commerce, a price-negotiation protocol example between buyers and sellers is provided. Finally, by analyzing an ordinary Petri net reduced from our agent based G-Net models, we conclude that our agent based G-Net models are L3-live, concurrent and effective for agent communications.
18614429
A petri net based XML firewall security model for web services invocation
An XML firewall differs from a conventional firewall because its major task is to control access to web services rather than to filter untrusted addresses. An XML firewall can effectively protect web services from being attacked by inspecting a complete XML message including its head and data segments, and rejecting unauthorized web services invocation. In this paper, we propose a formal XML firewall security model using role-based access control (RBAC). Our proposed model supports user authentication and user authorization according to information stored in a user database and a policy database associated with an XML firewall. The formal model is designed compositionally using Petri nets, which can serve as a high-level design for XML firewall implementation. The key components of our compositional security model are the application model and the XML firewall model. To illustrate the advantages of our formal approach, we use an existing Petri net tool to verify some key properties of our model, such as boundedness and liveness.
10887257
Foundations of SMS commerce success: lessons from SMS messaging and co-opetition
As a convenient and low-cost mobile communication technology, short messaging service (SMS) is experiencing very rapid growth. It is reported that 700 million mobile phone users worldwide sent 20 to 30 billion SMS messages every month in 2001. At the same time, SMS commerce applications have emerged to provide mobile users consumer-oriented services. The huge SMS messaging customer base serves as the potential SMS commerce customer base according to K. Kellett and A. Linde (2001) . However, the bloom in messaging business does not automatically lead to the success of general SMS commerce applications. In this paper, we analyzed SMS developments in three different countries to derive three success indicators for SMS messaging and relate them to the success of SMS commerce. Based on the proposed SMS application framework, we postulate four additional hypothesized success factors that could uniquely contribute to the success of SMS commerce. Our findings provide practical implications for promoting SMS commerce applications successfully.
28938007
A novel carrier frequency tracking scheme for time domain differential OFDM
We develop a novel scheme to track carrier frequency offset in time domain differential modulation and demodulation OFDM systems. Compared with existing methods, this scheme is more bandwidth efficient and easier to implement. Simulation results in the Rayleigh fading channel show that this frequency tracking scheme can work robustly under relatively low SNR conditions.
7970424
Effects of Multimedia on Mobile Consumer Behavior: An Empirical Study of Location-Aware Advertising
Location-aware advertising is widely touted as the “killer-app” for mobile commerce to flourish. With the imminent rollout of third-generation mobile networks, advances in multimedia-enabled mobile devices and positioning technologies, its commercial viability is enormous. Location-aware advertising is primarily textbased at the present, but it is envisioned to allow the delivery of multimedia advertisements to geographically targeted consumers. This exploratory study empirically examines the effects of multimedia on consumer behavior in a simulated mobile commerce environment. A structural model was formulated to test the effects of multimedia on entertainment, informativeness, and irritation in the context of location-aware advertising. The results show that multimedia location-aware advertising messages lead to more favorable attitudes and increase the intention to reuse the mobile advertising service. Evidence also suggests that multimedia has a significant impact on purchase behavior.
10910603
Hybrid Forward Resampling and Volume Rendering
The transforming and rendering of discrete objects, such as traditional images (with or without depths) and volumes, can be considered as resampling problem – objects are reconstructed, transformed, filtered, and finally sampled on the screen grids. In resampling practices, discrete samples (pixels, voxels) can be considered either as infinitesimal sample points (simply called points) or samples of a certain size (splats). Resampling can also be done either forwards or backwards in either the source domain or the target domain. In this paper, we present a framework that features hybrid forward resampling for discrete rendering. Specifically, we apply this framework to enhance volumetric splatting. In this approach, minified voxels are taken simply as points filtered in screen space; while magnified voxels are taken as spherical splats. In addition, we develop two techniques for performing accurate and efficient perspective splatting. The first one is to efficiently compute the 2D elliptical geometry of perspectively projected splats; the second one is to achieve accurate perspective reconstruction filter. The results of our experiments demonstrate both the effectiveness of antialiasing and the efficiency of rendering using this
7143460
A system of high-dimensional, efficient, long-cycle and portable uniform random number generators
We propose a system of multiple recursive generators of modulus <i>p</i> and order <i>k</i> where all nonzero coefficients of the recurrence are equal. The advantage of this property is that a single multiplication is needed to compute the recurrence, so the generator would run faster than the general case. For <i>p</i> = 2<sup>31</sup> − 1, the most popular modulus used, we provide tables of specific parameter values yielding maximum period for recurrence of order <i>k</i> = 102 and 120. For <i>p</i> = 2<sup>31</sup> − 55719 and <i>k</i> = 1511, we have found generators with a period length approximately 10<sup>14100.5</sup>.