DMI

Results: 2015



#Item
331

dmi-01_本扉-目次.indd

Add to Reading List

Source URL: www.cgarts.or.jp

Language: Japanese - Date: 2015-03-18 03:18:37
    332

    1 Improving Multi-Objective Test Case Selection by Injecting Diversity in Genetic Algorithms Annibale Panichella, Member, IEEE, Rocco Oliveto, Member, IEEE, Massimiliano Di Penta, Member, IEEE, Andrea De Lucia, Senior M

    Add to Reading List

    Source URL: www.sesa.dmi.unisa.it

    Language: English - Date: 2014-12-22 10:28:30
      333

      FOR IMMEDIATE RELEASE HFA RENEWS LICENSING AGREEMENT WITH DMI MUSIC & MEDIA NETWORKS CANNES, France, January 24, 2011: The Harry Fox Agency, Inc. (HFA), the nation’s leading provider of intellectual property management

      Add to Reading List

      Source URL: www.hfaslingshot.com

      Language: English - Date: 2015-06-08 17:50:14
        334

        Enhancing Traceability Management in Eclipse via Information Retrieval and User Feedback Analysis Gabriele Bavota1 , Luigi Colangelo1 , Andrea De Lucia1 , Sabato Fusco1 , Rocco Oliveto2 , and Annibale Panichella1 1

        Add to Reading List

        Source URL: www.sesa.dmi.unisa.it

        Language: English - Date: 2012-09-08 05:08:24
          335

          REUSA BLE T R A NS I T C AS ES F O R A LL T YPES OF EQUI PM EN T G E N E R A L S E RV I C ES A DMI N I S T R AT I O N GSA CO N T R AC T GS -15FL C A L ZO N E/A N V I L A N D GSA

          Add to Reading List

          Source URL: www.anvilcase.com

          Language: English - Date: 2013-04-08 20:12:10
            336

            SOFTWARE TESTING, VERIFICATION AND RELIABILITY Softw. Test. Verif. Reliab. 0000; 00:1–34 Published online in Wiley InterScience (www.interscience.wiley.com). DOI: stvr Defect Prediction as a Multi-Objective Opt

            Add to Reading List

            Source URL: www.sesa.dmi.unisa.it

            Language: English - Date: 2015-06-10 07:33:32
              337

              A semantics for Rational Closure: Preliminary Results Laura Giordano1 , Valentina Gliozzi2 , Nicola Olivetti3 , and Gian Luca Pozzato2 1 3

              Add to Reading List

              Source URL: www.dmi.unict.it

              Language: English - Date: 2013-09-18 04:53:03
                338

                CUD@ASP: Experimenting with GPUs in ASP solving? Flavio Vella1 , Alessandro Dal Pal`u2 , Agostino Dovier3 , Andrea Formisano1 , and Enrico Pontelli4 1 Dip. di Matematica e Informatica, Univ. di Perugia

                Add to Reading List

                Source URL: www.dmi.unict.it

                Language: English - Date: 2013-09-18 04:53:03
                  339

                  Nested Sequent Calculi and Theorem Proving for Normal Conditional Logics Nicola Olivetti1 and Gian Luca Pozzato2 1 Aix-Marseille Universit´e, CNRS, LSIS UMRFrance -

                  Add to Reading List

                  Source URL: www.dmi.unict.it

                  Language: English - Date: 2013-09-18 04:53:03
                    340

                    Focusing on contraction Alessandro Avellone1 , Camillo Fiorentini2 , Alberto Momigliano2 1 DISMEQ, Universit` a degli Studi di Milano-Bicocca

                    Add to Reading List

                    Source URL: www.dmi.unict.it

                    Language: English - Date: 2013-09-18 04:53:04
                      UPDATE