Search For:

Displaying 1-50 out of 95 total
Dynamic Invocation Model of Web Services Using Subsumption Relations
Found in: Web Services, IEEE International Conference on
By Shinichi Nagano, Tetsuo Hasegawa, Akihiko Ohsuga, Shinichi Honiden
Issue Date:June 2004
pp. 150
Enterprise information systems are currently developed as Web-based applications in the service-oriented architecture style, which is implied by the stack of Web services standards. One of the most critical aspects in enterprise information systems is to m...
 
Fast Wide Area Live Migration with a Low Overhead through Page Cache Teleportation
Found in: 2013 13th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid)
By Soramichi Akiyama,Takahiro Hirofuchi,Ryousei Takano,Shinichi Honiden
Issue Date:May 2013
pp. 78-82
Live migration of virtual machines over a wide area network has many use cases such as cross-data center load balancing, low carbon virtual private clouds, and disaster recovery of IT systems. An efficient wide area live migration method is required becaus...
 
Towards Dynamic Evolution of Self-Adaptive Systems Based on Dynamic Updating of Control Loops
Found in: 2012 IEEE 6th International Conference on Self-Adaptive and Self-Organizing Systems (SASO)
By Hiroyuki Nakagawa,Akihiko Ohsuga,Shinichi Honiden
Issue Date:September 2012
pp. 59-68
Self-adaptive systems, which enable runtime adaptation, are promising ways of dealing with environmental changes, including system intrusions or faults. Such software systems must modify themselves to better fit their environment. One of the main approache...
 
Web Service Selection Algorithm Using Vickrey Auction
Found in: 2012 IEEE 19th International Conference on Web Services (ICWS)
By Atsushi Watanabe,Fuyuki Ishikawa,Yoshiaki Fukazawa,Shinichi Honiden
Issue Date:June 2012
pp. 336-342
The technology for web services has facilitated composition of a new service by combining existing services. The resulting composite service is required to guarantee Quality of Service (QoS), such as price, in addition to the demanded function. Each compos...
 
Multi-objective Service Composition with Time- and Input-Dependent QoS
Found in: 2012 IEEE 19th International Conference on Web Services (ICWS)
By Florian Wagner,Adrian Klein,Benjamin Klopper,Fuyuki Ishikawa,Shinichi Honiden
Issue Date:June 2012
pp. 234-241
Optimizing the Quality-of-Service (QoS) levels of a service workflow is essential for the user satisfaction in Service-oriented Computing. For that purpose, QoS computation models are applied to reflect the actual QoS experienced by the user during service...
 
A Probabilistic Approach for Long-Term B2B Service Compositions
Found in: 2012 IEEE 19th International Conference on Web Services (ICWS)
By Adrian Klein,Florian Wagner,Fuyuki Ishikawa,Shinichi Honiden
Issue Date:June 2012
pp. 259-266
Service composition algorithms are used for realizing loosely coupled interactions in Service-Oriented Computing. Starting from an abstract workflow, concrete services are matched, based on their QoS, with the preferences and constraints of users. Current ...
 
Trust Computation in Web Service Compositions Using Bayesian Networks
Found in: 2012 IEEE 19th International Conference on Web Services (ICWS)
By Mohammad-Reza Motallebi,Fuyuki Ishikawa,Shinichi Honiden
Issue Date:June 2012
pp. 623-625
The concept of trust in web services mainly deals with the degree of belief that a client or a group of clients have over services functioning satisfactorily and providing the expected results. With services being invoked in composition with each other, co...
 
MiyakoDori: A Memory Reusing Mechanism for Dynamic VM Consolidation
Found in: 2012 IEEE 5th International Conference on Cloud Computing (CLOUD)
By Soramichi Akiyama,Takahiro Hirofuchi,Ryousei Takano,Shinichi Honiden
Issue Date:June 2012
pp. 606-613
In Infrastructure-as-a-Service datacenters, the placement of Virtual Machines (VMs) on physical hosts are dynamically optimized in response to resource utilization of the hosts. However, existing live migration techniques, used to move VMs between hosts, n...
 
Extracting Interaction-Based Stateful Behavior in Rich Internet Applications
Found in: Software Maintenance and Reengineering, European Conference on
By Yuta Maezawa,Hironori Washizaki,Shinichi Honiden
Issue Date:March 2012
pp. 423-428
Although asynchronous technologies such as Ajax make Rich Internet Applications (RIAs) responsive, they can result in unexpected behavior due to nondeterministic client-side processing and asynchronous communication. One difficulty in understanding such er...
 
Autonomic Role and Mission Allocation Framework for Wireless Sensor Networks
Found in: Self-Adaptive and Self-Organizing Systems, IEEE International Conference on
By Themistoklis Bourdenas,Kenji Tei,Shinichi Honiden,Morris Sloman
Issue Date:October 2011
pp. 61-70
Pervasive applications incorporate physical components that are exposed to everyday use and a large number of conditions and external factors that can lead to faults and failures. It is also possible that application requirements change during deployment a...
 
Assignment of Sensors for Multiple Tasks Using Path Information
Found in: Embedded and Ubiquitous Computing, IEEE/IFIP International Conference on
By Susumu Toriumi,Shinichi Honiden
Issue Date:October 2011
pp. 120-127
A Â?gsharedÂ?h wireless sensor network (WSN) where multiple users deploy multiple tasks requires a mechanism for resource arbitration. This arbitration can be viewed as a problem with determining how best to assign sensors to tasks. The previous approaches...
 
Efficient Heuristic Approach with Improved Time Complexity for Qos-Aware Service Composition
Found in: Web Services, IEEE International Conference on
By Adrian Klein,Fuyuki Ishikawa,Shinichi Honiden
Issue Date:July 2011
pp. 436-443
Service-Oriented Architecture enables the composition of loosely coupled services provided with varying Quality of Service (QoS) levels. Given a composition, finding the set of services that optimizes some QoS attributes under given QoS constraints has bee...
 
Service Selection with Combinational Use of Functionally-Equivalent Services
Found in: Web Services, IEEE International Conference on
By Nobuaki Hiratsuka,Fuyuki Ishikawa,Shinichi Honiden
Issue Date:July 2011
pp. 97-104
Due to the increase in Web services, many recent studies have been addressing the service selection problem based on non-functional or quality aspects. Our study incorporates combinational use of functionally-equivalent services into the problem to compose...
 
QoS-Aware Automatic Service Composition by Applying Functional Clustering
Found in: Web Services, IEEE International Conference on
By Florian Wagner,Fuyuki Ishikawa,Shinichi Honiden
Issue Date:July 2011
pp. 89-96
With the steadily growing number of service providers the competition becomes more and more intense. In order to find a distinctive edge over other competitors, automatic service composition can be applied to further adapt to the requirements of the users....
 
Bridging the Gap between Semantic Web Service Composition and Common Implementation Architectures
Found in: Services Computing, IEEE International Conference on
By Fuyuki Ishikawa,Satoshi Katafuchi,Florian Wagner,Yoshiaki Fukazawa,Shinichi Honiden
Issue Date:July 2011
pp. 152-159
Semantic web techniques have been leveraged in planning methods for automated service composition. Typically, inputs and outputs of services are described in abstract concepts for efficient and meaningful matching between output of one service and input of...
 
Planning with Utility and State Trajectory Constraints in Self-Healing Automotive Systems
Found in: Self-Adaptive and Self-Organizing Systems, IEEE International Conference on
By Benjamin Klöpper, Shinichi Honiden, Jan Meyer, Matthias Tichy
Issue Date:October 2010
pp. 74-83
Planning is an important method in self-adaptive systems. Existing approaches emphasize the functional properties of the systems but do not consider possible alternative adaptations resulting in system functionality with different grades of quality. In com...
 
Discovery of Configurations for Indoor Wireless Sensor Networks through Use of Simulation in Virtual Worlds
Found in: Sensor Technologies and Applications, International Conference on
By Valentina Baljak, Shinichi Honiden
Issue Date:July 2010
pp. 323-328
Development of wireless sensor networks deals with several difficulties, including time, cost and complexity of testing. In particular, indoor environment poses several specific constraints on radio wave propagation due to density of obstacles. This must b...
 
Business Semantics Centric Reliability Testing for Web Services in BPEL
Found in: Services, IEEE Congress on
By Yongbo Wang, Fuyuki Ishikawa, Shinichi Honiden
Issue Date:July 2010
pp. 237-244
The Business Process Execution Language (BPEL) has become the standard in web service composition, so that been adopted by industries to create mission critical services. The business process reliability especially business process consistency when some se...
 
Thinking Autonomic for Sensing Devices
Found in: Autonomic and Autonomous Systems, International Conference on
By Rémi Sharrock, Amin Cherbal, Levent Gürgen, Thierry Monteil, Shinichi Honiden
Issue Date:March 2010
pp. 20-23
This paper presents a middleware that aims to respond to the increasing management needs of networked sensing devices, such as remote software deployment, dynamic configuration and real-time performance monitoring and tuning. These are essential functions ...
 
Specifying and Checking Refinement Relationships in VDM++
Found in: Software Engineering and Formal Methods, IEEE International Conference on
By Yojiro Kawamata, Christian Sommer, Fuyuki Ishikawa, Shinichi Honiden
Issue Date:November 2009
pp. 220-227
Formal methods allow to verify several properties of specifications and implementations. Intra-specification consistency means that a specification does not contradict itself. When specifications evolve over time, one also wants to check inter-specificatio...
 
Management of Networked Sensing Devices
Found in: Mobile Data Management, IEEE International Conference on
By Levent Gürgen, Shinichi Honiden
Issue Date:May 2009
pp. 502-507
Considerable research has been done on different aspects of sensor networks. However management issues for these devices are still little explored. Nonetheless, with the increasing number of heterogeneous distributed sensors in various application domains,...
 
Model Checking Process with Goal Oriented Requirements Analysis
Found in: Asia-Pacific Software Engineering Conference
By Hideto Ogawa, Fumihiro Kumeno, Shinichi Honiden
Issue Date:December 2008
pp. 377-384
Model checking is a powerful technique for verifying the correctness of a system’s specification. But even when the specification has been verified to be correct, there is still the question of whether the specification covers all the expected behaviors. O...
 
Constructing Self-Adaptive Systems Using a KAOS Model
Found in: Self-Adaptive and Self-Organizing Systems Workshops, IEEE International Conference on
By Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden
Issue Date:October 2008
pp. 132-137
Self-adaptive systems have recently attracted attention as flexible software because they can change their own behaviors to react to changes in their environments. Such systems have also attracted attention in the field of pervasive computing. This paper d...
 
Coordination Protocol Composition Approach Using Metadata in Multi-agent Systems
Found in: Enterprise Distributed Object Computing Conference, IEEE International
By Ryuichi Takahashi, Kenji Tei, Fuyuki Ishikawa, Shinichi Honiden, Yoshiaki Fukazawa
Issue Date:September 2008
pp. 372-378
In e-Business, agents need to coordinate with each other. Coordination protocols that specify the defining orders of message passing are very important. The scale of e-Business grows with the advancement of technology, and the number of agents involved con...
 
Region-Based Sensor Selection for Wireless Sensor Networks
Found in: Sensor Networks, Ubiquitous, and Trustworthy Computing, International Conference on
By Yoshiyuki Nakamura, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
Issue Date:June 2008
pp. 326-331
In a sensor network, the technique that limits the number of sensors used for observation is effective to reduce the energy consumption of each sensor. To limit the number of sensors without sacrificing observation accuracy, an appropriate sensor combinati...
 
Developing Consistent Contractual Policies in Service Composition
Found in: Asia-Pacific Conference on Services Computing. 2006 IEEE
By Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden
Issue Date:December 2007
pp. 527-534
The notion of contracts (or agreements) has been con- sidered useful to promote mutual understanding and con- figuration in service provision between its consumer and provider. However, it has not been discussed how consis- tency can be ensured in multiple...
 
Policy-based Runtime Partner Management in ProcessBased Services
Found in: Web Services, IEEE International Conference on
By Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden
Issue Date:July 2007
pp. 1191-1194
BPEL and similar languages have been provided a foundation for process-based implementation of composite Web services. These languages allow dejinition of orchestration processes without concrete binding information of involved partners. Although this appr...
 
Protocol Selection alongside Service Selection and Composition
Found in: Web Services, IEEE International Conference on
By Jose Ghislain Quenum, Fuyuki Ishikawa, Shinichi Honiden
Issue Date:July 2007
pp. 719-726
This paper addresses the issue of coordination mechanism selection in agent based service oriented computing systems. We aim to strengthen the current research on service selection and composition with a dynamic choice of the underlying coordination mechan...
 
Visualization of Concurrent Program Executions
Found in: Computer Software and Applications Conference, Annual International
By Cyrille Artho, Klaus Havelund, Shinichi Honiden
Issue Date:July 2007
pp. 541-546
Various program analysis techniques are efficient at discovering failures and properties. However, it is often difficult to evaluate results, such as program traces. This calls for abstraction and visualization tools. We propose an approach based on UML se...
 
AOP-based automated unit test classification of large benchmarks
Found in: Computer Software and Applications Conference, Annual International
By Cyrille Artho, Zhongwei Chen, Shinichi Honiden
Issue Date:July 2007
pp. 17-22
Despite the availability of a variety of program analysis tools, evaluation of these tools is difficult, as only few benchmark suites exist. Existing benchmark suites lack the uniformity needed for automation of experiments. We introduce the design of a un...
 
Model Checking Networked Programs in the Presence of Transmission Failures
Found in: Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on
By Cyrille Artho, Christian Sommer, Shinichi Honiden
Issue Date:June 2007
pp. 219-228
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for model checking distributed applications, but does not cover potential communica...
 
Top SE: Educating Superarchitects Who Can Apply Software Engineering Tools to Practical Development in Japan
Found in: Software Engineering, International Conference on
By Shinichi Honiden, Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, Hironori Washizaki
Issue Date:May 2007
pp. 708-718
This paper discusses the Top SE program established to bridge the industry-academia gap. The program features extensive use of software engineering tools, not only to introduce students to the tools, but also as a conduit for learning the techniques and gu...
 
Increasing the Ease of Deployment in Ubiquitous Environments
Found in: Pervasive Computing and Communications Workshops, IEEE International Conference on
By Kazutaka Matsuzaki, Shinichi Honiden
Issue Date:March 2007
pp. 581-584
In the near future, applications with location-aware capabilities could be major development targets in the software industry. The current development frameworks rarely pay attention to developing applications for multiple ubiquitous environments. From the...
 
Dynamic Protocol Selection in Open and Heterogeneous Systems
Found in: Intelligent Agent Technology, IEEE / WIC / ACM International Conference on
By Jose Ghislain Quenum, Samir Aknine, Onn Shehory, Shinichi Honiden
Issue Date:December 2006
pp. 333-341
This paper addresses the problem of dynamic protocol selection in open and heterogeneous multi-agent systems (MAS) for collaborative task performance. Protocols are interaction patterns which help agents coordinate their activities. Usually, agent designer...
 
PID-filtered Negotiation for Decision Making in Dynamic Coverage Problem
Found in: Tools with Artificial Intelligence, IEEE International Conference on
By Satoshi Kataoka, Fuyuki Ishikawa, Shinichi Honiden
Issue Date:November 2006
pp. 481-488
Negotiation between robots is often needed in wireless ad-hoc robot network. In dynamic coverage problem, wireless ad-hoc robots move in the field negotiating with other robots frequently. Robots are tied with P2P network and determine their actions autono...
 
Reduction of the Communication Traffic for Multi-word Searches in DHTs
Found in: Computational Intelligence for Modelling, Control and Automation, International Conference on
By Yuichi Sei, Kazutaka Matsuzaki, Shinichi Honiden
Issue Date:December 2006
pp. 14
In large-scale wireless networks, efficient file searching mechanisms are essential for users. Many studies have been done on a distributed hash tables (DHTs) which are one kind of peer-to-peer system. I n DHT networks, we can certainly and effectively get...
 
Multi-Robot Positioning Model: Multi-Agent Approach
Found in: Computational Intelligence for Modelling, Control and Automation, International Conference on
By Satoshi Kataoka, Shinichi Honiden
Issue Date:December 2006
pp. 112
Dynamic coverage is a problem of multi-robot systems based on wireless ad-hoc networks. The issue of dynamic coverage occurs notably in post-disaster survivor rescue, search operation, and planet exploration. In this paper, we introduce a novel algorithm o...
 
Smartive: Agreement-based Mobile Composite Agents for Multimedia Services
Found in: Computational Intelligence for Modelling, Control and Automation, International Conference on
By Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden
Issue Date:December 2006
pp. 19
This work considers encapsulation of multimedia contents as services, and their autonomous provision and distribution by agents. This approach enables content providers to have their contents provided and distributed together with their own business logics...
 
Analysis of multi-agent systems based on KAOS modeling
Found in: Software Engineering, International Conference on
By Takuya Karube, Shinichi Honiden, Hiroyuki Nakagawa
Issue Date:May 2006
pp. 926-929
The purpose of this study is to reduce the gap between the requirement analysis and analysis phases of developing multi-agent systems. We utilize KAOS, one of the goal-oriented analysis methodologies, as a requirement analysis method, and propose a model t...
 
Web Page Recommender System based on Folksonomy Mining for ITNG ?06 Submissions
Found in: Information Technology: New Generations, Third International Conference on
By Satoshi Niwa, Takuo Doi, Shinichi Honiden
Issue Date:April 2006
pp. 388-393
There have been many attempts to construct web page recommender systems using collaborative filtering. But the domains these systems can cover are very restricted because it is very difficult to assemble user preference data to web pages, and the number of...
 
Incorporating Agreements on Service Options into BPEL-based Services
Found in: Computational Intelligence for Modelling, Control and Automation, International Conference on
By Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden
Issue Date:November 2005
pp. 796-803
To achieve flexibility in Service-Oriented Computing, applied values of service options, such as required payment and application-specific quality values, should be determined and agreed for every pair of a service provider and a consumer, by matching both...
 
Mobile and Cooperative Compounds of Multimedia Services
Found in: Services Computing, IEEE International Conference on
By Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden
Issue Date:July 2005
pp. 129-138
<p>This work proposes a novel model where multimedia contents with their related services (business processes and functions) are packaged together as mobile agents. This is intended to enable content providers both to encapsulate their contents and t...
 
Security Patterns: A Method for Constructing Secure and Efficient Inter-Company Coordination Systems
Found in: Enterprise Distributed Object Computing Conference, IEEE International
By Nobukazu Yoshioka, Shinichi Honiden, Anthony Finkelstein
Issue Date:September 2004
pp. 84-97
As the Internet, intranets and other wide-area open networks grow, novel techniques for building distributed systems notably mobile agents, are attracting increasing attention. This is particularly the case for inter-company system coordination application...
 
Pigeon: A Specification Language for Mobile Agent Applications
Found in: Autonomous Agents and Multiagent Systems, International Joint Conference on
By Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden
Issue Date:July 2004
pp. 1356-1357
Recently, research of formal models and specification languages of mobile agents is growing in order to cope with problems in using mobile agents such as security and control of complicated behaviors including migration. Such models and languages require t...
   
Behavior Descriptions of Mobile Agents for Web Services Integration
Found in: Web Services, IEEE International Conference on
By Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden
Issue Date:June 2004
pp. 342
Web Services technology for interoperability, dynamic discovery and integration of distributed components is to be applied in various environments, such as networks of relatively narrow and unstable wireless connections. However, in such environments it is...
 
Context-Aware Agent Platform in Ubiquitous Environments and Its Verification Tests
Found in: Pervasive Computing and Communications, IEEE International Conference on
By Masanori Hattori, Kenta Cho, Akihiko Ohsuga, Masao Isshiki, Shinichi Honiden
Issue Date:March 2003
pp. 547
This paper deals with
 
Mobile Agent Based Evacuation System When The Battery Runs Out: EASTER
Found in: Pervasive Computing and Communications, IEEE International Conference on
By Heisuke Kaneko, Yoshiaki Fukazawa, Fumihiro Kumeno, Nobukazu Yoshioka, Shinichi Honiden
Issue Date:March 2003
pp. 460
As mobile computing becomes common, the battery issue of mobile computing devices has become increasingly notable. To this end, research and development of various power-conservation devices and methods are actively taking place. However, the conventional ...
 
Behavior Patterns for Mobile Agent Systems from the Development Process Viewpoint
Found in: Autonomous Decentralized Systems, International Symposium on
By Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden
Issue Date:March 2001
pp. 239
As wide-area open networks like the Internet and intranets grow larger, mobile agent technology is attracting more attention. Agents are units of software that can deal with environmental changes and the various requirements of open networks through featur...
 
Bee-gent: Bonding and Encapsulation Enhancement Agent Framework for Development of Distributed Systems
Found in: Asia-Pacific Software Engineering Conference
By Takahiro Kawamura, Tetsuo Hasegawa, Akihiko Ohsuga, Shinichi Honiden
Issue Date:December 1999
pp. 260
Interoperability between different systems is becoming a more important issue as computer networks expand. In this paper, we propose Bee-gent (Bonding and Encapsulation Enhancement Agent), a distributed system development framework that aims to provide coo...
 
Plangent: An Approach To Making Mobile Agents Intelligent
Found in: IEEE Internet Computing
By Akihiko Ohsuga, Yasuo Nagai, Yutaka Irie, Masanori Hattori, Shinichi Honiden
Issue Date:July 1997
pp. 50-57
<p>To be practical, mobile agents must be
 
 1  2 Next >>