Sciweavers

117 search results - page 11 / 24
» Recombinable Game Mechanics for Automated Design Support
Sort
View
WWW
2010
ACM
15 years 6 months ago
Automated object persistence for JavaScript
Traditionally web applications have required an internet connection in order to work with data. Browsers have lacked any mechanisms to allow web applications to operate offline wi...
Brett Cannon, Eric Wohlstadter
ICALT
2007
IEEE
15 years 6 months ago
A Collaborative Support Tool for Creativity Learning: Idea Storming Cube
Creativity plays an important role in many learning activities but how to enhance creativity with the support of modern computer tools deserves further studies. In this paper, we ...
Chun-Chieh Huang, Tsai-Yen Li, Hao-Chuan Wang, Chu...
BIRTHDAY
2006
Springer
15 years 3 months ago
Composition by Colimit and Formal Software Development
Abstract. Goguen emphasized long ago that colimits are how to compose systems [7]. This paper corroborates and elaborates Goguen's vision by presenting a variety of situations...
Douglas R. Smith
ICAIL
1995
ACM
15 years 3 months ago
Automated Legislative Drafting: Generating Paraphrases of Legislation
In this paper, we describe which roles deep structures of law play in (automatic) drafting legislation. Deep structures contain a formal description of the intended normative effe...
Radboud Winkels, Nienke den Haan
IPPS
2008
IEEE
15 years 6 months ago
A game theoretical data replication technique for mobile ad hoc networks
Adaptive replication of data items on servers of a mobile ad hoc network can alleviate access delays. The selection of data items and servers requires solving a constrained optimi...
Samee Ullah Khan, Anthony A. Maciejewski, Howard J...