scholarly journals Specifying and Verifying the Correctness of Dynamic Software Updates

2012 ◽  
pp. 278-293 ◽  
Author(s):  
Christopher M. Hayden ◽  
Stephen Magill ◽  
Michael Hicks ◽  
Nate Foster ◽  
Jeffrey S. Foster
Keyword(s):  
Software Updates ◽  
Dynamic Software

scholarly journals Dynamic Software Updates to Enhance Security and Privacy in High Availability Energy Management Applications in Smart Cities

IEEE Access ◽  
2019 ◽  
Vol 7 ◽  
pp. 42269-42279 ◽  
Author(s):  
Imanol Mugarza ◽  
Andoni Amurrio ◽  
Ekain Azketa ◽  
Eduardo Jacob
Keyword(s):  
Energy Management ◽  
Smart Cities ◽  
High Availability ◽  
Security And Privacy ◽  
Software Updates ◽  
Dynamic Software

Dynamic software updates

2009 ◽  
Author(s):  
Rida A. Bazzi ◽  
Kristis Makris ◽  
Peyman Nayeri ◽  
Jun Shen
Keyword(s):  
Software Updates ◽  
Dynamic Software

Javelus: A Low Disruptive Approach to Dynamic Software Updates

2012 ◽  
Author(s):  
Tianxiao Gu ◽  
Chun Cao ◽  
Chang Xu ◽  
Xiaoxing Ma ◽  
Linghao Zhang ◽  
...  
Keyword(s):  
Software Updates ◽  
Dynamic Software

scholarly journals Dynamic Software Updates for Accelerating Scientific Discovery

2009 ◽  
pp. 237-247
Author(s):  
Dong Kwan Kim ◽  
Myoungkyu Song ◽  
Eli Tilevich ◽  
Calvin J. Ribbens ◽  
Shawn A. Bohner
Keyword(s):  
Scientific Discovery ◽  
Software Updates ◽  
Dynamic Software

scholarly journals Formalization and Verification of Behavioral Correctness of Dynamic Software Updates

2013 ◽  
Vol 294 ◽  
pp. 12-23 ◽  
Author(s):  
Min Zhang ◽  
Kazuhiro Ogata ◽  
Kokichi Futatsugi
Keyword(s):  
Software Updates ◽  
Dynamic Software
Sign in / Sign up

Export Citation Format

Share Document