GB0700545D0 - On-Line Verification of Protocols and Protocol Enhancements - Google Patents

On-Line Verification of Protocols and Protocol Enhancements

Info

Publication number
GB0700545D0
GB0700545D0 GB0700545A GB0700545A GB0700545D0 GB 0700545 D0 GB0700545 D0 GB 0700545D0 GB 0700545 A GB0700545 A GB 0700545A GB 0700545 A GB0700545 A GB 0700545A GB 0700545 D0 GB0700545 D0 GB 0700545D0
Authority
GB
United Kingdom
Prior art keywords
protocols
line verification
protocol enhancements
enhancements
protocol
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Withdrawn
Application number
GB0700545A
Other versions
GB2445586A (en
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Toshiba Europe Ltd
Original Assignee
Toshiba Research Europe Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Toshiba Research Europe Ltd filed Critical Toshiba Research Europe Ltd
Priority to GB0700545A priority Critical patent/GB2445586A/en
Publication of GB0700545D0 publication Critical patent/GB0700545D0/en
Publication of GB2445586A publication Critical patent/GB2445586A/en
Withdrawn legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/60—Software deployment
    • G06F8/61—Installation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3604—Software analysis for verifying properties of programs
    • G06F11/3612—Software analysis for verifying properties of programs by runtime analysis
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/44—Arrangements for executing specific programs
    • G06F9/445—Program loading or initiating
    • G06F9/44589—Program code verification, e.g. Java bytecode verification, proof-carrying code
GB0700545A 2007-01-11 2007-01-11 Method of deploying software modules to a configurable terminal in which the suitability of the module is assessed before full deployment. Withdrawn GB2445586A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
GB0700545A GB2445586A (en) 2007-01-11 2007-01-11 Method of deploying software modules to a configurable terminal in which the suitability of the module is assessed before full deployment.

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
GB0700545A GB2445586A (en) 2007-01-11 2007-01-11 Method of deploying software modules to a configurable terminal in which the suitability of the module is assessed before full deployment.

Publications (2)

Publication Number Publication Date
GB0700545D0 true GB0700545D0 (en) 2007-02-21
GB2445586A GB2445586A (en) 2008-07-16

Family

ID=37809807

Family Applications (1)

Application Number Title Priority Date Filing Date
GB0700545A Withdrawn GB2445586A (en) 2007-01-11 2007-01-11 Method of deploying software modules to a configurable terminal in which the suitability of the module is assessed before full deployment.

Country Status (1)

Country Link
GB (1) GB2445586A (en)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN112835590A (en) * 2021-01-29 2021-05-25 中国银联股份有限公司 Model generation method, deployment method, device and computer-readable storage medium

Family Cites Families (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5815722A (en) * 1992-11-18 1998-09-29 Canon Information Systems, Inc. In an interactive network board, a method and apparatus for remotely downloading and executing files in a memory
NO312269B1 (en) * 2000-06-28 2002-04-15 Ericsson Telefon Ab L M Software Upgrade Automation Procedure
US20030023770A1 (en) * 2001-07-26 2003-01-30 Barmettler James W. Automated software driver installation
JP2003122442A (en) * 2001-10-16 2003-04-25 Sony Corp Wireless data communications method and apparatus for software download system
US20030226139A1 (en) * 2002-05-28 2003-12-04 Sheng Lee System update protocol

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN112835590A (en) * 2021-01-29 2021-05-25 中国银联股份有限公司 Model generation method, deployment method, device and computer-readable storage medium

Also Published As

Publication number Publication date
GB2445586A (en) 2008-07-16

Similar Documents

Publication Publication Date Title
GB2436460B (en) Mems process and device
EP2381576B8 (en) Demultiplexer and electronic device
EP2198562A4 (en) System and method for communicating using internet protocol
EP2070040A4 (en) Proxy authentication methods and apparatus
ZA200903364B (en) Respiratory theray device and method
EP2310989A4 (en) Dynamically distributable nano rfid device and related method
EP2169956B8 (en) Receiving device and receiving method
GB2467080B (en) Fistula plugs and apparatuses
TWI366368B (en) Systems and methods for using internet mobility protocols with non internet mobility protocols
EP2077635A4 (en) Transmitting method and device
EP2094665A4 (en) Preparation of montelukast and its salts
GB0604914D0 (en) Calibration device and method
ZA200807614B (en) Buprenorphine derivatives and uses thereof
EP1991233A4 (en) Hydroxypiperidine derivatives and uses thereof
EP2169367A4 (en) Acoustic measurement device and acoustic measurement method
EP2305331A4 (en) Dialyzate preparation method and dialyzate preparation device
EP1978663A4 (en) Transmitting device and transmitting method
PL2044423T3 (en) Device and method of characterizing surfaces
GB0700545D0 (en) On-Line Verification of Protocols and Protocol Enhancements
EP2274294A4 (en) 5-demethoxyfumagillol and derivatives thereof
IL192552A0 (en) Dnt-succinate and methods of preparation thereof
EP2204344A4 (en) Nip device and nip method
AU2008904774A0 (en) Inhalation device and method
AU2007904959A0 (en) Inhalation device and method
AU2006905011A0 (en) Inhalation device and method

Legal Events

Date Code Title Description
WAP Application withdrawn, taken to be withdrawn or refused ** after publication under section 16(1)