|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 24 occurrences of 21 keywords
|
|
|
Results
Found 113 publication records. Showing 113 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Marco Alberti 0001, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni |
Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WS-FM ![In: Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings, pp. 58-72, 2006, Springer, 3-540-38862-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Michele Boreale, Roberto Bruni, Luís Caires, Rocco De Nicola, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, António Ravara, Davide Sangiorgi, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro |
SCC: A Service Centered Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WS-FM ![In: Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings, pp. 38-57, 2006, Springer, 3-540-38862-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi |
A Formal Approach to Service Component Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WS-FM ![In: Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings, pp. 193-213, 2006, Springer, 3-540-38862-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Gero Decker, Johannes Maria Zaha, Marlon Dumas |
Execution Semantics for Service Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WS-FM ![In: Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings, pp. 163-177, 2006, Springer, 3-540-38862-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Stephen T. Gilmore, Mirco Tribastone |
Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WS-FM ![In: Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings, pp. 214-226, 2006, Springer, 3-540-38862-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, Luca Padovani |
A Formal Account of Contracts for Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WS-FM ![In: Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings, pp. 148-162, 2006, Springer, 3-540-38862-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Raman Kazhamiakin, Marco Pistore |
Choreography Conformance Analysis: Asynchronous Communications and Information Alignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WS-FM ![In: Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings, pp. 227-241, 2006, Springer, 3-540-38862-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Xiangpeng Zhao, Hongli Yang, Zongyan Qiu |
Towards the Formal Model and Verification of Web Service Choreography Description Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WS-FM ![In: Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings, pp. 273-287, 2006, Springer, 3-540-38862-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon 0001 |
Verified Reference Implementations of WS-Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WS-FM ![In: Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings, pp. 88-106, 2006, Springer, 3-540-38862-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Vito |
Dynamic Constraint-Based Invocation of Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WS-FM ![In: Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings, pp. 138-147, 2006, Springer, 3-540-38862-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Mario Bravetti, Manuel Núñez 0001, Gianluigi Zavattaro (eds.) |
Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
WS-FM ![Springer, 3-540-38862-1 The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Gregorio Díaz 0001, María-Emilia Cambronero, Llanos Tobarra, Valentín Valero, Fernando Cuartero |
Analysis and Verification of Time Requirements Applied to the Web Services Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WS-FM ![In: Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings, pp. 178-192, 2006, Springer, 3-540-38862-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Bruni, Hernán C. Melgratti, Emilio Tuosto |
Translating Orc Features into Petri Nets and the Join Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WS-FM ![In: Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings, pp. 123-137, 2006, Springer, 3-540-38862-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #113 of 113 (100 per page; Change: ) Pages: [ <<][ 1][ 2] |
|