Sciweavers

5577 search results - page 115 / 1116
» E2K Technology and Implementation
Sort
View
IIE
2006
83views more  IIE 2006»
14 years 11 months ago
Is ICT a Lever for Educational Change? A Study of the Impact of ICT Implementation on Teaching and Learning in Hong Kong
Abstract. The ongoing, unprecedented growth of ICT, coupled with the globalisation of the economy, has created a huge challenge for education. This rapid growth of infusing ICT in ...
Emily M. L. Wong, Sandy C. Li
JLP
2007
95views more  JLP 2007»
14 years 11 months ago
Model checking a cache coherence protocol of a Java DSM implementation
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
Jun Pang, Wan Fokkink, Rutger F. H. Hofman, Ronald...
ICSE
2009
IEEE-ACM
16 years 2 days ago
Equality and hashing for (almost) free: Generating implementations from abstraction functions
ng Implementations from Abstraction Functions Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic and Daniel Jackson Computer Science and Artificial In...
Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph...
PKC
2009
Springer
164views Cryptology» more  PKC 2009»
15 years 11 months ago
Asynchronous Multiparty Computation: Theory and Implementation
Abstract. We propose an asynchronous protocol for general multiparty computation with perfect security and communication complexity O(n2 |C|k) where n is the number of parties, |C|...
Ivan Damgård, Jesper Buus Nielsen, Martin Ge...
VLDB
2001
ACM
104views Database» more  VLDB 2001»
15 years 11 months ago
Global transaction support for workflow management systems: from formal specification to practical implementation
In this paper, we present an approach to global transactionmanagementinworkflowenvironments.Thetransaction mechanism is based on the well-known notion of compensation, but extended...
Paul W. P. J. Grefen, Jochem Vonk, Peter M. G. Ape...