Sciweavers

3007 search results - page 264 / 602
» Designed -in-diagnostics: A new optical method
Sort
View
ESCIENCE
2006
IEEE
15 years 10 months ago
Grid Services Toolkit for Process Data Processing
Grid is a rapidly growing new technology that will provide easy access to huge amounts of computer resources, both hardware and software. As these resources become available soon,...
Tim O. Müller, Thomas Jejkal, Rainer Stotzka,...
FPL
2006
Springer
99views Hardware» more  FPL 2006»
15 years 10 months ago
Identifying FPGA IP-Cores Based on Lookup Table Content Analysis
In this paper we introduce a new method to identify IP cores in an FPGA by analyzing the content of lookup tables. This techniques can be used to identify registered cores for IP ...
Daniel Ziener, Stefan Assmus, Jürgen Teich
FAABS
2000
Springer
15 years 10 months ago
Verification within the KARO Agent Theory
This paper discusses automated reasoning in the KARO framework. The KARO framework accommodates a range of expressive modal logics for describing the behaviour of intelligent agent...
Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, M...
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
CIKM
1995
Springer
15 years 10 months ago
Learning Subjective Relevance to Facilitate Information Access
As the amount of available electronic information is dramatically increasing, the ability for rapid and e ective access to information has become critical. Most traditional inform...
James R. Chen, Nathalie Mathe