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

Pubblicazioni

Contributo in atti di convegno Elimina filtro

4017 pubblicazioni

  • N. Dragoni; M. Gaspari; D. Guidi, An ACL for Specifying Fault-Tolerant Protocols, in: LECTURE NOTES IN COMPUTER SCIENCE - AI*IA 2005: Advances in Artificial Intelligence, BERLIN - HEIDELBERG, Springer, 2005, 3673, pp. 237 - 248 (atti di: AI*IA 2005: Advances in Artificial Intelligence, Milan, Italy, September 21-23, 2005) [Contributo in Atti di convegno]

  • A. Brown; C. Laneve; G. Meredith, PiDuce: a process calculus with native XML datatypes, in: Second International on Web Services and Formal Methods (WS-FM 05), in "Lecture Notes in Computer Science", vol. 3670 (2005), AMSTERDAM, Springer Verlag, 2005, 3670, pp. 18 - 34 (atti di: Second International on Web Services and Formal Methods (WS-FM 05), Versailles, Parigi, 3-4 Settembre 2005) [Contributo in Atti di convegno]

  • M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro, On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda, in: null, 2005, 128(5), pp. 39 - 53 (atti di: 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo'04), Londra (UK), agosto 2004) [Contributo in Atti di convegno]

  • Cellarosi G.; Sartori C., Synopsis for Microbiological Data Stream Analysis, in: CBMS’05, NEW YORK, IEEE, 2005, pp. 359 - 364 (atti di: 18th IEEE Symposium on Computer-Based Medical Systems, Dublino, Irlanda, 23-24 Giugno 2005) [Contributo in Atti di convegno]

  • L.Benini; D. Bertozzi; A. Guerri; M. Milano, Allocation and scheduling for MPSoCs via Decomposition and No.Good Generation, in: Principles and Practice of Constraint Programming, Heidelberg, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2005, 3709, pp. 107 - 121 (atti di: Principle and Practive of Constraint Programming CP 2005, Sitges - Spagna, Settembre 2005) [Contributo in Atti di convegno]

  • F. Neri; F. Callegati; P. Poggiolini, The Network of Excellence e-Photon/ONe, in: A Review of Major International Programmes in Optical Network Architectures, S.N., s.n, 2005, We1.1(atti di: 31st European Conference on Optical Communications, Glasgow, Scotland, 25-29 Settembre 2005) [Contributo in Atti di convegno]

  • D. Bottazzi; A. Corradi; R. Montanari, Enabling context-aware group collaboration in MANETs, in: Autonomous Decentralized Systems ISADS 2005, s.l, IEEE Press, 2005, pp. 310 - 318 (atti di: ISADS 2005, Chengdu, China, Aprile 4-8, 2005) [Contributo in Atti di convegno]

  • D. Bottazzi; A. Corradi; R. Montanari;, Context-Awareness for Impromptu Collaboration in MANETs, in: Wireless On-demand Network Systems and Services,, s.l, IEEE Press, 2005, pp. 421 - 429 (atti di: The 2005 Symposium on Wireless On-demand Network Systems and Services WONS 2005, S. Moritz, Switzerland, January 19-21, 2005) [Contributo in Atti di convegno]

  • D.Bottazzi; A.Corradi; R. Montanari, A context-aware group management middleware to support resource sharing in MANET environments, in: Mobile data management, s.l, ACM Press, 2005, pp. 147 - 151 (atti di: 6th international conference on Mobile data management MDM 2005, Ayia Napa, Cyprus, May 9 - 13, 2005) [Contributo in Atti di convegno]

  • R. Montanari; A. Toninelli; J. M. Bradshaw, Context-based Security Management for Multi-Agent Systems, in: Multi-Agent Security and Survivability, s.l, IEEE Press, 2005, pp. 75 - 84 (atti di: IEEE 2nd Symposium on Multi-Agent Security and Survivability MAS&S, Philadelphia, USA,, August 30-31, 2005) [Contributo in Atti di convegno]

  • A. Corradi; R. Montanari; D. Tibaldi; A. Toninelli, A Context-centric Security Middleware for Service provisioning in Pervasive Computing, in: Applications and the Internet, s.l, IEEE Press, 2005, pp. 421 - 429 (atti di: The 2005 Symposium on Applications and the Internet, Trento, Italy, January 31 - February 4, 2005) [Contributo in Atti di convegno]

  • I. Bartolini; P. Ciaccia, Optimal Incremental Evaluation of Preference Queries Based on Ranked Sub-queries, in: Proceedings of the 13th Italian Symposium on Adanced Database Systems (SEBD 2005), ROMA, ARACNE, 2005, pp. 308 - 315 (atti di: 13th Italian Symposium on Adanced Database Systems (SEBD 2005), Brixen-Bressanone (Bozen-Bolzano), Italy, June 19-22, 2005) [Contributo in Atti di convegno]

  • L. Bononi; M. Bracuto; G. D'Angelo; L. Donatiello, Analysis of High Performance Communication and Computation Solutions for Parallel and Distributed Simulation, in: High Performance Computing and Communications, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2005, 3726, pp. 640 - 651 (atti di: First International Conference, HPCC 2005. Proceedings, Sorrento, Italy,, September 21-23, 2005) [Contributo in Atti di convegno]

  • Antonio Natali; Enrico Oliva; Alessandro Ricci; Mirko Viroli, A Framework for Engineering Interactions in Java-based Component Systems, in: Proceedings of FOCLASA 2005, 4th International Workshop on Foundations of Coordination Languages and Software Architectures, SAN FRANCISCO, s.n, 2005(atti di: Foundations of Coordination Languages and Software Architectures (FOCLASA2005), San Francisco (CA), USA, 27/8/2005) [Contributo in Atti di convegno]

  • Michele Cabano; Enrico Denti; Alessandro Ricci; Mirko Viroli, Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres, in: Proceedings of FOCLASA 2005, 4th International Workshop on Foundations of Coordination Languages and Software Architectures, SAN FRANCISCO, s.n, 2005, pp. 1 - 19 (atti di: Foundations of Coordination Languages and Software Architectures (FOCLASA 2005), San Francisco (CA), USA, 27/8/2005) [Contributo in Atti di convegno]

  • L. Bononi; M. Bracuto; G. D'Angelo; L. Donatiello, Scalable and Efficient Parallel and Distributed Simulation of Complex, Dynamic and Mobile Systems., in: Proceedings of the IEEE FIRB-Perf Workshop on Techniques Methodologies and Tools for Performance Evaluation of Complex Systems (Perf 2005), s.l, IEEE Computer Society, 2005, pp. 136 - 145 (atti di: IEEE FIRB-Perf Workshop on Techniques Methodologies and Tools for Performance Evaluation of Complex Systems (Perf 2005), Torino (Italy), September 2005) [Contributo in Atti di convegno]

  • N. Dragoni; M. Gaspari; D. Guidi, Integrating Knowledge-Level Agents in the (Semantic) Web: An Agent-based Open Service Architecture, in: Recent Advances in Artificial Intelligence, MENLO PARK, CALIFORNIA, AAAI Press, 2005, pp. 320 - 326 (atti di: Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, Clearwater Beach, Florida, USA, May 15-17, 2005) [Contributo in Atti di convegno]

  • L. Benini;D. Bertozzi;A. Guerri;M. Milano, Allocation and Scheduling for MPSoCs via decomposition and no-good generation, in: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI05), s.l, s.n, 2005, pp. 1517 - 1518 (atti di: the 19th International Joint Conference on Artificial Intelligence (IJCAI05), EDINBURGH SCOTLAND, 30 JULY - 5 AUGUST 2005) [Contributo in Atti di convegno]

  • N. Dragoni; M. Gaspari; D. Guidi, A Peer-to-Peer Knowledge Level Open Service Architecture, in: Professional Knowledge Management - Experiences and Visions, KAISERSLAUTERN, DFKI, 2005, pp. 195 - 201 (atti di: Workshop on Peer-to-Peer and Agent Infrastructures for Knowledge Management, KAISERSLAUTERN, Germany, 10.-13. April 2005) [Contributo in Atti di convegno]

  • R. Davoli, Virtual Square, in: Proceedings of OSS2005. Open Source Software 2005, GENOVA, sn, 2005(atti di: Open Source Software 2005, Genova, July 11-15 2005) [Contributo in Atti di convegno]