Data processing: software development – installation – and managem – Software upgrading or updating
Reexamination Certificate
2006-01-10
2006-01-10
Zhen, Wei Y. (Department: 2191)
Data processing: software development, installation, and managem
Software upgrading or updating
C717S166000, C717S170000, C713S152000, C713S152000
Reexamination Certificate
active
06986132
ABSTRACT:
A method of operating a computer system includes providing a first version of a program in memory and verifying the program prior to program execution. Program verification includes indicating a verification error when a first version of a first program unit implementation is not internally consistent, indicating a verification error when the first version of the first program unit implementation is inconsistent with the version of the program unit API definition file associated with the first version of the first program unit implementation, receiving a second version of the first program unit implementation and a second version of the first program unit implementation is binary compatible with the first version of the first program unit implementation by comparing the first version of the first program unit API definition file and the second version of the first program unit API definition unit.
REFERENCES:
patent: 5022028 (1991-06-01), Edmonds et al.
patent: 5313616 (1994-05-01), Cline et al.
patent: 5408665 (1995-04-01), Fitzgerald
patent: 5446901 (1995-08-01), Owicki et al.
patent: 5490249 (1996-02-01), Miller
patent: 5565316 (1996-10-01), Kershaw et al.
patent: 5613101 (1997-03-01), Lillich
patent: 5615137 (1997-03-01), Holzmann et al.
patent: 5652835 (1997-07-01), Miller
patent: 5668999 (1997-09-01), Gosling
patent: 5701408 (1997-12-01), Cornell et al.
patent: 5748964 (1998-05-01), Gosling
patent: 5761510 (1998-06-01), Smith, Jr. et al.
patent: 5884316 (1999-03-01), Bernstein et al.
patent: 5925140 (1999-07-01), Hudson
patent: 5966702 (1999-10-01), Fresko et al.
patent: 5974255 (1999-10-01), Gossain et al.
patent: 5999731 (1999-12-01), Yellin et al.
patent: 6002871 (1999-12-01), Duggan et al.
patent: 6005942 (1999-12-01), Chan et al.
patent: 6011918 (2000-01-01), Cohen et al.
patent: 6038378 (2000-03-01), Kita et al.
patent: 6052732 (2000-04-01), Gosling
patent: 6058393 (2000-05-01), Meier et al.
patent: 6067639 (2000-05-01), Rodrigues et al.
patent: 6075940 (2000-06-01), Gosling
patent: 6092147 (2000-07-01), Levy et al.
patent: 6125442 (2000-09-01), Maves et al.
patent: 6138112 (2000-10-01), Slutz
patent: 6178504 (2001-01-01), Fieres et al.
patent: 6182158 (2001-01-01), Kougiouris et al.
patent: 6202070 (2001-03-01), Nguyen et al.
patent: 6205579 (2001-03-01), Southgate
patent: 6212633 (2001-04-01), Levy et al.
patent: 6230312 (2001-05-01), Hunt
patent: 6230314 (2001-05-01), Sweeney et al.
patent: 6230318 (2001-05-01), Halstead et al.
patent: 6243859 (2001-06-01), Chen-Kuang
patent: 6247171 (2001-06-01), Yellin et al.
patent: 6262492 (2001-07-01), Sheng
patent: 6272674 (2001-08-01), Holiday, Jr.
patent: 6347398 (2002-02-01), Parthasarathy et al.
patent: 6349344 (2002-02-01), Sauntry et al.
patent: 6360334 (2002-03-01), Kavanagh et al.
patent: 6370686 (2002-04-01), Delo et al.
patent: RE37722 (2002-05-01), Burnard et al.
patent: 6389467 (2002-05-01), Eyal
patent: 6405309 (2002-06-01), Cheng et al.
patent: 6418554 (2002-07-01), Delo et al.
patent: 6425118 (2002-07-01), Molloy et al.
patent: 6477666 (2002-11-01), Sanchez et al.
patent: 6477702 (2002-11-01), Yellin et al.
patent: 6519767 (2003-02-01), Carter et al.
patent: 6526571 (2003-02-01), Aizikowitz et al.
patent: 6539539 (2003-03-01), Larsen et al.
patent: 6549930 (2003-04-01), Chrysos et al.
patent: 6668289 (2003-12-01), Cheng et al.
patent: 2002/0040936 (2002-04-01), Wentker et al.
patent: 0 292 248 (1988-05-01), None
patent: 0 498 130 (1991-12-01), None
patent: 0 718 761 (1995-12-01), None
patent: 0 778 520 (1996-11-01), None
patent: 0 778 520 (1996-11-01), None
patent: 0 685 792 (1998-05-01), None
patent: WO 00/00890 (2000-01-01), None
patent: WO 01/14958 (2001-03-01), None
patent: 98/37526 (1998-02-01), None
patent: WO 98/19237 (1998-05-01), None
patent: WO 98/521258 (1998-05-01), None
patent: 98/43212 (1998-10-01), None
patent: WO 00/25278 (2000-05-01), None
patent: WO 00/46666 (2000-08-01), None
Lindsay et al. A generic model for fine grained configuration management including version control and traceability. IEEE. 1997. pp. 27-36.
Bowles et al. A Comparison of Commercial Reliability Prediction Programs. IEEE. 1990. pp. 450-455.
Cooper. Persistent Languages Facilitate the Implementation of Software Version Management. IEEE. 1989. pp. 56-65.
Zhao, Jianjun, “Applying Program Dependence Analysis To Java Software”, Department of Computer Science and Engineering, pp. 1-8.
Suresh Subramanian, “CRUISE: Using Interface Hierarchies to Support Software Evolution”, IEEE, 1988, pp. 132-142.
International Search Report, PCT/US 01/28579, International filing date Sep. 12, 2001, date Search Report mailed- Jan. 5, 2004.
International Search Report, PCT/US 01/28688, International filing date Sep. 14, 2001, date Search report mailed- Jan. 5, 2004.
International Preliminary Examination Report, PCT/US01/28687, International filing date Sep. 14, 2001, date Search Report mailed Jan. 5, 2004.
Bergin et al., “Java Resources for Computer Science Instruction”, Report of the ITiCSE'98/ACTC'98 Working Group on Curricular Opportunities of Java Based Software Development, ITiCSE, pp. 14-34 (1998).
Bowles et al., “A Comparison of Commercial Reliability Prediction Programs”, Proceedings Annual Reliability and Maintainability Symposium, IEEE, pp. 450-455 (1990).
Cooper, Richard, “Persistent Languages Facilitate the Implementation of Software Version Management”, EEE, pp. 56-65 (1989).
Ferscha et al., “Java Based Conservative Distributed Simulation”, Proceedings of the 1997 Winter Simulation Conference, pp. 381-388 (1997).
Foster et al., “A Security Architecture for Computational Grids”, Fifth ACM Conference on Computer & Communications Security, pp. 83-92 (1998).
Lindsay et al., “A Generic Model for Fine Grained Configuration Management Including Version Control and Traceability”, Proceedings of the Australian Software Engineering Conference (ASWEC'97), IEEE Computer Society, pp. 27-36 (1997).
Daniels, John et al., “Strategies For Sharing Objects In Distributed Systems”, JOOP,Object Designers Ltd., UK,pp. 27-36.
Chan, “Infrastructure of Multi-Application Smart Card”, http.//home.hkstar.com/˜alanchan/papers/multiApplicationsSmartCard/, Jul. 25, 2002.
Chen, Zhiqun, “Java Card™ Technology for Smart Cards”,Sun Microsystems,pp. 11-16, Jun. 2000.
Ritchey, Tim, “Advanced Topics: The Java Virtual Machine”,Java!, Chapter 14, pp. 25-346, Sep. 22, 1995.
Sun Microsystems, Inc., “Java Card™ 2.0 Language Subset and Virtual Machine Specification”, Oct. 13, 1997, Revision 1.0 Final.
Sun Microsystems, Inc., “Java Card™ 2.0 Programming Concepts”, Oct. 15, 1997, Revision 1.0 Final.
“Sun Delivers On Vision to Bring JAVA Technology to the Consumer and Embedded Market”, Business Wire, Sep. 28, 1999.
“Sun Microsystems Announces JAVACARD API”, Business Wire, Oct. 1996.
Sun Microsystems: “Sun's JAVA Technology Leads Open Worldwide Market for Smart Cards”, M2, Presswire, May 1999.
David Basin “Java Bytecode Verification by Model Checking” System Abstract, pp. 492-495 IT-Research Security (TZ/FE34).
George E. Necula, et al., “Proof-Carrying Code”, Nov. 1996, pp. 1-60.
Joachim Posegga, et al., “Byte Code Verification for Java Smart Cards Based on Model Checking”, Sep. 16-18, 1998, pp. 176-190.
Gunnison McKay & Hodgson, L.L.P.
Sun Microsytems Inc.
Zhen Wei Y.
LandOfFree
Remote incremental program binary compatibility verification... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Remote incremental program binary compatibility verification..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Remote incremental program binary compatibility verification... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3537041