Search For:

Displaying 1-6 out of 6 total
Formal Verification of a Gravity-Induced Loss-of-Consciousness Monitoring System for Aircraft
Found in: Computing in Science & Engineering
By Seonmo Kim,Wonhong Nam,Hyunyoung Kil,Myunghwan Park
Issue Date:September 2014
pp. 96-103
Military-related industries have developed many high-gravity aircraft, such as high-performance fighters and aerobatic aircrafts, which can maneuver beyond the acceleration tolerance limit of human beings. Gravity-induced loss of consciousness (GLOC) due t...
 
QoS-Driven Web Service Composition Using Learning-Based Depth First Search
Found in: E-Commerce Technology, IEEE International Conference on
By Wonhong Nam, Hyunyoung Kil, Jungjae Lee
Issue Date:July 2009
pp. 507-510
The goal of the Web Service Composition (WSC) problem is to find an optimal composition of web services to satisfy a given request using their syntactic and/or semantic features. In this paper, in particular, we study the Quality of Services (QoS)-driven W...
 
Type-Aware Web Service Composition Using Boolean Satisfiability Solver
Found in: E-Commerce Technology and Enterprise Computing, E-Commerce and E-Services, IEEE Conference and Fifth IEEE Conference
By Wonhong Nam, Hyunyoung Kil, Dongwon Lee
Issue Date:July 2008
pp. 331-334
The goal of the Web Service Composition (WSC) problem is to find an optimal
 
Anytime algorithm for QoS web service composition
Found in: Proceedings of the 20th international conference companion on World wide web (WWW '11)
By Hyunyoung Kil, Wonhong Nam
Issue Date:March 2011
pp. 71-72
The QoS-aware web service composition (WSC) problem aims at the automatic construction of a composite web service with the optimal accumulated QoS value. It is, however, intractable to solve the QoS-aware WSC problem for large scale instances, since the pr...
     
Automatic web service composition with abstraction and refinement
Found in: Proceedings of the 18th international conference on World wide web (WWW '09)
By Dongwon Lee, Hyunyoung Kil, Wonhong Nam
Issue Date:April 2009
pp. 66-66
The behavioral description based Web Service Composition (WSC) problem aims at the automatic construction of a coordinator web service that controls a set of web services to reach a goal state. However, solving the WSC problem exactly with a realistic mode...
     
Synthesis of interface specifications for Java classes
Found in: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages (POPL '05)
By P. Madhusudan, Pavol Cerny, Rajeev Alur, Wonhong Nam
Issue Date:January 2005
pp. 330-341
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequencing of method calls the client must invoke is usually undocumented. In this ...
     
 1