Loading…
Formal Techniques for Networked and Distributed Systems: FORTE 2001 IFIP TC6/WG6.1 — 21st International Conference on Formal Techniques for Networked and Distributed Systems August 28–31, 2001, Cheju Island, Korea
Kim, Myungchul, Chin, Byoungmoon, Kang, Sungwon, Lee, Danhyung
Published in Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea (2001)
Published in Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea (2001)
Get full text
eBook
Conference Proceeding
Loading…
Loading…
Optimal power‐constrained control of distributed systems with information constraints
Causevic, Vedad, Abara, Precious Ugo, Hirche, Sandra
Published in Asian journal of control (01.09.2022)
Published in Asian journal of control (01.09.2022)
Get full text
Journal Article
Loading…
A reliability-and-cost-based framework to optimize maintenance planning and diverse-skilled technician routing for geographically distributed systems
Si, Guojin, Xia, Tangbin, Gebraeel, Nagi, Wang, Dong, Pan, Ershun, Xi, Lifeng
Published in Reliability engineering & system safety (01.10.2022)
Published in Reliability engineering & system safety (01.10.2022)
Get full text
Journal Article
Loading…
A Behavioral Theory for Distributed Systems with Weak Recovery
Fabbretti, Giovanni, Lanese, Ivan, Stefani, Jean-Bernard
Published in Logical methods in computer science (01.01.2025)
Published in Logical methods in computer science (01.01.2025)
Get full text
Journal Article
Loading…
Electroencephalogram subject identification: A review
Del Pozo-Banos, Marcos, Alonso, Jesús B., Ticay-Rivas, Jaime R., Travieso, Carlos M.
Published in Expert systems with applications (01.11.2014)
Published in Expert systems with applications (01.11.2014)
Get full text
Journal Article
Loading…
Loading…
Loading…
Loading…
Loading…
Protected pointers to specify access privileges in distributed systems
Lopriore, Lanfranco, Santone, Antonella
Published in Journal of parallel and distributed computing (01.04.2019)
Published in Journal of parallel and distributed computing (01.04.2019)
Get full text
Journal Article
Loading…
Lyapunov-Based Model Predictive Control of Nonlinear Systems Subject to Data Losses
Munoz de la Pena, D., Christofides, P.D.
Published in IEEE transactions on automatic control (01.10.2008)
Published in IEEE transactions on automatic control (01.10.2008)
Get full text
Journal Article
Loading…
Pseudonymization risk analysis in distributed systems
Neumann, Geoffrey K., Grace, Paul, Burns, Daniel, Surridge, Mike
Published in Journal of internet services and applications (01.01.2019)
Published in Journal of internet services and applications (01.01.2019)
Get full text
Journal Article
Loading…
Control system design subject to SNR constraints
Silva, Eduardo I., Goodwin, Graham C., Quevedo, Daniel E.
Published in Automatica (Oxford) (01.02.2010)
Published in Automatica (Oxford) (01.02.2010)
Get full text
Journal Article
Loading…
Loading…
Stability analysis of networked control systems subject to packet-dropouts and finite-level quantization
Ishido, Yumiko, Takaba, Kiyotsugu, Quevedo, Daniel E.
Published in Systems & control letters (01.05.2011)
Published in Systems & control letters (01.05.2011)
Get full text
Journal Article
Loading…
An Architecture and Prototype for Monitoring Distributed Simulations of Distributed Systems
Filaseta, Angelo, Pianini, Danilo, Cortecchia, Angela
Published in 2024 28th International Symposium on Distributed Simulation and Real Time Applications (DS-RT) (07.10.2024)
Published in 2024 28th International Symposium on Distributed Simulation and Real Time Applications (DS-RT) (07.10.2024)
Get full text
Conference Proceeding