21324 search results - page 3888 / 4265 » Making the case for computing |
135
click to vote
CHARME
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
148
click to vote
DIGRA
2005
Springer
15 years 10 months ago
2005
Springer
This paper details a research methodology that emerged during an inquiry into game design aimed at promoting conceptual learning in physics. The methodology, Research as DesignDes...
139
click to vote
DNIS
2005
Springer
15 years 10 months ago
2005
Springer
: A Peer-to-peer Data Network (PDN) is an open and evolving society of peer nodes that assemble into a network to share their data for mutual benefit. PDNs are enabled by distribu...
135
click to vote
EUROCRYPT
2005
Springer
15 years 10 months ago
2005
Springer
Biometric data offer a potential source of high-entropy, secret information that can be used in cryptographic protocols provided two issues are addressed: (1) biometric data are n...
135
click to vote
FCT
2005
Springer
15 years 10 months ago
2005
Springer
Usually, for bin packing problems, we try to minimize the number of bins used or in the case of the dual bin packing problem, maximize the number or total size of accepted items. ...