We propose a non-standard semantics for Alternating-time Temporal Logic (ATL) with incomplete information, for which no commonly accepted semantics has been proposed yet. In our semantics, formulae are still interpret...
详细信息
ISBN:
(纸本)1595933034
We propose a non-standard semantics for Alternating-time Temporal Logic (ATL) with incomplete information, for which no commonly accepted semantics has been proposed yet. In our semantics, formulae are still interpreted with respect to ATL structures, but are interpreted in sets of states rather than in single states. We also propose a new epistemic operator for "constructive" knowledge, and we show that the new language is strictly more expressive than existing solutions, while retaining the same model checking complexity. Copyright 2006 ACM.
In previous results, most existing Byzantine Agreement (BA) protocols are designed for pure wired or pure wireless networks. In practice, most current networks are combined wired and wireless environments. In this pap...
详细信息
ISBN:
(纸本)9780769527369
In previous results, most existing Byzantine Agreement (BA) protocols are designed for pure wired or pure wireless networks. In practice, most current networks are combined wired and wireless environments. In this paper, we extend the BA problem over combined wired/wireless network, consisting of both powerful computing processor and low-power mobile processor. Furthermore, the communication overhead of the BA protocol is inherently large because the BA protocol requires numerous rounds to exchange messages. Secure group communications over a combined wired/wireless network is very important. The protocols proposed in this paper use the hierarchical model concept to reduce the communication overhead and provide secure group communications well suited for combined wired/wireless networks.
This paper treats the output feedback H-2 control with regional pole placement condition. In general, this problem is a BMI problem which is difficult to be solved theoretically. The purpose of this paper is to propos...
详细信息
ISBN:
(纸本)9788995003848
This paper treats the output feedback H-2 control with regional pole placement condition. In general, this problem is a BMI problem which is difficult to be solved theoretically. The purpose of this paper is to propose an iterative method for obtaining a sub-optimal solution of the H-2 control problem with regional pole placement condition. The key idea of this paper is to employ a full-order observer-based controller. The proposed method produces a sequence of controllers which approaches to the unconstrained globally optimal H-2 controller while it satisfies the D-stability constraint. A numerical example shows the effectiveness of our method.
Carefully designed and managed services are essential for quality-demanding traffic, especially in large-scale IP networks where the aggregation of flows and the variety of traffic types are extensive. Although indivi...
详细信息
In this paper we present an efficient scheme for the multicast transmission of the data in the Universal Mobile Telecommunications System (UMTS). We take advantage of the tree topology of the examined network and we i...
详细信息
ISBN:
(纸本)1595934774
In this paper we present an efficient scheme for the multicast transmission of the data in the Universal Mobile Telecommunications System (UMTS). We take advantage of the tree topology of the examined network and we introduce the use of Routing Lists (RLs) in the nodes of the UMTS. The adoption of these lists leads to the decrement of the transmitted packets and the efficient use of network resources during the multicast transmission of the data. We describe in detail the necessary steps for the successful multicast transfer of data. Furthermore, we analyze the handling of special cases such as user mobility scenarios. Especially, the various handover types are examined along with the Serving Radio Network Subsystem (SRNS) relocation procedure. Copyright 2006 ACM.
Organization, scalability and routing have been identified as key problems hindering viability and commercial success of mobile ad hoc networks. Clustering of mobile nodes among separate domains has been proposed as a...
详细信息
We consider a security problem on a distributed network. We assume a network whose nodes are vulnerable to infection by threats (e.g. viruses), the attackers. A system security software, the defender, is available in ...
详细信息
Process Automation concentrates on automating structured processes of an organization in order to achieve excellent service delivery by enabling the employees to pay more attention to semi structured or unstructured p...
详细信息
Let M be a single s-t network of parallel links with load dependent latency functions shared by an infinite number of selfish users. This may yield a Nash equilibrium with unbounded Coordination Ratio [12, 26]. A Lead...
详细信息
ISBN:
(纸本)1595934529
Let M be a single s-t network of parallel links with load dependent latency functions shared by an infinite number of selfish users. This may yield a Nash equilibrium with unbounded Coordination Ratio [12, 26]. A Leader can decrease the coordination ratio by assigning flow αr on M, and then all Followers assign selfishly the (1 - α)r remaining flow. This is a Stackelberg Scheduling Instance (M, r, α), 0 ≤ α ≤ 1. It was shown [23] that it is weakly NP-hard to compute the optimal Leader's strategy. For any such network M we efficiently compute the minimum portion βM of flow r needed by a Leader to induce M's optimum cost, as well as his optimal strategy. Unfortunately, Stackelberg routing in more general nets can be arbitrarily hard. Roughgarden presented a modification of Braess's Paradox graph, such that no strategy controlling αr flow can induce ≤ 1/α times the optimum cost. However, we show that our main result also applies to any s-t net G. We take care of the Braess's graph explicitly, as a convincing example. Copyright 2006 ACM.
We consider the QoS-aware Multicommodity Flow problem, a natural generalization of the weighted multicommodity flow problem where the demands and commodity values are elastic to the Quality-of-Service characteristics ...
详细信息
ISBN:
(纸本)9783939897019
We consider the QoS-aware Multicommodity Flow problem, a natural generalization of the weighted multicommodity flow problem where the demands and commodity values are elastic to the Quality-of-Service characteristics of the underlying network. The problem is fundamental in transportation planning and also has important applications beyond the transportation domain. We provide a FPTAS for the QoS-aware Multicommodity Flow problem by building upon a Lagrangian relaxation method and a recent FPTAS for the non-additive shortest path problem.
暂无评论