|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12 occurrences of 12 keywords
|
|
|
|
|
Results
Found 29 publication records. Showing 29 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Antonio Manzalini, Nermin Brgulja, Corrado Moiso, Roberto Minerva |
Autonomic Nature-Inspired Eco-systems.  |
Transactions on Computational Science  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Manzalini, Peter H. Deussen, S. Nechifor, Marco Mamei, Roberto Minerva, Corrado Moiso, A. Salden, T. Wauters, Franco Zambonelli |
Self-optimized Cognitive Network of Networks. |
Comput. J. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Ferrari, Antonio Manzalini, Corrado Moiso, Peter H. Deussen |
Highly Distributed Supervision for Autonomic Networks and Services. |
AICT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco De Pellegrini, Iacopo Carreras, Daniele Miorandi, Imrich Chlamtac, Corrado Moiso |
R-P2P: a data centric DTN middleware with interconnected throwboxes. |
Autonomics |
2008 |
DBLP DOI BibTeX RDF |
middleware, DHT, delay tolerant networks, opportunistic communications |
| 1 | Maurice H. ter Beek, Corrado Moiso, Marinella Petrocchi |
Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks. |
AICT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Piergiorgio Bertoli, Laura Ferrari, Raman Kazhamiakin, Corrado Moiso, Marco Pistore, Ermes Thuegaz |
Design and Analysis of the Composed Telecom Services. |
ICSOC Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Grazia Buscemi, Laura Ferrari, Corrado Moiso, Ugo Montanari |
Constraint-Based Policy Negotiation and Enforcement for Telco Services. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Piergiorgio Bertoli, Laura Ferrari, Raman Kazhamiakin, Corrado Moiso, Marco Pistore, Ermes Thuegaz |
Design and Verification ofWeb Services Compositions in the Telecommunication Domain. |
ICWS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti, Corrado Moiso |
Formal Modelling and Verification of an Asynchronous Extension of SOAP. |
ECOWS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Corin, Gaetano Di Caprio, Sandro Etalle, Stefania Gnesi, Gabriele Lenzini, Corrado Moiso |
A Formal Security Analysis of an OSA/Parlay Authentication Interface. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
Formal Verification of Security, OSA/Parlay API, Industrial Test Case |
| 1 | Maurizio Morisio, Daniele Romano, Corrado Moiso |
Framework Based Software Development: Investigating the Learning Effect. |
IEEE METRICS |
1999 |
DBLP DOI BibTeX RDF |
learning, case study, software reuse, application framework |
| 1 | Pier Giorgio Bosco, D. Lo Giudice, Giovanni Martini, Corrado Moiso |
ACE: An Environment for Specifying, Developing and Generating TINA Services. |
Integrated Network Management |
1997 |
DBLP BibTeX RDF |
|
| 1 | Pier Giorgio Bosco, Giovanni Martini, Corrado Moiso |
TINA ACE: An Environment for Specifying, Developing and Generating TINA Services. |
ICSE |
1997 |
DBLP DOI BibTeX RDF |
specification validation, CORBA, CASE, behaviour modelling, TINA |
| 1 | Pier Giorgio Bosco, Giovanni Martini, Corrado Moiso |
A Distributed Object-Oriented Platform Based on DCE and C++. |
Open Distributed Processing |
1993 |
DBLP BibTeX RDF |
|
| 1 | Pier Giorgio Bosco, Laura Ferrari, Elio Giovannetti, Corrado Moiso |
An Overview of ALCOHOL: an Applicative Logic Concurrent Object-oriented Higher-Order Language. |
IFIP Congress |
1992 |
DBLP BibTeX RDF |
|
| 1 | Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso, Catuscia Palamidessi |
Comments on "Logic-Programming with Equations". |
J. Log. Program. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi |
Kernel-LEAF: A Logic plus Functional Language. |
J. Comput. Syst. Sci. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Pier Giorgio Bosco, C. Cecchi, Corrado Moiso, M. Porta, G. Sofi |
Logic and Functional Programmin on Distributed Memory Architectures. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
| 1 | Pier Giorgio Bosco, C. Cecchi, Corrado Moiso |
IDEAL & K-LEAF implementation: a progress report. |
PARLE |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Pier Giorgio Bosco, C. Cecchi, Corrado Moiso |
An Extension of WAM for K-LEAF: A WAM-based Compilation of Conditional Narrowing. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
| 1 | Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso |
Narrowing vs. SLD-Resolution. |
Theor. Comput. Sci. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Pier Giorgio Bosco, C. Cecchi, Corrado Moiso |
Exploiting the Full Power of Logic Plus Functional Programming. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
| 1 | Marco Bellia, Pier Giorgio Bosco, Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi |
A Two-Level Approach to Logic plus Functional Programming Integration. |
PARLE |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso |
Refined Strategies for Semantic Unification. |
TAPSOFT, Vol.2 |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Levi, Catuscia Palamidessi, Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso |
A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions. |
SLP |
1987 |
DBLP BibTeX RDF |
|
| 1 | Elio Giovannetti, Corrado Moiso |
Notes on the Elimination of Conditions. |
CTRS |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Elio Giovannetti, Corrado Moiso |
A Completeness Result for E-unification Algorithms Based on Conditional Narrowing. |
Foundations of Logic and Functional Programming |
1986 |
DBLP BibTeX RDF |
|
| 1 | Alberto Martelli, Corrado Moiso, Gianfranco Rossi |
An Algorithm for Unification in Equational Theories. |
SLP |
1986 |
DBLP BibTeX RDF |
|
| 1 | Elio Giovannetti, Corrado Moiso |
Some Aspects of the Integration between Logic Programming and Fiunctional Programming. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
Displaying result #1 - #29 of 29 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")