412 search results - page 26 / 83 » Innovations in computational type theory using Nuprl |
SAC
2010
ACM
14 years 2 months ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...
DIGRA
2005
Springer
2005
Springer
A Sociotechnical Conjecture about the Context and Development of Multiplayer Online Game Experiences
14 years 1 months ago
The advent of multiplayer online games brings new actors into the development scene and redefines traditional roles and interactions. Anchored on studies of the role of context in...
ISSAC
1994
Springer
14 years 2 days ago
1994
Springer
An example of a problem in the physical sciences is discussed where application of various symbolic computation facilities available in many algebraic computing systems leads to a...
IWEC
2010
13 years 5 months ago
2010
This study focuses on motion in user interfaces as a design element which can contribute to an improved user experience of digital media entertainment. The design for user experien...
VIROLOGY
2008
13 years 7 months ago
2008
We present a novel classification of computer viruses using a formalised notion of reproductive models based on Gibson's theory of affordances. A computer virus reproduction ...