Sciweavers

8770 search results - page 1445 / 1754
» Named Service Networking
Sort
View
AIEDAM
2006
89views more  AIEDAM 2006»
14 years 12 months ago
Design space exploration revisited
Design involves reasoning about descriptions of design artefacts, reasoning about design requirements and reasoning about design process objectives (such as keeping to deadlines an...
Pieter H. G. van Langen, Frances M. T. Brazier
ENTCS
2008
87views more  ENTCS 2008»
14 years 12 months ago
Remote Attestation on Legacy Operating Systems With Trusted Platform Modules
A lot of progress has been made to secure network communication, e.g., through the use of cryptographic algorithms. However, this offers only a partial solution as long as the com...
Dries Schellekens, Brecht Wyseur, Bart Preneel
ESWA
2008
172views more  ESWA 2008»
14 years 12 months ago
DADICC: Intelligent system for anomaly detection in a combined cycle gas turbine plant
DADICC is the abbreviated name for an intelligent system able to detect on-line and diagnose anomalies as soon as possible in the dynamic evolution of the behaviour of a power pla...
Antonio L. Arranz Matía, Alberto Cruz, Migu...
FAC
2008
97views more  FAC 2008»
14 years 12 months ago
A functional formalization of on chip communications
This paper presents a formal model and a systematic approach to the validation of communication tures at a high level of abstraction. This model is described mathematically by a fu...
Julien Schmaltz, Dominique Borrione
FSS
2008
147views more  FSS 2008»
14 years 12 months ago
A general framework for fuzzy morphological associative memories
Fuzzy associative memories (FAMs) can be used as a powerful tool for implementing fuzzy rule-based systems. The insight that FAMs are closely related to mathematical morphology (M...
Marcos Eduardo Valle, Peter Sussner
« Prev « First page 1445 / 1754 Last » Next »