4090 search results - page 596 / 818 » Blended Learning Design |
KBS
2006
2006
Facilitating formal specification acquisition by using recursive functions on context-free languages
13 years 9 months ago
Although formal specification techniques are very useful in software development, the acquisition of formal specification is a difficult task. This paper presents the formal softw...
NETWORK
2008
13 years 9 months ago
2008
Today, network address translators, or NATs, are everywhere. Their ubiquitous adoption was not promoted by design or planning but by the continued growth of the Internet, which pl...
SIGCSE
2008
ACM
13 years 9 months ago
2008
ACM
ion." These images do not foster collaboration with other fields and do not excite the curiosity of young people. In this session, Astrachan and Denning will discuss what they...
IJNSEC
2007
13 years 9 months ago
2007
We can view an existing Message Authentication Code (MAC) as a Carter-Wegman MAC in spite of the fact it may not have been designed as one. This will make the analysis easier than...
TIP
2008
13 years 9 months ago
2008
Abstract--Sparse representations of signals have drawn considerable interest in recent years. The assumption that natural signals, such as images, admit a sparse decomposition over...