Sciweavers

576 search results - page 57 / 116
» Approximate controllability of a reaction-diffusion system
Sort
View
ICDM2
2004
Springer
196views Data Mining» more  ICDM2 2004»
14 years 3 months ago
An Early Warning System for Vehicle Related Quality Data
Vehicle production audit tests, warranty claims and car control unit data are stored in a central data warehouse for data mining analysis. Neural network based part failure rate es...
Matthias Grabert, Markus Prechtel, Tomas Hrycej, W...
ESORICS
2007
Springer
14 years 4 months ago
Obligations and Their Interaction with Programs
Obligations are pervasive in modern systems, often linked to access control decisions. We present a very general model of obligations as objects with state, and discuss its interac...
Daniel J. Dougherty, Kathi Fisler, Shriram Krishna...
TGC
2005
Springer
14 years 3 months ago
A Practical Formal Model for Safety Analysis in Capability-Based Systems
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...
Fred Spiessens, Peter Van Roy
PTS
2008
98views Hardware» more  PTS 2008»
13 years 11 months ago
Modular System Verification by Inference, Testing and Reachability Analysis
Verification of a modular system composed of communicating components is a difficult problem, especially when the models of the components are not available. Conventional testing t...
Roland Groz, Keqin Li 0002, Alexandre Petrenko, Mu...
MVA
2000
158views Computer Vision» more  MVA 2000»
13 years 11 months ago
Automated TV-set Raster Tuning System
System for automated control and tuning of TVset raster has been developed. The artificial intelligence elements such as multilayer perceptron, RBF and Cohonen networks effectivel...
Rauf Kh. Sadykhov, Alexey N. Klimovich, Oleg G. Ma...