A method and apparatus for verifying a software upgrade for a communication device identifies transient variables that may change their value over time. These transient variables are then compared to change variables produced by different versions of software to verify the upgrade.

 
Web www.patentalert.com

< Automatically generating valid behavior specifications for intrusion detection

< Delta model processing logic representation and execution system

> System and method for dynamic runtime partitioning of model-view-controller applications

> Applet permissions manager
~ 00210