Sciweavers

2562 search results - page 380 / 513
» Components of the Fundamental Category
Sort
View
DIMEA
2007
248views Multimedia» more  DIMEA 2007»
15 years 10 months ago
Adaptive digital game-based learning framework
A common teaching and learning methodology involves one that delivers knowledge to learners within a classroom environment. With the enhancement of information technology, Web-bas...
Phit-Huan Tan, Siew-Woei Ling, Choo-Yee Ting
ERLANG
2007
ACM
15 years 10 months ago
A language for specifying type contracts in Erlang and its interaction with success typings
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
Miguel Jimenez, Tobias Lindahl, Konstantinos F. Sa...
DAC
2010
ACM
15 years 10 months ago
An efficient phase detector connection structure for the skew synchronization system
Clock skew optimization continues to be an important concern in circuit designs. To overcome the influence caused by PVT variations, the automatic skew synchronization scheme can ...
Yu-Chien Kao, Hsuan-Ming Chou, Kun-Ting Tsai, Shih...
SOUPS
2010
ACM
15 years 10 months ago
Optimizing a policy authoring framework for security and privacy policies
Policies which address security and privacy are pervasive parts of both technical and social systems, and technology to enable both organizations and individuals to create and man...
Maritza Johnson, John Karat, Clare-Marie Karat, Ke...
VRML
2010
ACM
15 years 10 months ago
Shadow maps and projective texturing in X3D
We propose a number of X3D extensions to enable shadows in the virtual worlds. Our higher-level extensions are an easy way to request shadows independently of their implementation...
Michalis Kamburelis