544 search results - page 47 / 109 » Reading to Write |
ECTEL
2007
Springer
14 years 3 months ago
2007
Springer
As a frame of reference I will discuss the present situation in Norway where new national curriculum states that digital literacy is as important as reading, writing and numeracy....
SEKE
2005
Springer
14 years 2 months ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
ICDCSW
2003
IEEE
14 years 2 months ago
2003
IEEE
In a Distributed Database System (DDBS), transactions on objects can be read requests or write requests in a random manner. The replication algorithm of objects critically affects...
CIIA
2009
13 years 10 months ago
2009
This paper describes our experience in processor/threads synchronization using the POSIX API standard for MPSoC virtual applications prototyping. Spin-Lock (Binary Semaphore) imple...
HASKELL
2007
ACM
14 years 21 days ago
2007
ACM
Quasiquoting allows programmers to use domain specific syntax to construct program fragments. By providing concrete syntax for complex data types, programs become easier to read, ...