3557 search results - page 301 / 712 » Authoring Presentation for OpenMath |
171
click to vote
HICSS
2010
IEEE
15 years 8 months ago
2010
IEEE
This paper seeks to frame one aspect of the Smart Grid discussion which has been under-recognized in regulatory and policy debates. Significant discussion has focused Smart Grid a...
161
click to vote
CC
2008
Springer
15 years 8 months ago
2008
Springer
1 Virtual Machine authors face a difficult choice between low performance, cheap interpreters, or specialized and costly compilers. A method able to bridge this wide gap is the exi...
176
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
This paper presents the first type system for statically analyzing security protocols that are based on zero-knowledge proofs. We show how several properties offered by zero-knowl...
197
click to vote
AIED
2005
Springer
15 years 8 months ago
2005
Springer
Building a domain model consumes a major portion of the time and effort required for building an Intelligent Tutoring System. Past attempts at reducing the knowledge acquisition bo...
114
click to vote
CHI
2005
ACM
15 years 8 months ago
2005
ACM
The senior population is a broad, diverse demographic that it is often overlooked by traditional markets, particularly in the United States. In addition, seniors commonly experien...