Sciweavers

3582 search results - page 310 / 717
» Designing games with a purpose
Sort
View
199
Voted
EICS
2009
ACM
16 years 4 days ago
Support for authoring service front-ends
The success of service-oriented computing has important implications on how people develop user interfaces. This paper discusses a method for supporting the development of interac...
Fabio Paternò, Carmen Santoro, Lucio Davide...
AISC
2010
Springer
15 years 11 months ago
Structured Formal Development with Quotient Types in Isabelle/HOL
General purpose theorem provers provide sophisticated proof methods, but lack some of the advanced structuring mechanisms found in specification languages. This paper builds on pr...
Maksym Bortin, Christoph Lüth
182
Voted
HPCA
1997
IEEE
15 years 11 months ago
Software-Managed Address Translation
In this paper we explore software-managed address translation. The purpose of the study is to specify the memory management design for a high clock-rate PowerPC implementation in ...
Bruce L. Jacob, Trevor N. Mudge
OOGRAPHICS
1992
15 years 11 months ago
An Interactive 3D Graphics Class Library in EIFFEL
An object-oriented design is presented for building interactive 3D graphics applications. The design takes the form of a library of classes written in Eiffel, an object oriented l...
Russell Turner, Enrico Gobbetti, Jean-Francis Bala...
ARCS
2006
Springer
15 years 11 months ago
An Operating System Infrastructure for Fault-Tolerant Reconfigurable Networks
Abstract. Dynamic hardware reconfiguration is becoming a key technology in embedded system design that offers among others new potentials in dependable computing. To make system de...
Dirk Koch, Thilo Streichert, Steffen Dittrich, Chr...