Sciweavers

1675 search results - page 154 / 335
» Some thoughts on teaching programming and programming langua...
Sort
View
149
Voted
ADBIS
2006
Springer
70views Database» more  ADBIS 2006»
15 years 11 months ago
A Statistic Study for the ADBIS Period 1994-2006
The Conference on Advances in Databases and Information Systems (ADBIS) was initiated by the Moscow ACM SIGMOD chapter, and started in 1993 as a mainly Russian national event. Sinc...
Yannis Manolopoulos
CRITICAL
2005
15 years 7 months ago
Comparing two approaches to context: realism and constructivism
During the last few years, there have been debates over what is context and how computers should act upon it. Two disparate camps of thought can be recognized. First, Realism, hav...
Antti Oulasvirta, Sakari Tamminen, Kristina Hö...
140
Voted
ICALP
2005
Springer
15 years 10 months ago
Logics for Unranked Trees: An Overview
Labeled unranked trees are used as a model of XML documents, and logical languages for them have been studied actively over the past several years. Such logics have different purpo...
Leonid Libkin
DIAGRAMS
2008
Springer
15 years 6 months ago
Diagrams in the UK National School Curriculum
Abstract. We review the use of diagrams in the UK National School Curriculum (NC) and assess it in the light of current research on childrens' graph comprehension. It is noted...
Grecia Garcia Garcia, Richard Cox
IFIP
2010
Springer
14 years 11 months ago
A Formal Analysis of Authentication in the TPM
The Trusted Platform Module (TPM) is a hardware chip designed to enable computers to achieve a greater level of security than is possible in software alone. To this end, the TPM pr...
Stéphanie Delaune, Steve Kremer, Mark Dermo...