79 search results - page 6 / 16 » Full Abstraction and the Context Lemma |
ECTEL
2009
Springer
14 years 5 days ago
2009
Springer
Abstract. The MiGen project is designing and developing an intelligent, exploratory environment to support 11–14-year-old students in their learning of mathematical generalisatio...
ER
1995
Springer
13 years 11 months ago
1995
Springer
Abstract. This paper presents techniques for reverse engineering of relational database applications. The target of such an effort is the definition of a fully equipped object-orie...
ECOOP
2004
Springer
14 years 28 days ago
2004
Springer
Abstract. Programming with Java monitors is recognized to be difficult, and potentially inefficient due to many useless context switches induced by the notifyAll primitive. This pa...
DSD
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Pulse-based data transmission has been demonstrated as a power-saving and high performance alternative to level-based signalling over global distances. Key to its correc...
JASIS
2008
13 years 7 months ago
2008
The old Asian legend about the blind men and the elephant comes to mind when looking at how different authors of scientific papers describe a piece of related prior work. It turns...