Sciweavers

12438 search results - page 2139 / 2488
» The Magic of a Number System
Sort
View
COMPSEC
2008
99views more  COMPSEC 2008»
15 years 7 months ago
SSL/TLS session-aware user authentication revisited
Man-in-the-middle (MITM) attacks pose a serious threat to SSL/TLS-based e-commerce applications, and there are only a few technologies available to mitigate the risks. In [OHB05], ...
Rolf Oppliger, Ralf Hauser, David A. Basin
CORR
2010
Springer
159views Education» more  CORR 2010»
15 years 7 months ago
Lightweight Mutual Authentication Protocol for Low Cost RFID Tags
Radio Frequency Identification (RFID) technology one of the most promising technologies in the field of ubiquitous computing. Indeed, RFID technology may well replace barcode tech...
Eslam Gamal Ahmed, Eman Shaaban, Mohamed Hashem
CORR
2010
Springer
114views Education» more  CORR 2010»
15 years 7 months ago
Montage: a grid portal and software toolkit for science-grade astronomical image mosaicking
: Montage is a portable software toolkit for constructing custom, science-grade mosaics by composing multiple astronomical images. The mosaics constructed by Montage preserve the a...
Joseph C. Jacob, Daniel S. Katz, G. Bruce Berriman...
CONSTRAINTS
2008
182views more  CONSTRAINTS 2008»
15 years 7 months ago
Constraint Programming in Structural Bioinformatics
Bioinformatics aims at applying computer science methods to the wealth of data collected in a variety of experiments in life sciences (e.g. cell and molecular biology, biochemistry...
Pedro Barahona, Ludwig Krippahl
CORR
2010
Springer
210views Education» more  CORR 2010»
15 years 7 months ago
Test Case Generation for Object-Oriented Imperative Languages in CLP
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to ...
Miguel Gómez-Zamalloa, Elvira Albert, Germ&...
« Prev « First page 2139 / 2488 Last » Next »