Sciweavers

5423 search results - page 131 / 1085
» Denial-of-service in automation systems
Sort
View
CADE
2001
Springer
16 years 6 months ago
Automated Incremental Termination Proofs for Hierarchically Defined Term Rewriting Systems
We propose the notion of rewriting modules in order to provide a structural and hierarchical approach of TRS. We define then relative dependency pairs built upon these modules whic...
Xavier Urbain
DATE
2009
IEEE
129views Hardware» more  DATE 2009»
16 years 1 months ago
An automated flow for integrating hardware IP into the automotive systems engineering process
This contribution shows and discusses the requirements and constraints that an industrial engineering process defines for the integration of hardware IP into the system developmen...
Jan-Hendrik Oetjens, Ralph Görgen, Joachim Ge...
CAISE
2009
Springer
16 years 1 months ago
Automated Context-Aware Service Selection for Collaborative Systems
Service-Oriented Architecture (SOA) can provide a paradigm for constructing context-aware collaboration systems. Particularly, the promise of inexpensive context-aware collaborat...
HongQing Yu, Stephan Reiff-Marganiec
IPMI
2003
Springer
15 years 11 months ago
Knowledge-Driven Automated Extraction of the Human Cerebral Ventricular System from MR Images
This work presents an efficient and automated method to extract the human cerebral ventricular system from MRI driven by anatomic knowledge. The ventricular system is divided into ...
Yan Xia, Qingmao Hu, Aamer Aziz, Wieslaw Lucjan No...