Sciweavers

19003 search results - page 276 / 3801
» We Need Assurance
Sort
View
GC
2004
Springer
16 years 1 days ago
For-LySa: UML for Authentication Analysis
The DEGAS project aims at enriching standard UML-centred development environments in such a way that the developers of global applications can exploit automated formal analyses wit...
Mikael Buchholtz, Carlo Montangero, Lara Perrone, ...
ARITH
2003
IEEE
15 years 12 months ago
A Low Complexity and a Low Latency Bit Parallel Systolic Multiplier over GF(2m) Using an Optimal Normal Basis of Type II
Using the self duality of an optimal normal basis (ONB) of type II, we present a bit parallel systolic multiplier over GF(2m ) which has a low hardware complexity and a low latenc...
Soonhak Kwon
ICIP
2003
IEEE
15 years 12 months ago
Texture analysis: an adaptive probabilistic approach
Two main issues arise when working in the area of texture segmentation: the need to describe the texture accurately by capturing its underlying structure, and the need to perform ...
Karen Brady, Ian Jermyn, Josiane Zerubia
DATE
2010
IEEE
110views Hardware» more  DATE 2010»
15 years 11 months ago
Multi-temperature testing for core-based system-on-chip
—Recent research has shown that different defects can manifest themselves as failures at different temperature spectra. Therefore, we need multi-temperature testing which applies...
Zhiyuan He, Zebo Peng, Petru Eles
POLICY
2001
Springer
15 years 11 months ago
Issues in Managing Soft QoS Requirements in Distributed Systems Using a Policy-Based Framework
Abstract. We address the problem of Quality of Service (QoS) requirements for multimedia applications (e.g., distance education, telemedicine, electronic commerce). These applicati...
Hanan Lutfiyya, Gary Molenkamp, Michael Katchabaw,...