Sciweavers

3701 search results - page 203 / 741
» Anatomical Information Science
Sort
View
SOFSEM
2009
Springer
16 years 4 months ago
Epistemic Strategies and Games on Concurrent Processes
We develop a game semantics for process algebra with two interacting agents. The purpose of our semantics is to make manifest the role of knowledge and information flow in the int...
Konstantinos Chatzikokolakis, Sophia Knight, Praka...
167
Voted
CSE
2009
IEEE
16 years 1 months ago
Has Anyone Seen My Goose? Social Network Services in Developing Regions
Abstract— In developing regions, Internet connectivity is extremely poor, while mobile phone penetration is much higher. The inhabitants of developing conuntries still rely on tr...
Narseo Vallina-Rodriguez, Pan Hui, Jon Crowcroft
ACSC
2005
IEEE
16 years 22 days ago
Integration of generic program analysis tools into a software development environment
Support for program understanding in development and maintenance tasks can be facilitated by program analysis techniques. Both control-flow and data-flow analysis can support pr...
Erica Glynn, Ian J. Hayes, Anthony MacDonald
CSCW
2004
ACM
16 years 16 days ago
Hiding and revealing in online poker games
Poker is largely a game of social and psychological information. However, online card room interfaces do not support the subtle communication between players that is integral to t...
Scott A. Golder, Judith S. Donath
ITICSE
2003
ACM
16 years 10 days ago
A media computation course for non-majors
Computing may well become considered an essential part of a liberal education, but introductory programming courses will not look like the way that they do today. Current CS1 cour...
Mark Guzdial