Search results for "service verification"

Found 10 publication records. Showing 10 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Yu Bai, Yaoxue Zhang, Yuezhi Zhou, Laurence Tianruo Yang	A Non-functional Property Based Service Selection and Service Verification Model.	UIC	2011	DBLP DOI BibTeX RDF
1	K. S. May Chan	Formal methods for web services: a taxonomic approach.	ICSE	2010	DBLP DOI BibTeX RDF	service development life-cycle, service verification, web service, formal methods, web application
1	Li Li, Wu Chou	Automatic Message Flow Analyses for Web Services Based on WSDL.	ICWS	2007	DBLP DOI BibTeX RDF
1	Wen-Li Dong, Hang Yu	Web Service Testing Method Based on Fault-coverage.	EDOC Workshops	2006	DBLP DOI BibTeX RDF
1	Dimitris Apostolou, Ljiljana Stojanovic, Tomás Pariente Lobo, Jofre Casas Miró, Andreas Papadakis	Configuring E-Government Services Using Ontologies.	I3E	2005	DBLP DOI BibTeX RDF	ontologies, semantic technologies, e-Government services
1	Shanshan Jiang, Cyril Carrez, Finn Arve Aagesen	Automatic Translation of Service Specification to a Behavioral Type Language for Dynamic Service Verification.	RISE	2004	DBLP DOI BibTeX RDF
1	Manish Jain, Constantinos Dovrolis	End-to-end available bandwidth: measurement methodology, dynamics, and relation with TCP throughput.	IEEE/ACM Trans. Netw.	2003	DBLP DOI BibTeX RDF	bulk transfer capacity, TCP/IP, network capacity, active probing, bottleneck bandwidth, packet pair dispersion
1	Hai Zhuge, Jie Liu, Lianhong Ding, Xue Chen	A Semantic-Based Web Service Integration Approach and Tool.	GCC	2003	DBLP DOI BibTeX RDF
1	Abdelhakim Hafid, Jan de Meer, Axel Rennoch, Rudolf Roth	Quality of Service Verification Experiments.	MMNET	1995	DBLP BibTeX RDF
1	Abdelhakim Hafid, Jan de Meer, Alex Rennoch, Gregor von Bochmann, Rachida Dssouli	Quality of service verification experiments.	CASCON	1994	DBLP DOI BibTeX RDF

Displaying result #1 - #10 of 10 (100 per page; Change: )