Sciweavers

6652 search results - page 312 / 1331
» A perspective based approach to design
Sort
View
ISW
2000
Springer
15 years 10 months ago
Classification of Authentication Protocols: A Practical Approach
We propose a simple classification method for public-key based authentication protocols, which consists of identifying several basic properties leading to a large number of generic...
DongGook Park, Colin Boyd, Ed Dawson
TYPES
1995
Springer
15 years 10 months ago
A Natural Deduction Approach to Dynamic Logic
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
Furio Honsell, Marino Miculan
WSC
2007
15 years 9 months ago
A comparison of scheduling approaches for a make-to-order electronics manufacturer
In this paper, we compare two scheduling procedures designed to minimize setup costs for a make-to-order electronics manufacturing. While setup costs are important, quick response...
Susan K. Heath, Douglas J. Morrice
AUTOMATICA
2006
81views more  AUTOMATICA 2006»
15 years 6 months ago
An energy-gain bounding approach to robust fuzzy identification
A novel method for the robust identification of interpretable fuzzy models, based on the criterion that identification errors are least sensitive to data uncertainties and modelli...
Mohit Kumar, Norbert Stoll, Regina Stoll
IJRFITA
2007
205views more  IJRFITA 2007»
15 years 6 months ago
2D localisation using SAW-based RFID systems: a single antenna approach
: This paper presents a novel Real-Time Localisation System (RTLS) based upon 2.45 GHz Surface Acoustic Wave (SAW) Radio Frequency Identification (RFID) systems. The system utilise...
Darmindra D. Arumugam, Vijayakrishnan Ambravaneswa...