770 search results - page 7 / 154 » Abstract Yourself With Modules |
106
Voted
CSREAEEE
2009
15 years 1 months ago
2009
Abstract - This paper, presents a theoretical study of eLlearning authoring tools to produce online courses specialized in mathematical issues. We will introduce specialized module...
CORR
2006
Springer
15 years 12 days ago
2006
Springer
The refinement calculus for logic programs is a framework for deriving logic programs from specifications. It is based on a wide-spectrum language that can express both specificat...
96
Voted
WISTP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We present a protocol that allows servers to securely distribute secrets to trusted platforms. The protocol maintains the confidentiality of secrets in the face of eaves...
159
click to vote
POPL
2003
ACM
16 years 20 days ago
2003
ACM
We present a type theory for higher-order modules that accounts for many central issues in module system design, including translucency, applicativity, generativity, and modules a...
DLOG
2009
15 years 1 months ago
2009
Abstract There are various techniques for specifying a module of an ontology that covers all knowledge about a given set of terms. These differ with respect to the size of the modu...