Sciweavers

8266 search results - page 298 / 1654
» Information About the Journal
Sort
View
SEMWEB
2007
Springer
16 years 23 days ago
Sindice.com: Weaving the Open Linked Data
Developers of Semantic Web applications face a challenge with respect to the decentralised publication model: where to find statements about encountered resources. The “linked d...
Giovanni Tummarello, Renaud Delbru, Eyal Oren
DIGRA
2005
Springer
16 years 6 days ago
Games for Learning: Are Schools Ready for What's to Come?
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...
Katrin Becker, Michele Jacobsen
AMAST
2004
Springer
16 years 2 days ago
Counting Votes with Formal Methods
This abstract provides some background information about the electronic voting experiment that is planned in the Netherlands for the European Elections of 2004, and about our own i...
Bart Jacobs
TYPES
2004
Springer
16 years 9 hour ago
A Machine-Checked Formalization of the Random Oracle Model
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
Gilles Barthe, Sabrina Tarento
CIA
2003
Springer
15 years 12 months ago
Meta-reasoning for Agents' Private Knowledge Detection
Abstract. Agent’s meta-reasoning is a computational process that implements agent’s capability to reason on a higher level about another agent or a community of agents. There i...
Jan Tozicka, Jaroslav Barta, Michal Pechoucek