2335 search results - page 342 / 467 » Type Checking Type Classes |
175
click to vote
DIGRA
2005
Springer
15 years 8 months ago
2005
Springer
Is there a way to analyze games by the means of a game? Is there a way to brainstorm game ideas and design solutions through theory? Finnish scholar and game designer Aki Järvine...
121
click to vote
CAISE
2004
Springer
15 years 8 months ago
2004
Springer
This paper outlines an ontology for characterising architecture frameworks. The ontology is based on the metamodel of MAF, and is currently being tried out on a set of well-known e...
136
click to vote
COMPSAC
2009
IEEE
15 years 7 months ago
2009
IEEE
Matrices are essential in many fields of computer science, especially when large amounts of data must be handled efficiently. Despite this demand for matrix software, we were una...
107
Voted
SIGUCCS
1998
ACM
15 years 6 months ago
1998
ACM
This presentation will be a discussion of two Information Technology training programs at the university/college level. The two programs are ”The Student Peer Trainers”(SPT) a...
152
click to vote
CIE
2007
Springer
15 years 6 months ago
2007
Springer
We study computer virology from an abstract point of view. Viruses and worms are self-replicating programs, whose constructions are essentially based on Kleene's second recurs...