Search For:

Displaying 1-14 out of 14 total
Automatic Parameter Configuration for Cloud Infrastructures by Design Pattern Extraction
Found in: 2013 IEEE 5th International Conference on Cloud Computing Technology and Science (CloudCom)
By Tetsuya Uchiumi,Shinya Kitajima,Shinji Kikuchi,Yasuhide Matsumoto
Issue Date:December 2013
pp. 224-231
Large-scale cloud data centers have a great number of configuration parameters, and as such it is difficult for administrators to configure these parameters correctly. Proposals have been made for approaches to automatic parameter configuration focusing ma...
 
Configuration Policy Extraction for Parameter Settings in Cloud Infrastructure Using UML/OCL Verification
Found in: 2013 IEEE 6th International Conference on Cloud Computing (CLOUD)
By Shinji Kikuchi,Tetsuya Uchiumi,Shinya Kitajima,Yasuhide Matsumoto
Issue Date:June 2013
pp. 67-74
To manage cloud computing infrastructures consisting of many servers having a massive number of configuration parameters is quite burdensome for administrators of infrastructures. While some policy-based management approaches have been proposed to maintain...
 
Using Model Checking to Evaluate Live Migrations
Found in: IT Professional
By Shinji Kikuchi,Yasuhide Matsumoto
Issue Date:March 2013
pp. 36-41
Server virtualization technologies and their live migration function support more efficient use of computing resources in cloud datacenters. However, many management operations for virtual machines can be evoked simultaneously in large-scale systems. What ...
 
Evaluation of Operational Vulnerability in Cloud Service Management Using Model Checking
Found in: 2013 IEEE 7th International Symposium on Service Oriented System Engineering (SOSE)
By Shinji Kikuchi,Toshiaki Aoki
Issue Date:March 2013
pp. 37-48
We proposed an evaluation method to determine the vulnerability of services instantiated on cloud computing infrastructures to improper system management (e.g., system structure having single point of failures and executions of misconfigurations giving cri...
 
Impact of Live Migration on Multi-tier Application Performance in Clouds
Found in: 2012 IEEE 5th International Conference on Cloud Computing (CLOUD)
By Shinji Kikuchi,Yasuhide Matsumoto
Issue Date:June 2012
pp. 261-268
Live migration technologies can contribute to efficient resource management in a cloud datacenter; however, they will inevitably entail downtime for the virtual machine involved. Even if the downtime is relatively short, its effect can be serious for appli...
 
Performance Modeling of Concurrent Live Migration Operations in Cloud Computing Systems Using PRISM Probabilistic Model Checker
Found in: Cloud Computing, IEEE International Conference on
By Shinji Kikuchi,Yasuhide Matsumoto
Issue Date:July 2011
pp. 49-56
Server virtualization technologies and their live migration function contribute to the utilization of the computing resources in cloud datacenters. However, many management operations for virtual machines (VMs) including live migrations can be evoked by ma...
 
Configuration Procedure Synthesis for Complex Systems Using Model Finder
Found in: Engineering of Complex Computer Systems, IEEE International Conference on
By Shinji Kikuchi, Satoshi Tsuchiya
Issue Date:March 2010
pp. 95-104
Managing the configurations of complex systems consisting of various components requires combined efforts by multiple domain experts. These experts have extensive knowledge about different components in the system they need to manage, but little understand...
 
Monitoring Method of Cross-Sites? Processes Executed by Multiple WS-BPEL Processors
Found in: E-Commerce Technology, IEEE International Conference on, and Enterprise Computing, E-Commerce, and E-Services, IEEE International Conference on
By Shinji Kikuchi, Hisashi Shimamura, Yoshihiro Kanna
Issue Date:July 2007
pp. 55-64
This paper presents a method for monitoring cross-sites? processes executed by multiple WS-BPEL (Web Service Business Process Execution Language) processors. Due to the nature of distributed workflow in WS-BPEL, when we make cross-sites? processes visible ...
 
Policy Verification and Validation Framework Based on Model Checking Approach
Found in: Autonomic Computing, International Conference on
By Shinji Kikuchi, Satoshi Tsuchiya, Motomitsu Adachi, Tsuneo Katsuyama
Issue Date:June 2007
pp. 1
Policy-based management is drawing attention as a solution to managing today?s complex information systems. To be dependable, a policy-based system must be able to check the validity of a policy written by administrators. However, common test methods such ...
 
Constraint Verification for Concurrent System Management Workflows Sharing Resources
Found in: Autonomic and Autonomous Systems, International Conference on
By Shinji Kikuchi, Satoshi Tsuchiya, Motomitsu Adachi, Tsuneo Katsuyama
Issue Date:June 2007
pp. 23
Workflow is an effective way to define and specify the behavior of autonomic systems which manage themselves. However, when a system is working following several workflows sharing resources, it is very difficult to analyze the behavior of the systems with ...
 
A Proposal of the New Architectural and Mathematical Control Model for Maintaining SLA of Composite Web Services
Found in: Enterprise Distributed Object Computing Conference Workshops, IEEE International
By Shinji Kikuchi, Yohsuke Isozaki, Yoshihiro Kanna
Issue Date:September 2008
pp. 76-86
Recently, the certain demand in regards to available elemental services provided by other independent firms for compositing new services has increased. However, under current status, whenever it is hard to maintain the required level of quality of the new ...
 
Monitoring Cross-Site Processes Executed across Heterogeneous WS-BPEL Processors
Found in: Enterprise Distributed Object Computing Conference Workshops, IEEE International
By Yohsuke Isozaki, Yoshihiro Kanna, Koki Kato, Tsuyoshi Kanai, Daisuke Miyamoto, Shinji Kikuchi
Issue Date:September 2008
pp. 389-392
Monitoring on heterogeneous large-scale business process is crucial for system management. But heterogeneous large-scale business processes cannot be satisfactorily monitored because there is no interoperability among process monitoring functions provided ...
 
Online failure prediction in cloud datacenters by real-time message pattern learning
Found in: 2012 IEEE 4th International Conference on Cloud Computing Technology and Science (CloudCom)
By Yukihiro Watanabe,Hiroshi Otsuka,Masataka Sonoda,Shinji Kikuchi,Yasuhide Matsumoto
Issue Date:December 2012
pp. 504-511
Once failures occur in a cloud datacenter accommodating a large number of virtual resources, they tend to spread rapidly and widely, impacting on many cloud users (tenant owners). One of the best ways to prevent a failure from spreading in the system is id...
 
Applying cloud computing model in PHR architecture
Found in: Proceedings of the 2012 Joint International Conference on Human-Centered Computer Environments (HCCE '12)
By Shelly Sachdeva, Shinji Kikuchi, Subhash Bhalla
Issue Date:March 2012
pp. 236-237
In recent years, some practical and commercial Personal Health Records and some related services such as Google Health [1] and Microsoft HealthVault [2] have been launched. On the other hand, Cloud Computing has matured more and become the major streams to...
     
 1