Vai alla Homepage del Portale
Dipartimento di Informatica - Scienza e Ingegneria

Pubblicazioni

2004 Elimina filtro
Contributo in atti di convegno Elimina filtro

193 pubblicazioni

  • Gessa N.; De Sabbata P.; Marzocchi M.; Vitali F., Moda-ML: Building a collaborative sectoral framework based on ebXML, in: null, 2004, 125, pp. 297 - 300 (atti di: CAISE '04 Workshop, Riga (Latvia), June 7-11 2004) [Contributo in Atti di convegno]

  • L. Margara; A. Pistocchi; M. Vassura, Perfect Token Distribution on Trees, in: LNCS, 11th Colloquium on Structural Information and Communication Complexity, BERLIN, Springer-Verlag, 2004, 3104, pp. 221 - 232 (atti di: 11th Colloquium on Structural Information and Communication Complexity (SIROCCO 2004), Slovakia, June, 21-23) [Contributo in Atti di convegno]

  • V.Ciaschini; R.Gorrieri, Contrasting Malicious Applets by Modifying the Java Virtual Machine, in: Security and Protection in Information Processing Systems, NEW YORK, Kluwer, 2004, pp. 47 - 64 (atti di: IFIP 18th WorldComputer Congress, TC11 19th International Information Security Conference, Toulouse, France., 22-27 August 2004,) [Contributo in Atti di convegno]

  • A. Bolognesi; P. Ciancarini, Computer Programming of Kriegspiel Endings: the case of KR vs K, in: Advances in Computer Games. Many Games, Many challenges. IFIP International Federation for Information Processing, BERLIN - HEIDELBERG, Kluwer, 2004, IFIP 135, pp. 325 - 342 (atti di: Advances in Computer Games 10, Ganz, Austria, Sept. 2003) [Contributo in Atti di convegno]

  • P. Ciancarini; V. Presutti, Towards Ontology Driven Software Design, in: Radical Innovations of Software and Systems Engineering in the Future, RISSEF, Revised Papers, BERLIN HEIDELBERG, Springer, 2004, LNCS 2941, pp. 122 - 136 (atti di: Monterey Workshop, Venezia, Italy, 2003) [Contributo in Atti di convegno]

  • G. Moro; A.M. Ouksel, G-Grid: A Class of Scalable and Self-Organizing Data Structures for Multi-dimensional Querying and Content Routing in P2P Networks., in: Agents and Peer-to-Peer Computing 2003, BERLIN, Springer, 2004, 2872 (2004), pp. 123 - 137 (atti di: Agents and Peer-to-Peer Computing 2003, Melbourne, Australia, July 2003) [Contributo in Atti di convegno]

  • A.Roli, Symmetry-Breaking and Local Search: A Case Study, in: Proceedings of SymCon'04 - The Fourth International Workshop on Symmetry and Constraint Satisfaction Problems, s.l, s.n, 2004, pp. 88 - 94 (atti di: SymCon'04 - The Fourth International Workshop on Symmetry and Constraint Satisfaction Problems, Toronto (Canada), 27 September 2004) [Contributo in Atti di convegno]

  • A.Roli, On the impact of small-world constraint graphs on local search, in: Proceedings of LSCS2004 - 1st International Workshop on Local Search Techniques in Constraint Satisfaction, s.l, s.n, 2004, pp. 33 - 47 (atti di: LSCS2004 - 1st International Workshop on Local Search Techniques in Constraint Satisfaction, Toronto (Canada), 27 September 2004) [Contributo in Atti di convegno]

  • P. Salomoni; S. Mirri, A Multimedia Broker for Ubiquitous and Accessible Rich Media Content Transcoding, in: GlobeCom 2004 - 1st International Workshop on Networking Issues in Multimedia Entertainment (NIME 2004), PISCATAWAY, NJ, IEEE Computer Society, 2004, pp. 186 - 191 (atti di: IEEE Global Telecommunications Conference 2004 (GlobeCom 2004), Dallas, Texas, USA, 29 novembre - 3 dicembre 2004) [Contributo in Atti di convegno]

  • A. Nandan; G. Pau; P. Salomoni, GhostShare - Reliable and Anonymous P2P Video Distribution, in: GlobeCom 2004 - 1st International Workshop on Networking Issues in Multimedia Entertainment (NIME 2004), PISCATAWAY, NJ, USA, IEEE Communication Society, 2004, pp. 200 - 210 (atti di: IEEE Global Telecommunications Conference 2004 (GlobeCom 2004), Dallas, Texas, USA, 29 novembre - 3 dicembre 2004) [Contributo in Atti di convegno]

  • S. Balsamo; R. Mamprin; M. Marzolla, Performance Evaluation of Software Architectures with Queueing Network models, in: Proc. European Simulation and Modeling Conference 2004 (ESMc'04), s.l, EUROSIS-ETI, 2004, pp. 206 - 213 (atti di: European Simulation and Modeling Conference 2004 (ESMc'04), UNESCO, Paris, France, October 25—27, 2004) [Contributo in Atti di convegno]

  • M. Marzolla; S. Balsamo, UML-PSI: The UML Performance SImulator, in: Proc. of the First International Conference on the Quantitative Evaluation of Systems (QEST 2004), LOS ALAMITOS, IEEE Computer Society, 2004, pp. 27 - 30 (atti di: First International Conference on the Quantitative Evaluation of Systems (QEST 2004), Enschede, The Netherlands, September 27–30, 2004) [Contributo in Atti di convegno]

  • M. Marzolla, libcppsim: a Simula-like, Portable Process-Oriented simulation library in C++, in: Proceedings of ESM'04, the 18th European Simulation Multiconference, s.l, SCS, 2004, pp. 222 - 227 (atti di: ESM'04, the 18th European Simulation Multiconference, Magdeburg, Germany, jun 13–16 2004) [Contributo in Atti di convegno]

  • S. Balsamo; A. di Marco; P. Inverardi; M. Marzolla, Experimenting different Software Architectures Performance Techniques: A Case Study, in: WOSP'04, s.l, ACM Press, 2004, pp. 115 - 119 (atti di: Proceedings of the Fourth International Workshop on Software and Performance, WOSP 2004, Redwood Shores, CA, January 14-16, 2004) [Contributo in Atti di convegno]

  • BRUNI R.; FIADEIRO J. L.; LANESE I.; LOPES A.; MONTANARI U., New Insights on Architectural Connectors, in: Proceedings of IFIP TCS 2004, 3rd IFIP International Conference on Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics, ALPHEN AAN DEN RIJN, Kluwer Academics, «IFIP INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING», 2004, 155, pp. 367 - 379 (atti di: 3rd IFIP International Conference on Theoretical Computer Science, Toulose, France, 24-26/8/2004) [Contributo in Atti di convegno]

  • LANESE I.; MONTANARI U., Synchronization Algebras with Mobility for Graph Transformations, in: Proceedings of the Workshop on the Foundations of Global Ubiquitous Computing (FGUC 2004), Amsterdam, Elsevier B.V., 2004, 138, pp. 43 - 60 (atti di: FCUC'04, Joint 3rd workshop on the (SGUC) Grand Challenge and 3rd EATCS Workshop in the Foundations of Global Computing, London, UK, 3-4/9/2004,) [Contributo in Atti di convegno]

  • LANESE I.; MONTANARI U., A Graphical Fusion Calculus, in: Proceedings of the Workshop of the COMETA Project on Computational Metamodels, Amsterdam, Elsevier B.V., 2004, 104, pp. 199 - 215 (atti di: Workshop of the COMETA Project on Computational Metamodels, Udine, Italy, 15-17/12/2003) [Contributo in Atti di convegno]

  • D. Bottazzi; A.Corradi; R. Montanari, Context-Aware Group Communication in Mobile Ad-Hoc Networks, in: Wired/Wireless Internet Communications, Lecture Notes in Computer Science, 2004, DOI: 10.1007/978-3-540-24643-5_4, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2004, 2957, pp. 38 - 47 (atti di: 2nd Conference on Wired/Wireless Internet Communications (WWIC 2004),, Frankfurt, DE, February 4-6, 2004) [Contributo in Atti di convegno]

  • R. LANOTTE; A. MAGGIOLO-SCHETTINI; A. TROINA, Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security, in: -, Software Engineering and Formal Methods, 2004. SEFM 2004. Proceedings of the Second International Conference on, -, IEEE CSP, 2004, pp. 114 - 121 (atti di: Second International Conference on Software Engineering and Formal Methods (SEFM 2004), Beijing, China, September 2004) [Contributo in Atti di convegno]

  • R. LANOTTE; A. MAGGIOLO-SCHETTINI; S. TINI; A. TROINA; E. TRONCI, Automatic Covert Channel Analysis of a Multilevel Secure Component, in: Javier Lopez Sihan Qing Eiji Okamoto, Information and Communications Security - 6th International Conference, ICICS 2004, Malaga, Spain, October 27-29, 2004. Proceedings, BERLIN HEIDELBERG, Springer-Verlag, 2004, LNCS 3269, pp. 249 - 261 (atti di: 6th International Conference on Information and Communications Security (ICICS 2004), Malaga, Spain, October 27-29, 2004) [Contributo in Atti di convegno]