10568 search results - page 1847 / 2114 » Computer Intelligence and Formalization |
128
click to vote
FDG
2009
ACM
15 years 10 months ago
2009
ACM
Designing videogames involves weaving together systems of rules, called game mechanics, which support and structure compelling player experiences. Thus a significant portion of ga...
141
click to vote
GROUP
2009
ACM
15 years 10 months ago
2009
ACM
Coping with a new health issue often requires individuals to acquire knowledge and skills to manage personal health. Many patients turn to one another for experiential expertise o...
173
click to vote
HASKELL
2009
ACM
15 years 10 months ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
131
click to vote
SAC
2010
ACM
15 years 10 months ago
2010
ACM
Most mainstream system programming languages provide support for builtin types, and extension mechanisms through userdefined types. They also come with a notion of constant expre...
130
click to vote
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
In recent years, instant messaging (IM) has become a popular medium of online communication. While IM is expanding into the enterprise beyond personal use, it brings the convenien...