Sciweavers

3358 search results - page 575 / 672
» Parametric Aspects: A Proposal
Sort
View
RE
2010
Springer
15 years 29 days ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis
SIGIR
2010
ACM
15 years 29 days ago
PRES: a score metric for evaluating recall-oriented information retrieval applications
Information retrieval (IR) evaluation scores are generally designed to measure the effectiveness with which relevant documents are identified and retrieved. Many scores have been ...
Walid Magdy, Gareth J. F. Jones
TIP
2010
111views more  TIP 2010»
15 years 28 days ago
Green Noise Digital Halftoning With Multiscale Error Diffusion
Multiscale error diffusion (MED) is superior to conventional error diffusion algorithms as it can eliminate directional hysteresis completely and possesses a good blue noise chara...
Yik-Hing Fung, Yuk-Hee Chan
TIT
2010
98views Education» more  TIT 2010»
15 years 28 days ago
Pairwise intersession network coding on directed networks
When there exists only a single multicast session in a directed acyclic/cyclic network, the existence of a network coding solution is characterized by the classic min-cut/max-flow ...
Chih-Chun Wang, Ness B. Shroff
TLT
2010
95views more  TLT 2010»
15 years 28 days ago
Mobile Learning in School Contexts: Can Teachers Alone Make It Happen?
Evidence from a range of studies indicates the potential that mobile technologies have to support important aspects of learning. However, it is clear from a number of study finding...
Don Passey