EWI

Results: 761



#Item
171

How Do Developers Use APIs? A Case Study in Concurrency Stefan Blom Faculty of Electrical Engineering, Mathematics and Computer Science University of Twente

Add to Reading List

Source URL: wwwhome.ewi.utwente.nl

Language: English - Date: 2013-04-25 09:57:41
    172

    Generating natural narrative speech for the Virtual Storyteller M.Sc. Thesis, March 2004 Human Media Interaction Group Department of Electrical Engineering, Mathematics and Computer Science University of Twente, Enschede

    Add to Reading List

    Source URL: hmi.ewi.utwente.nl

    Language: English - Date: 2005-11-02 06:00:30
      173

      Towards reconciliation of MOO and Virtual Storyteller world states ’Dude, use a MOO!’ Brend Wanders Human Media Interaction group, University of Twente, P.O. Box 217, 7500 AE Enschede, The Netherlands,

      Add to Reading List

      Source URL: hmi.ewi.utwente.nl

      Language: English - Date: 2010-09-13 08:10:40
        174

        Formal Specifications for Java’s Synchronisation Classes Afshin Amighi and Stefan Blom and Marieke Huisman and Wojciech Mostowski and Marina Zaharieva-Stojanovski Formal Methods and Tools, University of Twente, The Net

        Add to Reading List

        Source URL: wwwhome.ewi.utwente.nl

        Language: English - Date: 2014-03-03 10:52:53
          175

          Planning for Character Agents in Automated Storytelling masters thesis computer sciences by E.E.Kruizinga

          Add to Reading List

          Source URL: hmi.ewi.utwente.nl

          Language: English - Date: 2007-12-07 07:13:08
            176

              3TU.BSR:  Big  Software  on  the  Run        

            Add to Reading List

            Source URL: fmt.ewi.utwente.nl

            Language: English - Date: 2015-01-23 15:01:41
              177

              Quantitative Security Analysis for Multi-threaded Programs Tri Minh Ngo Marieke Huisman University of Twente, Netherlands

              Add to Reading List

              Source URL: wwwhome.ewi.utwente.nl

              Language: English - Date: 2013-12-16 11:11:42
                178

                Effective Verification of Confidentiality for Multi-Threaded Programs Tri Minh Ngo, Mari¨elle Stoelinga, and Marieke Huisman University of Twente, Netherlands

                Add to Reading List

                Source URL: wwwhome.ewi.utwente.nl

                Language: English - Date: 2013-12-16 10:55:47
                  179

                  Scheduler-Specific Confidentiality for Multi-Threaded Programs and Its Logic-Based Verification Marieke Huisman and Tri Minh Ngo University of Twente, Netherlands

                  Add to Reading List

                  Source URL: wwwhome.ewi.utwente.nl

                  Language: English - Date: 2012-04-03 15:01:49
                    180

                    Expressing suspense using facial animations Erik de Vries ABSTRACT The goal of the research presented in this paper is to come-up with a model of facial expressions for embodied conversationa

                    Add to Reading List

                    Source URL: hmi.ewi.utwente.nl

                    Language: English - Date: 2008-01-02 06:10:23
                      UPDATE