|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9745 occurrences of 3809 keywords
|
|
|
Results
Found 18491 publication records. Showing 18491 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | Zheng Lu 0001, Aditya Ghose, Peter Hyland, Ying Guan |
Using Assumptions in Service Composition Context. |
IEEE SCC |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Keita Fujii, Tatsuya Suda |
Semantics-based dynamic service composition. |
IEEE J. Sel. Areas Commun. |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Cunsheng Ding, Jin Yuan |
A family of optimal constant-composition codes. |
IEEE Trans. Inf. Theory |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Aleksandra Mojsilovic |
A computational model for color naming and describing color composition of images. |
IEEE Trans. Image Process. |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Jin Xiao, Raouf Boutaba |
QoS-aware service composition in large scale multi-domain networks. |
Integrated Network Management |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Yuan Rao, Zunchao Li, Boqin Feng, Jincang Han |
Architecture-Based Web Service Composition Framework and Strategy. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Daniel C. Bünzli, Sergio Mena, Uwe Nestmann |
Protocol Composition Frameworks A Header-Driven Model. |
NCA |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Marie-Christine Fauvet, Helga Duarte, Marlon Dumas, Boualem Benatallah |
Handling Transactional Properties in Web Service Composition. |
WISE |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Tsz-Chiu Au, Ugur Kuter, Dana S. Nau |
Web Service Composition with Volatile Information. |
ISWC |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Yiannis Cotronis, Paul Polydoras |
Ensemble-2: Dynamic Composition of MPMD Programs. |
PVM/MPI |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Jesús L. Alvaro, Eduardo Reck Miranda, Beatriz Barros |
Music Knowledge Analysis: Towards an Efficient Representation for Composition. |
CAEPIA |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Sibylle B. Fröschle |
Composition and Decomposition in True-Concurrency. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Michael C. Jaeger, Gero Mühl, Sebastian Golze |
QoS-Aware Composition of Web Services: An Evaluation of Selection Algorithms. |
OTM Conferences (1) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Michael C. Jaeger, Gero Mühl, Sebastian Golze |
QoS-Aware Composition of Web Services: A Look at Selection Algorithms. |
ICWS |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Patrick Albert, Laurent Henocque, Mathias Kleiner |
Configuration-Based Workflow Composition. |
ICWS |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone |
Semantic-Based Automated Composition of Distributed Learning Objects for Personalized E-Learning. |
ESWC |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Paramai Supadulchai, Finn Arve Aagesen |
A Framework for Dynamic Service Composition. |
WOWMOM |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Manshan Lin, Heqing Guo, Jianfei Yin |
Goal Description Language for Semantic Web Service Automatic Composition. |
SAINT |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Eunjee Song, Raghu Reddy, Robert B. France, Indrakshi Ray, Geri Georg, Roger T. Alexander |
Verifiable composition of access control and application features. |
SACMAT |
2005 |
DBLP DOI BibTeX RDF |
modeling, UML, verification, RBAC |
18 | Tal Hassner, Lihi Zelnik-Manor, George Leifman, Ronen Basri |
Minimal-Cut Model Composition. |
SMI |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Iria Estévez-Ayres, Marisol García-Valls, Pablo Basanta-Val |
Static Composition of Service-Based Real-Time Applications. |
SEUS |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Jianqiang Hu, Changguo Guo, Huaimin Wang, Peng Zou |
Web Services Peer-to-Peer Discovery Service for Automated Web Service Composition. |
ICCNMC |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Barbara Carminati, Elena Ferrari, Patrick C. K. Hung |
Web Service Composition: A Security Perspective. |
WIRI |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Michael O. Jewell, Lee Middleton, Mark S. Nixon, Adam Prügel-Bennett, Sylvia C. Wong |
A Distributed Approach to Musical Composition. |
KES (3) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Zhijun Ding, Junli Wang, Changjun Jiang |
Semantic Web Service Composition Based on OWL-S. |
SKG |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Xun Liu, Yang Gao 0001, Dong Shao, Ruili Wang |
Feedback based Dynamic Autonomous Web Service Composition. |
SKG |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Hanhua Chen, Hai Jin 0001, Xiaoming Ning, Zhipeng Lu |
Q-SAC: toward QoS optimized service automatic composition. |
CCGRID |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Sheng Huang, Xiaoling Wang, Aoying Zhou |
Efficient Web Service Composition Based on Syntactical Matching. |
EEE |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Kelvin C. Wong, Anders I. Mørch, William K. Cheung 0001, Mason H. Lam, Janti P. Tang |
A Critiquing System to Support English Composition through the Use of Latent Semantic Analysis. |
EEE |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Alberto Martínez, Marta Patiño-Martínez, Ricardo Jiménez-Peris, Francisco Perez-Sorrosal |
ZenFlow: A Visual Web Service Composition Tool for BPEL4WS. |
VL/HCC |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Hwa-Young Jeong |
A Connector Interaction for Software Component Composition with Message Central Processing. |
GCC |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Zhonghua Yang, Jing-Bing Zhang, Jiao Tao, Robert K. L. Gay |
Characterizing Services Composeability and OWL-S Based Services Composition. |
GCC |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Zhuzhong Qian, Sanglu Lu, Li Xie 0001 |
Mobile-Agent-Based Web Service Composition. |
GCC |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Michael Benedikt, Irini Fundulaki |
XML Subtree Queries: Specification and Composition. |
DBPL |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Jian Cao 0001, Jie Wang 0006, Shen-sheng Zhang, Minglu Li 0001 |
A Multi-agent Negotiation Based Service Composition Method for On-demand Service. |
IEEE SCC |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Nikola Milanovic, Miroslaw Malek |
Current Solutions for Web Service Composition. |
IEEE Internet Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Jing Dong 0005, Paulo S. C. Alencar, Donald D. Cowan |
A behavioral analysis and verification approach to pattern-based design composition. |
Softw. Syst. Model. |
2004 |
DBLP DOI BibTeX RDF |
Model checking, Verification, Design patterns, Software components, Software design, Software specification, Hypermedia systems |
18 | Michel Charpentier, K. Mani Chandy |
Specification transformers: a predicate transformer approach to composition. |
Acta Informatica |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Greg Straw, Geri Georg, Eunjee Song, Sudipto Ghosh, Robert B. France, James M. Bieman |
Model Composition Directives. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Xiaochuan Yi, Krys J. Kochut |
A CP-nets-based Design and Verification Framework for Web Services Composition. |
ICWS |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Yongjie Zheng, Alvin T. S. Chan |
Stream Composition for Highly Adaptive and Reconfigurable Mobile Middleware. |
COMPSAC |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Jonghun Park |
Towards the Automatic Composition of Co-Business Processes. |
SAINT Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Soon Ae Chun, Yugyung Lee, James Geller |
Ontological and Pragmatic Knowledge Management for Web Service Composition. |
DASFAA |
2004 |
DBLP DOI BibTeX RDF |
|
18 | ShuiGuang Deng, Zhaohui Wu 0001, Ying Li 0001 |
ASCEND: a framework for automatic service composition and execution in dynamic environment. |
SMC (4) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Nicolas Belloir, Fabien Romeo, Jean-Michel Bruel |
Whole-Part based Composition Approach: A Case Study. |
EUROMICRO |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Hamdan Msheik, Alain Abran, Eric Lefebvre |
Compositional Structured Component Model: Handling Selective Functional Composition. |
EUROMICRO |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Jian Sun 0010, Changjun Jiang |
Web Service Composition Based on BPWS-Net. |
AWCC |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Haitao Hu, Yanbo Han, Kui Huang, Gang Li, Zhuofeng Zhao |
A Pattern-Based Approach to Facilitating Service Composition. |
GCC Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Yu Tang 0014, Ning Jing |
Research on System Architecture and Service Composition of Spatial Information Grid. |
GCC Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Soon Ae Chun, Vijayalakshmi Atluri, Nabil R. Adam |
Policy-Based Web Service Composition. |
RIDE |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella |
: A Tool for Automatic Composition ofServices Based on Logics of Programs. |
TES |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Ismailcem Budak Arpinar, Boanerges Aleman-Meza, Ruoyan Zhang, Angela Maduko |
Ontology-Driven Web Services Composition Platform. |
CEC |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Jianhong Zhang, Shen-sheng Zhang, Jian Cao 0001, Yujie Mou |
Improved HTN Planning Approach for Service Composition. |
IEEE SCC |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Dipanjan Chakraborty 0001, Anupam Joshi |
MobiCom poster: Anamika: distributed service composition architecture for pervasive environments. |
ACM SIGMOBILE Mob. Comput. Commun. Rev. |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Jian Yang 0001, Mike P. Papazoglou, Bart Orriëns, Willem-Jan van den Heuvel |
A Rule Based Approach to the Service Composition Life-Cycle. |
WISE |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Liming Chen 0001, Nigel Shadbolt, Carole A. Goble, Feng Tao 0001, Simon J. Cox, Colin Puleston, Paul R. Smart |
Towards a Knowledge-Based Approach to Semantic Service Composition. |
ISWC |
2003 |
DBLP DOI BibTeX RDF |
|
18 | John Yiannis Cotronis |
Application Composition in Ensemble Using Intercommunicators and Process Topologies. |
PVM/MPI |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Razvan Diaconescu |
Behavioural Specification for Hierarchical Object Composition. |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Stavros Tripakis |
Automated Module Composition. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede |
Web Service Composition Languages: Old Wine in New Bottles?. |
EUROMICRO |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Xiaohui Gu, Klara Nahrstedt, Rong N. Chang, Christopher Ward |
QoS-Assured Service Composition in Managed Service Overlay Networks. |
ICDCS |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Jun Peng, Jie Wang 0006 |
On-Demand Services Composition and Infrastructure Management. |
GCC (1) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Matthias Bossardt, Roman Hoog Antink, Andreas Moser, Bernhard Plattner |
Chameleon: Realizing Automatic Service Composition for Extensible Active Routers. |
IWAN |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Andreas Ulbrich, Torben Weis, Kurt Geihs |
QoS Mechanism Composition at Design-Time and Runtime. |
ICDCS Workshops |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Gregor Snelting, Frank Tip |
Semantics-Based Composition of Class Hierarchies. |
ECOOP |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Farhad Arbab, Farhad Mavaddat |
Coordination through Channel Composition. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Chin-Feng Lin, Yeh-Ching Chung, Don-Lin Yang |
TRLE - An Efficient Data Compression Scheme for Image Composition of Parallel Volume Rendering Systems. |
CW |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Wim Vanderperren, Bart Wydaeghe |
Towards a New Component Composition Process. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Hoijin Yoon, Byoungju Choi |
An Effective Testing Technique for Component Composition in EJBs. |
APSEC |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Kazuhiro Kiwata, Atsushi Nakano, Shunsuke Yura, Tomotaka Uchihashi, Atsushi Kanai |
Scenario-Based Service Composition Method in the Open Service Environment. |
ISADS |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Herbert Klaeren, Elke Pulvermüller, Awais Rashid, Andreas Speck |
Aspect Composition Applying the Design by Contract Principle. |
GCSE |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Jamal Malki, Laurent Mascarilla, El-Hadi Zahzah, Patrice Boursier |
Directional Relations Composition by Orientation Histogram Fusion. |
ICPR |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Jing Dong |
A logical framework for design composition. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
verification, formal methods, component-based software enginering, design components |
18 | Jieqing Feng, Qunsheng Peng 0001 |
B-Spline Free-Form Deformation of Polygonal Objects through Fast Functional Composition. |
GMP |
2000 |
DBLP DOI BibTeX RDF |
B-spline, symbolic computation, Free-form deformation, polynomial interpolation |
18 | Mathis Löthe |
Knowledge Based Automatic Composition and Variation of Melodies for Minuets in Early Classical Style. |
KI |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Laurence Melloul, Dorothea Beringer, Neal Sample, Gio Wiederhold |
CPAM, A Protocol for Software Composition. |
CAiSE |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Ransom Richardson, Joe Kilian |
On the Concurrent Composition of Zero-Knowledge Proofs. |
EUROCRYPT |
1999 |
DBLP DOI BibTeX RDF |
Asynchronous Attacks, Black-box Simulation, Zero Knowledge |
18 | Scott Johnson 0002, Farnam Jahanian, Jigney Shah |
The Inter-group Router Approach to Scalable Group Composition. |
ICDCS |
1999 |
DBLP DOI BibTeX RDF |
scalable multicast, ordering semantics, distributed systems, Group communication, fault-tolerant communication |
18 | Pietro Cenciarelli |
An Algebraic View of Program Composition. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Gurdip Singh, I. Buricea, Zhenyu Mao |
Composition of Service Specifications. |
ICNP |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Mark R. Heckman, Karl N. Levitt |
Applying the Composition Principle to Verify a Hierarchy of Security Servers. |
HICSS (3) |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Wayne Liu, Stephen Mann |
An Optimal Algorithm for Expanding the Composition of Polynomials. |
ACM Trans. Graph. |
1997 |
DBLP DOI BibTeX RDF |
polynomial compostion, simplices, blossoming |
18 | Baher A. El-Geresy |
The Space Algebra: Spatial Reasoning without Composition Tables. |
ICTAI |
1997 |
DBLP DOI BibTeX RDF |
Knowledge Representation, Qualitative Reasoning, Reasoning Under Uncertainty |
18 | Maria C. F. Ferreira, Delia Kesner, Laurence Puel |
Lambda-Calculi with Explicit Substitutions and Composition Which Preserve Beta-Strong Normalization. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Ramesh V. Peri, William A. Wulf, Darrell M. Kienzle |
A Logic of Composition for Information Flow Predicates. |
CSFW |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Olaf Burkart, Bernhard Steffen |
Pushdown Processes: Parallel Composition and Model Checking. |
CONCUR |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Tony DeRose, Ronald N. Goldman, Hans Hagen, Stephen Mann |
Functional Composition Algorithms via Blossoming. |
ACM Trans. Graph. |
1993 |
DBLP DOI BibTeX RDF |
Be´zier curves, tensor-product surface patches, triangular Be´zier surface patches, B-splines, free-form deformations, computer-aided geometric design |
18 | Pierre Collette |
Application of the Composition Principle to Unity-like Specifications. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Limor Fix, Nissim Francez, Orna Grumberg |
Program Composition via Unification. |
ICALP |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Ondrej Rysavý, Jaroslav Ráb |
A formal model of composing components: the TLA+ approach. |
Innov. Syst. Softw. Eng. |
2009 |
DBLP DOI BibTeX RDF |
Composing specifications, Synchronous mode of executions, Temporal logic of actions, Component model, Hierarchical specifications |
18 | Claudia Szabo, Yong Meng Teo |
An Approach for Validation of Semantic Composability in Simulation Models. |
PADS |
2009 |
DBLP DOI BibTeX RDF |
semantic composability, simulation, component, validation |
18 | Lianne Bodenstaff, Andreas Wombacher, Manfred Reichert, Michael C. Jaeger |
Analyzing Impact Factors on Composite Services. |
IEEE SCC |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Nadia Ranaldo, Giancarlo Tretola, Eugenio Zimeo |
Scheduling ProActive activities with an XPDL-based workflow engine. |
IPDPS |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Kerry L. Taylor, Paul Brebner, Michael Kearney, Dana Zhang, Kelly Lam, Vladimir Tosic |
Towards Declarative Monitoring of Declarative Service Compositions. |
ICDE Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Vandana Gummuluru, Su-Shing Chen |
An Intelligent System for Searching Genomic Sequences. |
BIBE |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Jens Lemcke, Andreas Friesen |
Composing Web-service-like Abstract State Machines (ASMs). |
IEEE SCW |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Mathias Röhl, Adelinde M. Uhrmacher |
Composing simulations from XML-specified model components. |
WSC |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Jeyarajan Thiyagalingam, Vladimir Getov |
A Metadata Extracting Tool for Software Components in Grid Applications. |
John Vincent Atanasoff Symposium |
2006 |
DBLP DOI BibTeX RDF |
|
18 | K. Vidyasankar, V. S. Ananthanarayana |
Binding and Execution of Web Service Compositions. |
WISE |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Anis Charfi, Mira Mezini |
Using Aspects for Security Engineering of Web Service Compositions. |
ICWS |
2005 |
DBLP DOI BibTeX RDF |
|
|
|