Sciweavers

856 search results - page 120 / 172
» Building a Game Development Program
Sort
View
ZUM
2000
Springer
101views Formal Methods» more  ZUM 2000»
15 years 1 months ago
Analysis of Compiled Code: A Prototype Formal Model
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...
R. D. Arthan
DGO
2003
86views Education» more  DGO 2003»
14 years 11 months ago
The role of a search agent for disenfranchised users
Connected Kids project is about developing a searchable database system for the disenfranchised people of the city of Troy, New York. The various events and programs for the young...
Mousumi Chatterjee, Sibel Adali
COODBSE
1994
85views more  COODBSE 1994»
14 years 11 months ago
Understanding Software Systems Using Reverse Engineering Technology
Software engineering research has focused primarily on software construction, neglecting software maintenance and evolution. Observed is a shift in research from synthesis to anal...
Hausi A. Müller, Kenny Wong, Scott R. Tilley
BALT
2010
14 years 4 months ago
Grammatical Aspects: Coping with Duplication and Tangling in Language Specifications
For the purposes of tool development, computer languages are usually described using context-free grammars with annotations such as semantic actions or pretty-printing instructions...
Andrey Breslav
CHI
2008
ACM
15 years 10 months ago
Creativity interventions: physical-digital activities for promoting group creativity
Arizona State University's Arts, Media, and Engineering Program is currently addressing the need to assess the growth of group creativity in trans-disciplinary collaboration....
Lisa M. Tolentino, Aisling Kelliher, David Birchfi...