نتایج جستجو برای: computer science

تعداد نتایج: 890648  

2003
Brendan Luyt Pippa Norris

1998
Peter Wegner

Part I presents a model of interactive computation and a metric for expressiveness, part II relates interactive models of computation to physics, and part III considers empirical models from a philosophical perspective. Interaction machines, which extend Turing machines to interaction, are shown in Part I to be more expressive than Turing machines by a direct proof, by adapting Godel’s incomple...

2004
Octavian Patrascoiu Luis Ferreira Tracy Gardener João Paulo Almeida Luís Ferreira Pires Marten van Sinderen Jean-Noël Meunier Frank Lippert Ravi Jadhav Nigel Harding Jason Xabier Mansell Ida Solheim Rasmus H. Fogh Wayne Boucher Wim F. Vranken Anne Pajon Graham Berrisford Antonio Vallecillo Douglas C. Schmidt Edward D. Willink

This talk sets out the problem domain for model transformation and introduces a set of use cases for transformation including model differencing, pattern expansion, model merging and weaving, alternate views and generation of platform specific artifacts from a platform independent model. The talk also discusses where model transformation fits into the development process and who we can expect t...

1999
Peter J. Denning

The computing profession is the people and institutions that have been created to take care of other people's concerns in information processing and coordination through worldwide communication systems. The profession contains various specialties such as computer science, computer engineering, software engineering, information systems, domain-specific applications, and computer systems. The dis...

2008
Harold Thimbleby

Computer science is a diverse, exciting, and rapidly expanding discipline. Inevitably the research community pulls itself in different directions, sometimes with the result that visionary research may be under-valued. This paper explores systemic issues of general applicability with the aim of understanding and hence valuing the diversity.

Journal: :EAI Endorsed Trans. Serious Games 2015
Joze Rugelj

The role and importance of serious computer games in contemporary educational practice is presented in this paper as well as the theoretical fundamentals that justify their use in different forms of education. We present a project for designing and developing serious games that take place within the curriculum for computer science teachers’ education as an independent project work in teams. In ...

2014
Saul Gorn

Although I am not an engineer who adapted himself to computer science but a mathematician who did so, I am familiar enough with the development, concepts, and activities of this new discipline to venture an opinion of what must be adapted to in it. "Computer and Information Science" is known as "Informatics" on the European continent. It was born as a distinct discipline barely a generation ago...

2007
Kevin Beach Vuk Ercegovac Michael Henderson Amy Rea Suan Yong

Journal: :J. Applied Logic 2008
Timothy R. Colburn Gary M. Shute

2002
Christina Björkman Lena Trojer

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید