Pubblicazioni
Pubblicazioni trovate: 405
- Verifying Business Process Compliance by Reasoning about Actions
Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gianluca Pozzato, Daniele Theseider Dupré
Apparso su TR-INF-2010-05-02-UNIPMN, Ed. Computer Science Department, UPO, 2010 - Lightweight Data Indexing and Compression in External Memory
Paolo Ferragina, Travis Gagie, Giovanni Manzini
Apparso su Proc. 9th Latin American Theoretical Informatics Symposium (LATIN '10), 2010, Pagine: 698-711 - A Case-based Approach to Business Process Monitoring
Stefania Montani, Giorgio Leonardi
Apparso su TR-INF-2010-03-01-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2010 - From partially to fully lumped Markov chains in stochastic well formed Petri nets
Soheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis
Apparso su VALUETOOLS, 2009, Pagine: 43 - Interfaces and binding in component based development of formal models
Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Francesco Moscato, Valeria Vittorini
Apparso su VALUETOOLS, 2009, Pagine: 44 - Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings
Giuliana Franceschinis, Karsten Wolf
Apparso su Petri Nets Vol. 5606, Ed. Springer, 2009 - Tagged Generalized Stochastic Petri Nets
G. Balbo, Massimiliano De Pierro, Giuliana Franceschinis
Apparso su EPEW, 2009, Pagine: 1-15 - The GreatSPN tool: recent enhancements
Soheib Baarir, Marco Beccuti, Davide Cerotti, Massimiliano De Pierro, Susanna Donatelli, Giuliana Franceschinis
Apparso su SIGMETRICS Performance Evaluation Review Vol. 36 n. 4, 2009, Pagine: 4-9 - At your service: Service-Oriented Computing from an EU perspective
D. Ardagna, L. Ardissono, S. Bocconi, C. Cappiello, L. Console, M-O Cordier, P. Dague, K. Drira, J. Eder, G. Friedrich, M. Fugini, Roberto Furnari, A. Goy, K. Guennoun, A. Hess, V. Ivanchenko, X. Le Guillou, M. Lehmann, Y. Li, J. Mangler, T. Melliti, S. Modafferi, E. Mussi, Y. Pencolè, B. Pernici, G. Petrone, C. Picardi, X. Pucel, S. Robin, L. Rozè, M. Segnan, A. Subias, A. Tahamtan, A. Ten Tejie, Daniele Theseider Dupré, L. Travé-Massuyès, F. Van Harmelen, T. Vidal
Ed. MIT Press, 2009, Pagine: 213--239 - Abductive Problem Solving with Abstractions
Daniele Theseider Dupré, G. Torta
Apparso su Proc. Eighth Symposium on Abstraction, Reformulation and Approximation (SARA2009), 2009
Pagine: « < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 > »
