5539 search results - page 28 / 1108 » What can be computed locally |
IPPS
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper, we identify that protocol verification using invariants have significant limitations such as inapplicability to some protocols, non-standard attacker inferences a...
LCN
2008
IEEE
14 years 4 months ago
2008
IEEE
—Observing the environment is the raison d’ ˆetre of sensor networks, but the precise reconstruction of the measured process requires too many messages for a low power sensor ...
EACL
2006
ACL Anthology
13 years 11 months ago
2006
ACL Anthology
This paper describes the development of a rule-based computational model that describes how a feature-based representation of shared visual information combines with linguistic cu...
DIGRA
2005
Springer
14 years 3 months ago
2005
Springer
Games Studies is still a relatively new field where much basic research remains to be done. This study asks K-12 teachers about their attitudes towards the use of games for teachi...
CHI
2008
ACM
14 years 10 months ago
2008
ACM
Sometimes people cannot remember the names or locations of things on their computer, but they can remember what other things are associated with them. We created Feldspar, the fir...