Pubblicazioni
-
Mirko Viroli; Enrico Denti; Alessandro Ricci, Engineering a BPEL orchestration engine as a multi-agent system, «SCIENCE OF COMPUTER PROGRAMMING», 2007, 66(3), pp. 226 - 245 [Articolo in rivista]
-
Matteo Casadei; Luca Gardelli; Mirko Viroli, Simulating emergent properties of coordination in Maude: the collective sort case, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2007, 175(2), pp. 59 - 80 [Articolo in rivista]
-
Omicini Andrea, Formal ReSpecT in the A&A Perspective, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2007, 175(2), pp. 97 - 117 [Articolo in rivista]
-
P. Ciancarini; G. Favini, A Program to Play Kriegspiel, «ICGA JOURNAL», 2007, 30:1, pp. 3 - 24 [Articolo in rivista]
-
Viroli Mirko; Omicini Andrea, ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2007, 180(2), pp. 123 - 144 [Articolo in rivista]
-
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]
-
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]
-
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, Managing late measurements in data warehouses, «INTERNATIONAL JOURNAL OF DATA WAREHOUSING AND MINING», 2007, 3, pp. 51 - 67 [Articolo in rivista]
-
Sonia Bergamaschi; Francesco Guerra; Mirko Orsini; Claudio Sartori, Extracting relevant attribute values for improved search, «IEEE INTERNET COMPUTING», 2007, 11, 5, pp. 16 - 25 [Articolo in rivista]
-
A.Asperti; C.Sacerdoti Coen; E. Tassi; S.Zacchiroli, User Interaction with the Matita Proof Assistant, «JOURNAL OF AUTOMATED REASONING», 2007, 39, Number 2, pp. 109 - 139 [Articolo in rivista]
-
P. Bellavista; A. Corradi; L. Foschini, Context-Aware Handoff Middleware for Transparent Service Continuity in Wireless Networks, «PERVASIVE AND MOBILE COMPUTING», 2007, 3, No. 4, pp. 439 - 466 [Articolo in rivista]
-
P. Bellavista; A. Corradi; L. Foschini, The MUM Middleware to Counteract IEEE 802.11 Performance Anomaly in Context-aware Multimedia Provisioning, «INTERNATIONAL JOURNAL OF MULTIMEDIA AND UBIQUITOUS ENGINEERING», 2007, 2, No. 2, pp. 15 - 33 [Articolo in rivista]
-
P. Bellavista; C.-M. Chen, Editorial: "Special Issue with selected papers from the 11th IEEE Symposium on Computers and Communications (ISCC'06)", «MICROPROCESSORS AND MICROSYSTEMS», 2007, 31, No. 4, pp. 213 - 214 [Articolo in rivista]
-
Torroni P.; Gavanelli M.; Chesani F., Argumentation in the Semantic Web, «IEEE INTELLIGENT SYSTEMS», 2007, 22(6), pp. 66 - 74 [Articolo in rivista]
-
A. Franco; A. Lumini; D. Maio, MKL-tree: an index structure for high-dimensional vector spaces, «MULTIMEDIA SYSTEMS», 2007, 12, pp. 533 - 550 [Articolo in rivista]
-
R. Cappelli; A. Lumini; D. Maio; D. Maltoni, Fingerprint Image Reconstruction from Standard Templates, «IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE», 2007, 29, pp. 1489 - 1503 [Articolo in rivista]
-
L. Nanni ; A. Lumini, Ensemble for Medulloblastoma outcome prediction, «MULTIMEDIA CYBERSCAPE JOURNAL», 2007, 5, pp. 25 - 29 [Articolo in rivista]