2705 search results - page 374 / 541 » Formal Ontology for Subject |
FDG
2009
ACM
14 years 4 months ago
2009
ACM
We present a rhythm-based method for the automatic generation of levels for 2D platformers, where the rhythm is that which the player feels with his hands while playing. Levels ar...
FOAL
2009
ACM
14 years 4 months ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...
GROUP
2009
ACM
14 years 4 months ago
2009
ACM
A collaborative system must perform both processing and transmission tasks. We present a policy for scheduling these tasks on a single core that is inspired by studies of human pe...
HT
2009
ACM
14 years 4 months ago
2009
ACM
Annals and chronicles may be the foundation of accounting, but writers of stories and histories have long known that they seldom render a satisfactory account of complex events. I...
ISSTA
2009
ACM
14 years 4 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...