Sciweavers

3381 search results - page 56 / 677
» Extending Dependencies with Conditions
Sort
View
CDC
2008
IEEE
126views Control Systems» more  CDC 2008»
15 years 11 months ago
Conditions for tracking in networked control systems
— In this paper we obtain information theoretical conditions for tracking in linear time-invariant control systems. We consider the particular case where the closed loop contains...
Ivan Lopez Hurtado, Chaouki T. Abdallah, Sudharman...
AINA
2003
IEEE
15 years 8 months ago
Formal Verification of Condition Data Flow Diagrams for Assurance of Correct Network Protocols
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
Shaoying Liu
CCE
2007
15 years 4 months ago
Control properties of thermally coupled distillation sequences for different operating conditions
The understanding of the dynamic behavior of distillation columns has received considerable attention due to the fact that distillation is one of the most widely used unit operati...
Juan Gabriel Segovia-Hernández, Esteban Abe...
147
Voted
ICASSP
2011
IEEE
14 years 8 months ago
Superpixel-based object class segmentation using conditional random fields
Object class segmentation (OCS) is a key issue in semantic scene labeling and understanding. Its general principle consists of naming object entities into scenes according to thei...
Xi Li, Hichem Sahbi
CISIS
2010
IEEE
15 years 11 months ago
Extending Security-by-Contract with Quantitative Trust on Mobile Devices
Abstract—Security-by-Contract (S×C) is a paradigm providing security assurances for mobile applications. In this work, we present an extension of S×C enriched with an automatic...
Gabriele Costa, Nicola Dragoni, Aliaksandr Lazousk...