|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
Results
Found 3 publication records. Showing 3 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
34 | Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari 0002, Roberto Zunino |
Semantics-Based Design for Secure Web Services. |
IEEE Trans. Software Eng. |
2008 |
DBLP DOI BibTeX RDF |
call-by-contract, Web services, static analysis, language-based security, system verification |
20 | Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari 0002, Roberto Zunino |
Call-by-Contract for Service Discovery, Orchestration and Recovery. |
Results of the SENSORIA Project |
2011 |
DBLP DOI BibTeX RDF |
|
10 | Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari 0002, Roberto Zunino |
Secure Service Orchestration. |
FOSAD |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #3 of 3 (100 per page; Change: )
|
|