RICERCA ITALIANA     

FIRB simili:

• 1 - Modelli distribuiti, metodologie e strumenti di e-learning per i Paesi dell'area Mediterranea
• 2 - Sviluppo di metodiche e approcci endovascolari per la diagnosi e la cura della patologia cerebrovascolare, ed esplorazione di nuove tecniche per l'esecuzione di interventi chirurgici a bassissima invasività con l'ausilio della guida robotica.
• 3 - NEUROTIV - Managed care basata su telepresenza immersiva virtuale per l'assessment e riabilitazione in neuro-psicologia e psicologia clinica
• 4 - Microtecnologie per la telepresenza immersiva virtuale
• 5 - Azione e percezione nella costruzione del mondo cognitivo
• 6 - Metodologie agili per la produzione del software: validazione, modellistica, impatto organizzativo e loro utilizzo per lo sviluppo distribuito e open source
• 7 - PIATTAFORME ABILITANTI PER GRIGLIE COMPUTAZIONALI A ELEVATE PRESTAZIONI ORIENTATE A ORGANIZZAZIONI VIRTUALI SCALABILI
• 8 - Valutazione delle Prestazioni dei Sistemi Complessi: Tecniche, Metodologie e Strumenti
• 9 - Le tecnologie dell'informazione e della comunicazione per la gestione dei processi di prevenzione, cura e riabilitazione
• 10 - VIRTUAL IMMERSIVE COMMUNICATIONS (VICOM)

Classificazione scientifico-disciplinare

• Area scientifico disciplinare: Ingegneria industriale e dell'informazione
  • SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI

Classificazione brevettuale

• PHYSICS
  • COMPUTING; CALCULATING; COUNTING (score computers for games A63; combinations of writing applicances with computing devices B43K29/08)
    • ELECTRICAL DIGITAL DATA PROCESSING (computers in which a part of the computation is effected hydraulically or pneumatically G06D; optically G06E; self-contained input or output peripheral equipment G06K; impedance networks using digital techniques H03H) [C9603]
  • EDUCATION; CRYPTOGRAPHY; DISPLAY; ADVERTISING; SEALS
    • EDUCATIONAL OR DEMONSTRATION APPLIANCES; APPLIANCES FOR TEACHING, OR COMMUNICATING WITH, THE BLIND, DEAF OR MUTE; MODELS; PLANETARIA; GLOBES; MAPS; DIAGRAMS (devices for psychotechnics or for testing reaction times A61B5/16; games, sports, amusements A63; projectors, projector screens G03B)

Classificazione geografica

• Regione: Puglia

Bibliografia

1. Sèan Baker, CORBA “DISTRIBUTED OBJECTS USING ORBIX”, Addison Wesley, 1997.

2. “OBJECT MANAGEMENT ARCHITECTURE (OMA) GUIDE”, http://www.omg.org/technology/ documents/formal
/object_management_architecture.htm.

3. “HIGH LEVEL ARCHITECTURE”, http://www.itcenter.org/webletter/siso/iss%5F18/art%5F149.htm.

4. “DMSO HIGH LEVEL ARCHITECTURE”, http://hla.dmso.mil/.

5. The FMV DIS Pages, http://www.pitch.se/fmv/dis.htm.

6. Fujimoto Richard M., “PARALLEL DISCRETE EVENT SIMULATION”, Communication of the ACM Volume 33 Number 10, 1990.

7. B. Boehm, “SOFTWARE ENGINEERING ECONOMICS”, Prentice-Hall, 1981.

8. G. Booch, J. Rumbaugh, and I. Jacobson, “THE UNIFIED MODELING LANGUAGE USER GUIDE”, The Addison-Wesley Object Technology Series, 1998.

9. Tuncer I. Oren, “SIMULATION MODEL SYMBOLIC PROCESSING: TAXONOMY”. In M. G. Singh, editor, System and Control Encyclopedia, pages 4377 – 4381. Pergammon Press, 1987.

10. Bernard P. Zeigler. “THEORY OF MODELING AND SIMULATION”. John Wiley and Sons, 1976.

11. “JAVA – IL LINGUAGGIO JAVA”. http://members.tripod.it/objone/javahtml/cap1.html.

12. Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides, “DESIGN PATTERNS: ELEMENTS OF REUSABLE OBJECT-ORIENTED SOFTWARE”, Addison Wesley 1994.

13. “THE COMMON OBJECT REQUEST BROKER: ARCHITECTURE AND SPECIFICATION, REVISION 2.0”, OMG Document 97–02–25.

14. “INTRODUCTION TO OMT”, http://www.dis.port.ac.uk/~chandler/OOlectures/omt/omt2.htm.

15. “JTA MODELING & SIMULATION ANNEX”, http://www.jta.itsi.disa.mil/jtav2/msv1-5.html.

16. Robert J. Allen, “A FORMAL APPROACH TO SOFTWARE ARCHITECTURE”. 1997, CMS-CS-97-144, School of Computer Science Carnegie Mellon University, Pittsburg, PA 15215,

17. “OOC – ORBACUS NOTIFY HOME PAGE”, http://www.ooc.com/notify/.

18. K.M Chandy and J. Misra. “DISTRIBUTED SIMULATION: A CASE STUDY IN DESIGN AND VERIFICATION OF DISTRIBUTED PROGRAMS”. IEEE Transactions on Software Engineering, Vol. SE-5, No. 5, pp. 440-452, Sep. 1979

19. R. E. Bryant. A SWITCH LEVEL MODEL AND SIMULATOR FOR MOS DIGITAL SYSTEM”. IEEE tarnsactions on Computers , Vol. C-33, No. 2, pp. 160-177, February 1984

20. J. Misra “DISTRIBUTED DISCRET_EVENT SIMULATION”. ACM Computing Surveys, Vol 18, No. 1, pp. 35-65, March 1986

21. Y.-B. Lin and B. R. Preiss. “OPTIMAL MEMORY MANAGEMENT FOR TIME WARP PARALLEL SIMULATION”. ACM Transactions on Modeling and Computer Simulation, Vol. 1, No. 4, pp 283-307, October 1991.

22. Nketsa, N. B. Khalifa, “TIMED PETRI NETS AND PREDICTION TO IMPROVE THE CHANDY-MYSRA CONSERVATIVE DISTRIBUTED SIMULATION”, Applied Mathematcs and Computation, pp. 235-254, 2001

23. U. Klein, “SIMULATION-BASED DISTRIBUTED SYSTEMS: SERVING MULTIPLE PURPOSES TO COMPOSITION OF COMPONENTS”. Safety Science 35 (2000) pp 29-39

24. T. Zhang, A Dewey, R. Fair, “A HIERARCHICAL APPROACH TO STOCHASTIC DISCRETE AND CONTINUOUS PERFORMANCE SIMULATION USING COMPOSABLE SOFTWARE COMPONENTS”. Microelectronics Journal, 31 (2000) pp 95-104

25. L.P. Maguire, T.M. MgGinnity, L.J. McDaid “ISSUES IN THE DEVELOPMENT OF AN INTEGRATED ENVIRONMENT FOR EMBEDDED SYSTEM DESIGN. PART B: DESIGN AND IMPLEMENTATION”. Microprocessor and Microsystems 23 (1999) pp 199-206

26. M. Namekawa, A. Satoh, H. Mori, K. Yikai, T. Nakanishi “CLOCK SYNCRONIZATION ALGORITHM FOR PARALLEL ROAD-TRAFIC SIMULATION SYSTEM IN A WIDE AREA”. Mathematics and Computers in Simulation 48 (1999) 351-359

27. Hossein Saiedian, Jonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, Anthony Hall, Michael G.Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David L. Parnas, John Rushby, Jeannette Wing, andPamela Zave, “AN INVITATION TO FORMAL METHODS”. IEEE Computer, Vol. 29, No. 4, April 1996 pp.16-30.

28. R.Capobianchi, D.Carcagno, A.Coen Porisini, D.Mandrioli, A.Morzenti, “3A FRAMEWORK ARCHITECTURE FOR THE DEVELOPMENT OF NEW GENERATION SUPERVISION AND CONTROL SYSTEMS”. In M.Fayad e D.Schmidt eds., Object Oriented Application Frameworks2, Addison Wesley 1997.

29. C.Ghezzi, D.Mandrioli, A.Morzenti, “TRIO, A LOGIC LANGUAGE FOR EXECUTABLE SPECIFICATIONS OF REAL-TIME SYSTEMS”. The Journal of Systems and Software, Elsevier Science Publishing, vol.12, no.2, May 1990.

30. Kemmerer, R.A. “TESTING FORMAL SPECIFICATIONS TO DETECT DESIGN ERRORS”. IEEE Trans. on Software Engineering 11, 1 (January 1985), 32-43.

31. D.Mandrioli, S.Morasca, A.Morzenti, “GENERATING TEST CASES FOR REAL-TIME SYSTEMS FROM LOGIC SPECIFICATIONS”. ACM Trans. On Computer Systems, Vol. 13, No. 4, November 1995. pp.365-398.

32. S. Morasca, A. Morzenti, P. San Pietro, “AN APPLICATION OF A TOOL FOR AUTOMATED SYSTEM ANALYSIS BASED ON MODULAR SPECIFICATIONS”. Journal of Automated Software Engineering, pp. 125-155,Volume 7, Issue 2, May 2000.

33. D.J.Richardson, “TAOS: TESTING WITH ANALYSIS AND ORACLE SUPPORT”. In Proc. Inter. Symp. Software Testing and Analysis, Seattle, August 1994.

34. Sankar S. (Sun Microsystems Laboratories), “INTRODUCING FORMAL METHODS TO SOFTWARE ENGINEERS THROUGH OMG'S CORBA ENVIRONMENT AND IDL”. Proc. AMAST 96, Munich, Germany, Springer Verlag, 1996.

35. San Pietro P., Morzenti, A., Morasca, S., “GENERATION OF EXECUTION SEQUENCES FOR MODULAR TIME-CRITICAL SYSTEMS”. IEEE Trans. on Software Engineering, vol. 26 n. 2, Feb. 2000, pp. 128-149.

36. “SEMATHEC CIM FRAMEWORK v. 2.0” http://www.sematech.org/public/docubase/abstracts/wrapper2.htm document number 93061697JENG.

37. Peter S.Vail, "COMPUTER INTEGRATED MANUFACTURING". PWS-KENT Publishing Company, 1988.

38. David D. Bedworth, Mark R.Henderson, Philip M. Wolfe, "COMPUTER -INTEGRATED DESIGN AND MANUFACTURING”. Mc Graw - Hill, Inc., 1991.

39. A.W.Scheer "CIM - COMPUTER INTEGRATED MANUFACTURING, COMPUTER STEERED INDUSTRY". Springer - Verlag, 1988.

40. R.U. Ayres, W.Haywood, M.E. Merchant, J.Ranta and H.J. Warnecke, "COMPUTER INTEGRATED MANUFACTURING VOLUME II:THE PAST, THE PRESENT AND THE FUTURE". Chapman and Hall 1992

41. Alberto Coen-Porisini, Dino Mandrioli, "USING TRIO FOR DESIGNING A CORBA BASED APPLICATION", Concurrency: Practice and Experience, August 2000

42. Luciano Baresi, Alberto Coen-Porisini "AN APPROACH FOR DESIGNING AND ENACTING DISTRIBUTED SIMULATION ENVIRONMENTS" Proceedings of the International Conference on Software: Theory and Practice, ICS 2000, Beijing (China), August 25-28, 2000

43. Alberto Coen-Porisini "USING CORBA FOR INTEGRATING HETEROGENEOUS SIMULATORS" 14th International Conference on Software & Systems Engineering & their Applications (ICSSA 2001) Paris (F), December 4-6, 2001

44. Iazeolla G., D’Ambrogio A., “A Web-based Environment for the Reuse of Simulation Models”, in Proceedings of the SCS 1998 International Conference on Web-based Modeling and Simulation, January 1998, San Diego, CA, USA.

45. Iazeolla G., D’Ambrogio A., “Distributed Systems for Web-based Simulation”, in Proceedings of the 13th International Symposium on Computer and Information Sciences (ISCIS98), October 1998, Ankara, Turkey.

Parole Chiave

Manufacturing; Simulazione a Eventi Discreti; Software Open-Source; Software Distribuito; Applicazioni su Web; Metodi di Ottimizzazione