Pubblicazioni
-
M. Alberti; F. Chesani; D. Daolio; M. Gavanelli; E. Lamma; P. Mello; P. Torroni, Specification and Verification of Agent Interaction Protocols in a Logic-based System, «SCALABLE COMPUTING. PRACTICE AND EXPERIENCE», 2007, 8(1), pp. 1 - 13 [Articolo in rivista]
-
P. Torroni, Formal properties of the SCIFF-AF multiagent argumentation framework, in: AA.VV., Eight International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VIII, Proceedings, s.l, s.n, 2007, pp. 226 - 241 (atti di: Eight International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VIII, Porto, Portugal, 10-11 September 2007) [Contributo in Atti di convegno]
-
V. Bryl; P. Mello; M. Montali; P. Torroni; N. Zannone, B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification, in: Eight International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VIII, Proceedings, s.l, s.n, 2007, pp. 150 - 165 (atti di: Eight International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VIII, Porto, Portugal, 10-11 September 2007) [Contributo in Atti di convegno]
-
V. Bryl; P. Mello; M. Montali; P. Torroni; N. Zannone, Extending Agent-oriented Requirements with Declarative Business Processes: a Computational Logic-based Approach, in: AA.VV., Atti del Quarto Convegno Italiano di Logica Computazionale, s.l, s.n, 2007(atti di: Quarto Convegno Italiano di Logica Computazionale, Messina, 20-21 Giugno 2007) [Contributo in Atti di convegno]
-
E. LAMMA; F. RIGUZZI ; S. STORARI; P. MELLO; M. MONTALI, Learning DecSerFlow Models from Labeled Traces, in: First International Workshop on the Induction of Process Models, s.l, s.n, 2007, pp. 13 - 16 (atti di: First International Workshop on the Induction of Process Models, Corvallis, Oregon, 24/6/2007) [Riassunto (Abstract)]
-
Matteo Casadei; Ronaldo Menezes; Robert Tolksdorf; Mirko Viroli, On the Problem of Over-clustering in Tuple-based Coordination Systems, in: S.N., First IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007), BOSTON, IEEE Computer Society, 2007, pp. 303 - 306 (atti di: First IEEE International Conference on Self-Adaptive and Self-Organizing Systems, Boston, USA, 9-11/07/2007) [Contributo in Atti di convegno]
-
Omicini A.; Ricci A.; Viroli M., Timed Environment for Web Agents, «WEB INTELLIGENCE AND AGENT SYSTEMS», 2007, 5, pp. 161 - 175 [Articolo in rivista]
-
Blasi D.; Cacace V.; Casone L.; Rizzello M.; Rotolo S.; Bononi L., Ad Hoc Wireless Sensor Networking: Challenges and Issues, «ST JOURNAL», 2007, 4, No.1 (May 2007), pp. 19 - 32 [Articolo in rivista]
-
Bononi L.; Tacconi C., Intrusion Detection for Secure Clustering and Routing in Mobile Multi-hop Wireless Networks, «INTERNATIONAL JOURNAL OF INFORMATION SECURITY», 2007, 6, pp. 379 - 392 [Articolo in rivista]
-
Urovi V.; Bromuri S.; McGinnis J.; Stathis K.; Omicini A., Experiences in Automated Workflows using Dialectical Argumentation, in: Proceedings of IADIS International Conference Intelligent Systems and Agents, s.l, IADIS Press, 2007, pp. 3 - 8 (atti di: IADIS International Conference Intelligent Systems and Agents, MCCSIS, Lisbon, Portugal, 3-8 agosto 2007) [Contributo in Atti di convegno]
-
M. Terrovitis; P. Vassiliadis; S. Skiadopoulos; E. Bertino; B. Catania; A. Maddalena; S. Rizzi, Modeling and Language Support for the Management of Pattern-Bases, «DATA & KNOWLEDGE ENGINEERING», 2007, 62, pp. 368 - 397 [Articolo in rivista]
-
M. Golfarelli; S. Rizzi, X-Time: Schema Versioning and Cross-Version Querying in Data Warehouses, in: Proceedings of the 23rd International Conference on Data Engineering, s.l, IEEE, 2007(atti di: 23rd International Conference on Data Engineering (ICDE), Istanbul, Turkey, April 15-20, 2007) [Contributo in Atti di convegno]
-
M. Golfarelli; A. Proli; S. Rizzi, M-FIRE: A Metaphor-based Framework for Information Representation and Exploration, in: Web Information Systems and Technologies, BERLIN, Springer, 2007, pp. 214 - 227 [Capitolo/Saggio in libro]
-
M. Golfarelli; S. Rizzi, Managing late measurements in data warehouses, «INTERNATIONAL JOURNAL OF DATA WAREHOUSING AND MINING», 2007, 3, pp. 51 - 67 [Articolo in rivista]
-
Casadei Matteo; Omicini Andrea; Viroli Mirko, Prototyping A&A ReSpecT in Maude, in: Proceedings of the 6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'07), LISBONA, s.n, 2007, pp. 133 - 148 (atti di: 6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'07), CONCUR 2007, Lisbona, Portogallo, 8 settembre 2007) [Contributo in Atti di convegno]
-
Ricci Alessandro; Mirko Viroli; Maurizio Cimadamore, Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus, in: Proceedings of the 6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'07), LISBONA, s.n, 2007, pp. 149 - 170 (atti di: 6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'07), CONCUR 2007, Lisbona, Portogallovv, 8 settembre 2007) [Contributo in Atti di convegno]
-
Maurizio Cimadamore; Mirko Viroli, A Prolog-oriented extension of Java programming based on generics and annotations, in: Principles and Practice of Programming in Java. Proceedings of the 5th International Conference, PPPJ 2007, NEW YORK, ACM, 2007, pp. 197 - 202 (atti di: Principle and Practice of Programming in Java (PPPJ), Lisbona, 07/09/2007) [Contributo in Atti di convegno]
-
Matteo Casadei; Ronaldo Menezes; Mirko Viroli; Robert Tolksdorf, Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism, in: Cooperative Information Agents XI, Heildeberg Berlin, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2007, 4676, pp. 255 - 269 (atti di: Cooperative Information Agents XI, Delft, The Netherlands, September 19-21) [Contributo in Atti di convegno]
-
Maurizio Cimadamore; Mirko Viroli, Integrating Java and Prolog using Java 5.0 generics and annotations, in: 6th International Workshop on Multiparadigm Programming with Object-Oriented Languages, s.l, s.n, 2007, pp. 1 - 21 (atti di: Multiparadigm Programming with Object-Oriented Languages, Berlino, Germania, 21/7/2007) [Contributo in Atti di convegno]
-
Matteo Casadei; Ronaldo Menezes; Mirko Viroli; Robert Tolksdorf, A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems, in: Self-Organizing Systems, Springer, 2007, 4725, pp. 146 - 160 (atti di: Second International Workshop on Self-Organizing Systems (IWSOS 2007), The Lake District, UK, 11-13/9/2007) [Contributo in Atti di convegno]