3006 search results - page 195 / 602 » Overview |
123
Voted
ECEASST
2008
15 years 3 months ago
2008
: This paper presents a compiler for interaction nets, which, just like term rewriting systems, are user-definable rewrite systems which offer the ability to specify and program. I...
135
Voted
AIS
2006
Springer
15 years 3 months ago
2006
Springer
This paper provides an overview of creating games for change from within an academic context, focusing specifically on the development of educational computer games for middle scho...
139
Voted
EJC
2008
15 years 3 months ago
2008
We present improved lower bounds on the sizes of small maximal partial ovoids and small maximal partial spreads in the classical symplectic and orthogonal polar spaces, and improv...
117
Voted
AML
2006
15 years 3 months ago
2006
If the Visser rules are admissible for an intermediate logic, they form a basis for the admissible rules of the logic. How to characterize the admissible rules of intermediate log...
97
Voted
FAC
2008
15 years 3 months ago
2008
Ten years ago the Mondex electronic purse was certified to ITSEC Level E6, the highest level of assuranceforsecuresystems.ThisinvolvedbuildingformalmodelsintheZnotation,linkingthem...