Computer games are a multi-billion dollar industry and have become an important part of our private and social lives. It is only natural, then, that the technology used to create ...
Nathan R. Sturtevant, H. James Hoover, Jonathan Sc...
We present a proposal for research, development and construction of international communities in Portuguese, using digital platforms. The idea was born following an international ...
SAT-solvers have turned into essential tools in many areas of applied logic like, for example, hardware verification or satisfiability checking modulo theories (SMT). And althoug...
It has become increasingly important for educators to examine successful ICT implementations with the aim of understanding precisely what makes them successful in teaching and lear...
C. A. Granger, M. L. Morbey, H. Lotherington, Rona...
A variety of developments combine to highlight the need for respecting order when manipulating relations. For example, new functionality is being added to SQL to support OLAP-styl...
Giedrius Slivinskas, Christian S. Jensen, Richard ...