|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 24 occurrences of 20 keywords
|
|
|
|
|
Results
Found 17 publication records. Showing 17 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Wonhong Nam, Hyunyoung Kil, Dongwon Lee |
On the computational complexity of behavioral description-based web service composition.  |
Theor. Comput. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyunyoung Kil, Wonhong Nam |
Anytime algorithm for QoS web service composition. |
WWW (Companion Volume) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wonhong Nam, Rajeev Alur |
Active Learning of Plans for Safety and Reachability Goals With Partial Observability. |
IEEE Transactions on Systems, Man, and Cybernetics, Part B |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyunyoung Kil, Seog-Chan Oh, Ergin Elmacioglu, Wonhong Nam, Dongwon Lee |
Graph Theoretic Topological Analysis of Web Service Networks. |
World Wide Web |
2009 |
DBLP DOI BibTeX RDF |
giant component, web services, power-law, matchmaking, small world |
| 1 | Hyunyoung Kil, Wonhong Nam, Dongwon Lee |
Efficient Abstraction and Refinement for Behavioral Description Based Web Service Composition. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Hyunyoung Kil, Wonhong Nam, Dongwon Lee |
Automatic web service composition with abstraction and refinement. |
WWW |
2009 |
DBLP DOI BibTeX RDF |
refinement, abstraction, service composition |
| 1 | Wonhong Nam, Hyunyoung Kil, Jungjae Lee |
QoS-Driven Web Service Composition Using Learning-Based Depth First Search. |
CEC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wonhong Nam, P. Madhusudan, Rajeev Alur |
Automatic symbolic compositional verification by learning assumptions. |
Formal Methods in System Design |
2008 |
DBLP DOI BibTeX RDF |
Regular language learning, Formal verification, Symbolic model checking, Compositional verification, Assume-guarantee reasoning, Hypergraph partitioning |
| 1 | Hyunyoung Kil, Wonhong Nam, Dongwon Lee |
DL2Go: Editable Digital Libraries in the Pocket. |
ICADL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyunyoung Kil, Wonhong Nam, Dongwon Lee |
Computational Complexity of Web Service Composition Based on Behavioral Descriptions. |
ICTAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wonhong Nam, Hyunyoung Kil, Dongwon Lee |
Type-Aware Web Service Composition Using Boolean Satisfiability Solver. |
CEC/EEE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wonhong Nam, Rajeev Alur |
Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, P. Madhusudan, Wonhong Nam |
Symbolic computational techniques for solving games. |
STTT |
2005 |
DBLP DOI BibTeX RDF |
QBF solving, Games, Formal verification, Symbolic model checking, Bounded model checking |
| 1 | Rajeev Alur, Pavol Cerný, P. Madhusudan, Wonhong Nam |
Synthesis of interface specifications for Java classes. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
behavioral interfaces, learning regular languages, model checking, games, abstraction, synthesis, software components |
| 1 | Rajeev Alur, P. Madhusudan, Wonhong Nam |
Symbolic Compositional Verification by Learning Assumptions. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, David Arney, Elsa L. Gunter, Insup Lee, Jaime Lee, Wonhong Nam, Frederick Pearce, Stephen Van Albert, Jiaxiang Zhou |
Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System. |
STTT |
2004 |
DBLP DOI BibTeX RDF |
CARA system, Requirements formalization, Formal methods, Safety-critical systems, Software verification |
| 1 | P. Madhusudan, Wonhong Nam, Rajeev Alur |
Symbolic computational techniques for solving games. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")