Behavior verification of large component systems suffers of state explosion in particular when components involve parallel activities. For behavior protocols, a method of component behavior specification, we present a...
详细信息
Behavior verification of large component systems suffers of state explosion in particular when components involve parallel activities. For behavior protocols, a method of component behavior specification, we present a method of state space size reduction based on symbolic manipulation with the specification done by applying a set of reduction rules. A case study is presented showing that the specification size is often reduced to only a fraction of the original one.
Simulation studies of grid scheduling strategies require representative workloads to produce dependable results. Real production grid workloads have shown diverse correlation structures and scaling behavior, which are...
详细信息
Simulation studies of grid scheduling strategies require representative workloads to produce dependable results. Real production grid workloads have shown diverse correlation structures and scaling behavior, which are different than the characteristics of the available supercomputer workloads and cannot be captured by Poisson or simple distribution-based models. We present models that are able to reproduce various correlation structures, including pseudo-periodicity and long range dependence. By conducting model-driven simulation, we quantitatively evaluate the performance impacts of workload correlations in grid scheduling. The results indicate that autocorrelations in workloads result in worse system performance, both at the local and the grid level. It is shown that realistic workload modeling is not only possible, but also necessary to enable dependable grid scheduling studies.
As service-oriented architectures (SOA) mature, an efficient approach for the integration of Web services in portals is required. This holds true especially in medium and large-scale SOA-based systems with a multitude...
详细信息
As service-oriented architectures (SOA) mature, an efficient approach for the integration of Web services in portals is required. This holds true especially in medium and large-scale SOA-based systems with a multitude of Web services to be made accessible to the users. The integration scenarios, i.e. the Web service-based features within a portal, are usually composed of complex sequences of user interaction and service communication, aggravating the need for an efficient integration solution. We present an approach for the business process-driven modeling of these scenarios in form of 'user interaction (UI) workflows' as well as a technical framework enabling the model execution within existing portal systems. The integration of Web services in a portal can thus be realized very efficiently by modeling UI workflows and configuring highly generic activity building blocks for dialog construction, service communication and data presentation.
Challenging networks require transmission protocols able to deal with the specificities of the environment. These adverse conditions include very long delays (delays in hours are normal), episodic connectivity, asymme...
详细信息
Challenging networks require transmission protocols able to deal with the specificities of the environment. These adverse conditions include very long delays (delays in hours are normal), episodic connectivity, asymmetric data rates, higher bit error rate (The raw BERs are in the order of 10 -2 ), very high free space losses (around 250-300 dB) and power constraints that may severely compromise the effectiveness of standard transport protocols. Transmissions protocols must also relieve applications and other upper-layer protocols (like the bundle protocol from the Delay Tolerant Network architecture) from the need to deal with the characteristics of intervening communications networks and services. In this paper we analyse the impacts of parameters such as loss probability and propagation delay on Licklider Transmission Protocol (LTP) [1], [2] and the newly proposed Licklider Transmission Protocol-(LTP-T) [3] following a comparative study of both the protocols.
作者：
Y. WakasaY. YamamotoDept. of Applied Analysis and Complex Dynamical Systems
Graduate School of Informatics Kyoto University Kyoto Japan. Yuji Wakasa was born in Okayama
Japan in 1968. He received the B.S. and M.S. degrees in engineering from Kyoto university Japan in 1992 and 1994 respectively. From 1994 to 1998 he was a Research Associate in the Department of Information Technology Okayama University. Since April 1998 he has been a Research Associate in the Graduate School of Informatics Kyoto University. His current research interests include robust control and control system design via mathematical programming. Yutaka Yamamoto received his B.S. and M.S. degrees in engineering from Kyoto University
Kyoto Japan in 1972 and 1974 respectively and the M.S. and Ph.D. degree in mathematics from the University of Florida in 1976 and 1978 respectively. From 1978 to 1987 he was with Department of Applied Mathematics and Physics Kyoto University and from 1987 to 1997 with Department of Applied System Science. Since 1998 he is a professor at the current position. His current research interests include realization and robust control of distributed parameter systems learning control sampled-data systems and digital signal processing. Dr. Yamamoto is a receipient of the Sawaragi memorial paper award (1985) the Outstanding Paper Award of SICE (1987) Best Author Award of SICE (1990) the George Axelby Outstanding Paper Award of IEEE CSS in 1996 Takeda Paper Prize of SICE in 1997. He is a Fellow of IEEE. He was an associate editor of Automatica. He is currently an associate editor of IEEE Transactions on Automatic Control Systems and Control Letters and Mathematics of Control Signals and Systems. He is a member of the IEEE the Society of Instrument and Control Engineers (SICE) and the Institute of Systems Control and Information Engineers.
This paper presents a design method of control systems such that a designer can flexibly take account of tradeoffs between evaluated uncertainty ranges and the level of control performance. The problem is reduced to a...
详细信息
This paper presents a design method of control systems such that a designer can flexibly take account of tradeoffs between evaluated uncertainty ranges and the level of control performance. The problem is reduced to a BMI problem and approximately solved by LMIs. The convergence of the proposed approximation is proved in a modified sense. A numerical example shows the effectiveness of the proposed method in comparison with the standard robust control.
The self-protecting multipath (SPM) is a simple protection switching mechanism that can be implemented, e.g., by MPLS. We present a linear program to optimize the SPM load balancing parameters for network dimensioning...
详细信息
The Java messaging service (JMS) is a means to organize communication among distributed applications according to the publish/subscribe principle. If the subscribers install filter rules on the JMS server, JMS can be ...
详细信息
The Java messaging service (JMS) is a middleware-oriented messaging technology working according to the publish/subscribe principle. If subscribers install filter rules on the JMS server, JMS can be used as a message ...
详细信息
When transacting and interacting through open computer networks, traditional methods used in the physical world for establishing trust can no longer be used. Creating virtual network substitutes with which people, org...
详细信息
Vertical handovers (VHO) are expected to be a key feature in Beyond 3G (B3G) networks. This paper presents a Pastry-based P2P overlay network for supporting vertical handover in B3G networks. The P2P overlay is used t...
详细信息
暂无评论