1874 search results - page 165 / 375 » Abstract Machine for LDL |
126
click to vote
AE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We aim to construct an automatic system for the discovery of collision-based universal cellular automata that simulate Turing machines in their space-time dynamics using ...
129
Voted
ASIACRYPT
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We develop a new multi-party generalization of Naor-Nissim indirect indexing, making it possible for many participants to simulate a RAM machine with only poly-logarithmi...
113
click to vote
ECTEL
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Technology-enhanced learning has gained momentum in European Higher Education, especially in recent years. In what way this movement has influenced organisations, their ...
115
click to vote
ECTEL
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Courseware validation should locate Learning Objects inconsistent with the courseware instructional design being used. In order for validation to take place it is necessa...
115
click to vote
ESWS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract The Web Service Business Process Execution Language (WSBPEL) is the de facto standard for describing workflow-like compositions of Web services, so-called Web service orc...