InProceedingsofthe14thInternationalIFIPSymposiumonProtocolSpecication,Testing,andVerication,pages339{346,Chapmann&Hall,1994
|
|
- Betty Barber
- 8 years ago
- Views:
Transcription
1 InProceedingsofthe14thInternationalIFIPSymposiumonProtocolSpecication,Testing,andVerication,pages339{346,Chapmann&Hall,1994 CompositionalSpecicationandVericationof Abstract Dept.ofComputerScience,DortmundUniversity,D-44221Dortmund,Germany High-SpeedTransferProtocols Transferprotocolsarecomposedfrombasicprotocolmechanismsandaccordinglyacomplex protocolcanbeveriedbyaseriesofrelativelysimplemechanismproofs.ourapproachapplies PeterHerrmann,HeikoKrumm L.Lamport'sTemporalLogicofActions(TLA).ItisbasedonamodularcompositionalTLAstyleandsupportstheanalysisofexiblyconguredhigh-speedtransferprotocols. KeywordCodes:C.2.2;F.3.1;D.3.3 Keywords:ProtocolVerication;TLA;Composition protocolmechanismscorrespondstoastructuringofservicerequirementsintodierent serviceproperties.itappliesdecompositionandstructurestheprotocolvericationinto high-speednetworks[3,10].thereforeecientmeansfortheanalysisofprotocolspectra areneeded.ourapproachreectsthatthecompositionoftransferprotocolsfrombasic Flexibleapplication-drivenprotocolcongurationcanhelptoenhancetheperformanceof 1Introduction referstotheconceptsofrenementmappings[1]andformalcompositionbylogicalconjunction[2].tlaiswell-suitedfortheneedsofpracticalprotocolverication.protocol ofinterestinglivenesspropertiesissupportedbytla. separatedandeasy-to-understandmechanismproofs. designersarefamilarwithstatetransitionbasedmodels.thedenitionandverication meanswhicharetailoredtothemodellingofconcurrentprocesssystems.therefore,we Nevertheless,TLAisaveryfundamentalapproachanddoesnotprovideforspecial TheapproachisbasedonL.Lamport'sTemporalLogicofActions(TLA[5])and performjointactions.thisstatelesswayofinteractionhasdierentbenets.especially resource-orientedprocessesaswellasconstraint-orientedprocessescanberepresented Lotos[4].Incomparisonwith[2],theprocessesdonotinteractviasharedvariablesbut (cf.[9]).furthermore,thestylesupportsdecompositionalproofs.asystemisthelogical conjunctionofitsprocessesandthestyleconventionsassuretheabsenceofcontradictions inthesystemformula.thereforeprocesspropertiesdirectlyareinheritedtothesystem. designedacompositionalspecicationstylefortlawhichisorientedatccs[7]and dierenttransferprotocols.theapplicationsweresupportedbyexistinggeneraltla- Weappliedthecompositionalstyleandthedecompositionalvericationmethodto 1
2 tools(syntax-directededitor,browser,interpreter,modelchecker,predicatelogictheorem proverfrontend)whichnotyethavebeentailoredtothestyle.yetwemadetheexperience familarwithtlaandrenementmappings[5,1]. thatitispossibletoverifycomplexprotocolswithinfewman-month(e.g.,theverication viewstothevericationofxtparegiveninordertoexamplifytheapplicationandto giveanimpressionofthereducedvericationcomplexity.thereaderisassumedtobe ofxtp[8]needed7weeks,3weeksforthedesignofspecicationsandproofideas,4weeks fortheformaltheoremproofs). 2Compositionalspecicationstyle Atrstthepaperintroducesthestyleandthevericationmethod.Thereaftersome AsinCCSandLotos,aprocessinprincipleisanopensubsystembutasingleprocess TheinitialpredicateP:Initdescribesthesetofstartingstates.P:Vstandsforthetuple specicationcanbeinterpretedforitsown.inthiscaseitreectsaclosedsystemconsistingoftheprocessandanevironmentwhichisuniversalinthesensethatitdoesnot constraintheprocess.aprocesspisdenedbyacanonicaltla-formulap: ofprivatestatevariablesofp.p:acti(p:p:ptypei)arethedierentactionsofpwhich constituteitsnext-staterelation.theactionsmaybeparametrizedbydataparameters supportingthecommunicationofvaluesbetweentheprocessanditsenvironment.by P=P:Init^2[9p2P:ptype1:P:act1(p)_::_9p2P:ptypen:P:actn(p)]P:V styleconventions,theactionsonlyaectprivatevariablesandmustbemutuallydisjoint ^8p2P:ptypek:SFP:V(P:eactk(p))^::^8p2P:ptypel:SFP:V(P:eactl(p)): ^8p2P:ptypei:WFP:V(P:eacti(p))^::^8p2P:ptypej:WFP:V(P:eactj(p)) P^2(e1=P:ptype1^::^en=P:ptypen)describesaseparatedprocessinanuniversal intheirnon-stutteringsubrelations. environment. p2ei,theenvironmentcantoleratetheactionacti(p)inthenextstep.thustheformula environmentreadinessvariable.itisassumedtobesetbytheenvironmentofp:if P:eacti(p:ptypei)=P:acti(p)^p2eiwhereaP:eactiistheconjunctionoftheaction P:actiandanenvironmentcondition.eistandsforanadditionalstatevariablecalled Thelivenesspropertiesaredescribedbyfairnessassumptionsonconditionedactions thespeciccouplingofthesystem.itcanbestructuredintoaconjunctionofparticipation constraintspjcofthedierentprocesses:cc=2(p1c^::^pmc).aparticipation constraintagainisaconjunctionoftwoparts:pjc=pjcon^pjred. anotherconjunctiveterm,thecouplingconstraintcc.ccisaninvariantanddescribes P2^::^Pm^CC.ThedierentPjdenotetheprocessformulas.Additionally,thereis PjCONconstrainstheoccurrenceofPj-stepsinsystemexecutions.Itisadisjunction AsystemScomposedofprocessesP1;P2;::;PmisdescribedbyaTLA-formulaS=P1^ action,i.e.,ifitisnotinvolvedinjointactions,thenpeeractionsequalstotrue. thesamejointaction:peeractions=pk:acto(p)^::^pl:actq(p).ifpj:actiisaninternal ofunchanged(pj:v)andofactionterms9p2pj:ptypei:(pj:acti(p)^peeractions)^ StutteringRestwhichareintroducedforeachactionPj:actiofPj. PeerActionsisaconjunctionofactionsofotherprocesseswhichshallcontributeto 2
3 non-connectedactionsaswell.furthermore,itispossibletopostulatetheinterleaving keepthesystemformulasimple,werecommendtointroduceinterleavingasstrictasitis possiblewithrespecttoaspecicsystemofinterest. arenotinvolvedinajointactionwithpj:acti.itdescribestheinterleavingatomicityof Pj:actiandmaybesettotrueifparallelismshallbetoleratedwithrespecttologically atomicityofpj:actionlywithrespecttosomesubsetoftheotherprocesses.inorderto StutteringRestisaconjunctionofUnchanged-statementsforprocessesPr;::;Pswhich term.forinternalactionspj:actitheequationpj:ei=pj:typeiisintroduced. theprocessesandactionsreferencedarethoseofpeeractionsofthecorrespondingaction Pj:ei=fp:Enabled(Pk:acto(p))^::^Enabled(Pl:actq(p))ghastobeintroducedwhere variablespj:ei.ithastobechoseninaccordancewiththejointactiontermsofpjcon andisaconjunctionofequations.foreachinterfaceactionpj:actiofpj,anequation Bystyleconvention,weclaimthatthedierentfairnessassumptionsoftheprocess TheotherpartofPjC,PjREDstatesthesubstitutionoftheenvironmentreadiness actions,contributingtothesamejointaction,ttogether,i.e.,allprocessactionsofthe S:Initistheconjunctionoftheprocesses'Init-predicates.TheactionsS:actiareconjunctionsofprocessactionsandUnchanged-statements(guidedbythePjCON).Dueto ThecompositionalsystemformulaS=P1^P2^::^Pm^CCcanbetransformed syntacticallyintoanequivalent`at'canonicalformula samejointactionmusteitherbeweakfair,strongfair,orwithoutanyfairnesscondition. thestyleconventionsthefairnessassumptionsofsystemactionsareinheritedfromthe processactions'fairness. S=S:Init^2[9p2ptype1:S:act1(p)_::_9p2ptypen:S:actn(p)]S:V ThespecicationstyleisdenedintermsofTLA+[6]andtakesprotfromTLA+ ^8p2ptypek:SFS:V(S:eactk(p))^::^8p2ptypel:SFS:V(S:eactl(p)) ^8p2ptypei:WFS:V(S:eacti(p))^::^8p2ptypej:WFS:V(S:eactj(p)) ToprovethataprotocolPimpliesaserviceS,decompositionsPCandSCcanbeused. modules.atoolcansupportthedenitionofsystemstructures(e.g.,interactivegraphical editingofcouplingconstraints)andcancomputetheatformula. 3Structuredverication PCiscomposedofasetofprotocolmechanismsPPj:PC=PP1^PP2^::^PPn^PCC. SC)S.Theproofofthedecompositioncorrectness(P)PCandSC)S)is easysincebothsidesoftheimplicationsarestronglyrelated.moreover,p)pccan besplitted(pcisaconjunction).thediculttaskofthevericationistheproofof Correspondingly,SCiscomposedofasetofservicepropertiesSPj:SC=SP1^SP2^ PC)SC.Duetothecorrespondingdecompositions,thisproofcanbestructuredinto ::^SPn^SCC.EachsingleprotocolmechanismPPiprovidesforonefunctionalservice nmechanismproofsppi)spiandoneadditionalcouplingproofpcc)scc.the propertyspi. couplingproofisapuresafetyproofandcanbeperformedquitemechanicallybecause TheprotocolvericationhastoprovetheimplicationsP)PC,PC)SC,and onecanprotfromthoseintermediateresultsofmechanismproofswhichdescribethe 3
4 numberofbasicmechanisms.thereforemechanismproofscanbere-usedrespectively action-structureoftherenementmapping.themechanismproofsaremuchsimplerthan amonolithicalproofbecauseonlyasubsetofvariablesandactionshastoberegarded. Furthermore,themultitudeofpresenttransferprotocolsisfacedbyarelativelysmall transferdirection.theactionsubmitmodelstherequestofthetransferofamessagei outlinedinfig.1,thetransferservicescanbespeciedbyafifomessagequeueper 4Example canbereplacedbyreferencestoformerproofs. fromsitestositedwhichisrepresentedbyanenqueuingoperation.theparameternodc denotesthe`nodatacorruptioncontrol'ag.thedequeuingactiondelivermodelsthe indicationatsitedest.e SomeaspectsofthedatatransferofXTP[8]shallexemplifytheapproach.Asitis - q e ThecompositionalservicespecicationSCiscomposedofserviceconstraintprocesses submit (s,d,i,nodc) Figure1:MonolithicalService6deliver(s,d,i) alreadyrenedmodelsofserviceconstraints.theyreectaprotocol-neardistributionof variablesoverthethreepartiestransmitter,medium,andreceiver. NoCorruption,NoGaps,andNoDuplicates.Tosimplifytheverication,wehavechosen submit (s,d,i,k,nodc) send(s,d,k,i) sbu e? 36 -removeqkqqq rbu e tbu 6deliver(s,d,k,i) typestatevariablessbu,tbu,andrburepresentmessagebuersofthethreeparties. transfererrorsbutdoesonlypermitcorruptionsiftheparameternodcisset.theset- Fig.2outlinestheserviceconstraintprocessNoCorruption.Ittoleratesvarious Figure2:ServiceConstraintNoCorruption receive(s,d,k,i) Messagesarerepresentedbytuplesoftransmitteraddresss,receiveraddressd,message identicationkeyk,anduserdatai.asinfig.1,theactionssubmitanddelivermodel transferrequestsandindicationsnowbysetinsertionandmemberselectionoperations totoleratereorderingandduplication.theotheractionsareinternal.theymodelloss andtheforwardingofbuerelements.4
5 submit(s,d,k)? send(s,d,k) sbu e36 received data-removedelivered QkQQQ rbu e tbu 6deliver(s,d,k) receive(s,d,k) Figure3:ServiceConstraintNoGapsrctr thesafetyaspectoftheabsenceofloss,namelythatthesequenceofpacketsdeliveredis freefromgaps.indicationsarecontrolledbythereceivecounterrctr.secondlytheliveness aspectisreectedbyexclusionofthelossofnon-deliveredpackets(removerestrictions) inconnectionwithfairnessassumptions. InFig.3,thesecondserviceconstraintprocessNoGapsisoutlined.Atrstitmodels submit(s,d,k) -e edeliver(s,d,k) countersctrassignskeysktothemessagessothatthereceivercandetectduplications. ThethirdserviceconstraintprocessNoDuplicatesisoutlinedinFig.4.Thesend Figure4:ServiceConstraintNoDuplicates ThecompositionalservicespecicationSCcanbebuiltnowbyacompositionofthe rctr variables.theideabehindthisinvariantguidesthedesignoftherenementmappingas wellȧfterdescribingxtpbyamonolithicalprotocolspecicationpwedesignacompositionalprotocolsystempc.pcisacompositionofthreesubsystemsppnc,ppng,and processestobeperformedjointly.scimpliesthemonolithicqueuemodel.themaintask oftheproofisthedesignofaninvariantwhichrelatesthebuercontentsandcounter threeconstraintprocesses,thecouplingofwhichdenestheequally-namedactionsofthe PPNDwhichcorrespondwiththethreeserviceconstraintsNoCorruption,NoGaps,and lossandtheprotocolmechanismsarenotstructuredfurther. plicationsp)ppxandp)pcc(sincetheppxarecompositionstheproofofeach lyingnetworkwireandmodelsoftheprotocolmechanismsbuers,selectiverepeat,and NoDuplicates.TwoofthePPxagainarecompositions,namelyofamodeloftheunder- P)PPxcanbesplittedagain). KeepOrder.PPNCconsistsofWireandBuers;PPNGofWire,Buers,andSelective componentsoftheprotocolsystem.sowireisdescribedasfollows(canonicalprocess Repeat;andPPNDofKeepOrder.Tosimplifythisexample,Wireisreliablebesidesof formulaomitted). TheproofofP)PCisstraightforwardandconsistsoftheproofofthefourim- Togivesomeimpressionontheessentialtasksoftheverication,wenowlookatbasic 5
6 typeadr,packet init8x2adr:inq[x]=empty actionsend(p:packet,src,dest:adr)= varinq:array[adr]ofqueueofpacket ^inq[dest]0=enqueue(inq[dest],p) Wire Thenetworkmodelconsistsofanarrayofmessagequeuesinq[dest],keepingthedestdirectedXTP-PDUs.Theactionssendandreceivemodelthetransferrequestandtransfer indicationofpdus.thelossofpdusisexpressedbytheactionloss,removingpdus actionloss=9x2adr:inq[x]0=dequeue(inq[x]) ^p=rstqueue(inq[dest]) ^inq[dest]0=dequeue(inq[dest]) actionreceive(p:packet,src,dest:adr)= non-deterministicallyfromthequeues.buers ^p.src=src^p.dest=dest parmstation:adr init8x2key,a2adr:sb[a,x].i=?^rb[a,x].i=? actionsubmit(i:info,dest:adr,k:key)=sb[dest,k].i=?^sb[dest,k].i0=i typeadr,info,packet,key varsb:array[adr,key]of[[i:info[f?g]] actionsendinfo(p:packet,dest:adr,k:key)= actiondeliver(i:info,src:adr,k:key)=rb[src,k].i=i RB:array[Adr,Key]of[[i:Info[f?g]] actionrecinfo(p:packet,src:adr,k:key)= actionsendctrl(p:packet,dest:adr)= p.src=station^p.dest=dest^p.type=ctrl ^SB[dest,k].i6=? ^p.src=station^p.dest=dest^p.he.key=k actionrecctrl(p:packet,src:adr)= ^RB[src,k].i=? ^RB[src,k].i0=p.info ^p.src=src^p.dest=station^p.type=info^p.he.key=k ^p.type=info^p.info=sb[dest,k].i buerrbincludingmessageswhichareindexedbytheaddressofthestation,theaddress TheprocessBuersdescribesonebasicXTPprotocolentityandwillbeparametrized bytheaddressstationofthesiteassignedto.itcontainsasendbuersbandareceive actionsendremove(dest:adr,k:key)=sb[dest,k].i6=?^sb[dest,k].i0=? actionrcvremove(src:adr,k:key)=rb[src,k].i6=?^rb[src,k].i0=? p.src=src^p.dest=station^p.type=ctrl deliver.becausextpdistinguishesbetweencontrolandinformationpackets,sending ofthetransferpartner,andthemessagekey.?denotesemptybuerelements.the communicationwiththeuseroftheprotocolisdescribedbytheactionssubmitand 6
7 andreceivingissplitintoactionssendinfo,sendctrl,recinfo,andrecctrl.theremoval ThecompositionofthemechanismsWireandBuersbuildsPPNCandcanbeprovedto ofbuerelementsisdescribedbytheactionssendremoveandrcvremove. implytheserviceconstraintnocorruptionbymeansoftherenementmappingabove. RM=^sbu=f[[src,dest,k,i]]:S[src].SB[dest,k]=ig ^rbu=f[[src,dest,k,i]]:s[dest].rb[src,k]=ig ^tbu=f[[src,dest,k,i]]: 9p:^inqueue(inq[dest],p)^p.src=src transmission.thespecicationisnotshownindetailhere.itprovidesforthesavingof ThevariablesofastationstareidentiedbythequalierS[st]. ThemechanismSelectiveRepeatdetectslostdataandperformsselective-repeatre- ^p.he.key=k^p.info=i^p.type=infog time-outbasedloss-detection. copiesofmessagessent,areceivecounter,span-listacknowledgements,notication,and actions[src].sendinfo(p:packet,dest:adr,k:key,rseq:bool)= ^SelectiveRepeat(src).sendinfo(p,dest,k,rseq) ^S[src].t[dest]0=IFrseqTHENstartELSES[src].t[dest] ^Wire.send(p,src,dest) ^p.src=src^p.dest=dest^p.he.key=k^p.type=info ^Buers(src).sendinfo(p,dest,k) ^S[src].SB[dest,k].i6=? ^inq[dest]0=enqueue(inq[dest],p) ^(timeout(s[src].t[dest]))rseq) expansion.theprocessactionbuers(src).sendinfoequalstotheactionsendinfoof processbuersundersubstitutionofparameterstationbysrc. ItshowsthesystemactionS[src].sendinfoasjointactionofprocessactionsandits PPNGisacompositionofWire,Buers,andSelectiveRepeatandimpliestheservice propertynogaps.thespecicationabovereectsaclippingoftheatformofppng. Inv=8p,src,dest,k: ^p.info=s[src].sb[dest,k].i^p.tr.f.rseq=rseq RM=^8src,dest:rctrg[src,dest]=S[dest].Rctrg[src] ^sbu=f[[src,dest,k]]:s[src].sb[dest,k].i6=?g ^tbu=f[[src,dest,k]]: _(src,k)2s[dest].rcv _S[src].SB[dest,k]6=?^:S[src].SB.Keep[dest,k] _^inqueue(inq[dest],p)^p.src=src^p.dest=dest )S[dest].RB[src,k].i6=?_S[dest].Rctrg[src]>k ^p.type=ctrl^p.tr.f.rseqresp^k2p.c FortheproofofPPNG)NoGapsweneedtheinvariantInvandtherenementmapping RMasdenedabove.Invassuresthatamessagecanonlybeconrmedtothetransmitter merelyequaltothatoftheproofofnocorruption. andremovedfromitssendbuerifitiscorrectlyreceived.therenementmappingis ^rbu=f[[src,dest,k]]:s[dest].rb[src,k].i6=?g 9p:^inqueue(inq[dest],p)^p.src=src TheprotocolmechanismKeepOrdersimplycontainstwocounters:Sctrassignsunambiguouskeystosubmittedmessagesinincrementalorder,Rctrpreventsthedelivery ^p.dest=dest^p.type=info^p.he.key=kg 7
8 theproofofppnd)noduplicationisverysimple. ofreorderedorduplicatedmessages.duetothecloserelationtotheserviceconstraint, performedquitemechanicallyandisnotoutlinedhere. 5Conclusion Weintroducedapracticableapproachforthecompositionalvericationoftransferprotocolswhichprovidesaframeworkfortheinvestigationofexibleprotocolcongurations. Finally,thecouplingproofhastobeperformedtocompletetheverication.Itcanbe PPi,servicepropertiesSPj,andvalidimplicationsPPi)SPj.Therefore,thevericationofaspecicprotocolcanbeperformedbythedesignofequivalentcompositional Presentworkconcentratesontheestablishmentoflibrariesofbasicprotocolmechanisms protocolandservicespecicationstowhichonlythecouplingproofhastobeadded. basicprotocolmechanisms. serviceconstraintssothattheseserviceconstraintscorrespondone-to-onewithsingle provideevenasingleserviceproperty(e.g.,nogapsinthextp-example).therefore, alibraryofmechanismcombinationswouldbeofinterest.insteadofintroducingthis largerlibraryofmechanismcombinations,wearesolvingtheproblemontheserviceside. Werepresentabstractserviceproperties(e.g.,NoGaps)byacompositionofmorebasic Aproblemremains:oftenalreadyacompositionofprotocolmechanismsisneededto References [1]M.AbadiandL.Lamport.TheExistenceofRenementMappings.TheoreticalComputer [2]M.AbadiandL.Lamport.Composingspecications.ACMTransactionsonProgramming [3]Z.Haas.Aprotocolstructureforhigh-speedcommunicationoverbroadbandISDN.IEEE [4]ISO.LOTOS:Languageforthetemporalorderingspecicationofobservationalbehaviour, Science,82(2):253{284,May1991. [5]L.Lamport.TheTemporalLogicofActions.TechnicalReport79,DECDigitalSystems LanguagesandSystems,15(1):73{132,Jan [6]L.Lamport.TLA+:SyntaxandSemantics.Toappear,PreliminaryVersion,DECDigital NetworkMagazine,pages64{70,Jan InternationalStandardISO/IS8807edition,1987. [8]ProtocolEngines,Incorporated.XTPProtocolDenitionRevision3.4,1989. [9]C.A.Vissers,G.Scollo,andM.vanSinderen.Architectureandspecicationstylein [7]R.Milner.ACalculusforCommunicatingSystems.LectureNotesinComputerScience92. ResearchCenter,PaloAlto,May1991.ResearchReport.ToappearinACMTOPLAS. Springer,Berlin,1980. SystemsResearchCenter,PaloAlto,Feb.1992.ResearchReport. [10]M.Zitterbart,B.Stiller,andA.N.Tantawy.Application-drivenexibleprotocolconguration.InN.Gerner,H.-G.Hegering,andJ.Swoboda,editors,KommunikationinVerteilten Systemen,pages144{158,8.Fachtagung,Munchen,Mar.1993.GI/ITG,Springer-Verlag. Specication,TestingandVerication,volumeVIII,pages189{204,Elsevier,1988.IFIP. formaldescriptionsofdistributedsystems.ins.agarwalandk.sabnani,editors,protocol 8
volume 43 scene 01 post production
scene 01 post production scene 01 raw scene 01 wire scene 02 post production scene 02 raw scene 02 wire scene 03 post production scene 03 raw scene 03 wire scene 04 post production scene 04 raw scene 04
More informationPS S S: Sensor. PS: Persistent State F: Forecaster Workstation 1 S PS. F Client
ResourcePerformanceForecastingServicefor TheNetworkWeatherService:ADistributed Metacomputing auniversityofcalifornia,sandiegoanduniversityoftennessee,knoxville RichWolskia;1NeilT.Springb;2JimHayesb;3 buniversityofcalifornia,sandiego
More information3. Once you access the web page, the below screen will populate:
Applying for a Quintiles American Express Corporate Travel Card 1. You must have an access key to apply for a corporate card. If you re unsure of which access key to use and/or have any questions regarding
More informationExtract from the online catalog
Please note that the data given here has been taken from the online catalog. For comprehensive information and data, please refer to the user documentation at http://www.download.phoenixcontact.com. The
More informationSP 4K/5K Efecto & SP 5K Brilliant Parallel Installation Guide 1. Introduction
SP 4K/5K Efecto & SP 5K Brilliant Parallel Installation Guide 1. Introduction This inverter can be used in parallel with two different operation modes. 1. Parallel operation in single phase with up to
More informationPSI-MOS-RS485W2/FO 850 T
Extract from the online catalog PSI-MOS-RS485W2/FO 850 T Order No.: 2708326 FO converter with integrated optical diagnosis, alarm contact, for RS-485 2-wire bus systems (SUCONET K, MODBUS...) up to 500
More informationVESA DisplayPort Alt Mode for USB Type- C Standard Feature Summary. Sept 22, 2014
VESA Alt Mode for Type- C Standard Feature Summary Sept 22, 2014 VESA Alt Mode Summary The VESA Alt Mode Standard, Version 1, was released on Sept 22, 2014 Enables the use of the Type- C interface for
More informationWIRELESS LOCAL AREA NETWORK (WLAN) IMPLEMENTATION
United States Department of Agriculture Marketing and Regulatory Programs Grain Inspection, Packers and Stockyards Administration Directive GIPSA 3140.5 11/30/06 WIRELESS LOCAL AREA NETWORK (WLAN) IMPLEMENTATION
More informationSelf-Monitoring of Blood Glucose in Noninsulin- Treated Diabetes
Summary and Conclusions Self-Monitoring of Blood Glucose in Noninsulin- Treated Diabetes A Systematic Review Swedish Council on Health Technology Assessment SBU Board of Directors and Scientific Advisory
More information4 122 b. INFORMATION TECHNOLOGY Wide Area Network Idi-astructure (IT 10) POLICY STATEMENT
MetropolitanTransportation Authority Wide Area Network Idi-astructure POLICY STATEMENT The Metropolitan Transportation Authority (LACMTA)maintains a wide area network (WAN),comprised of data and voice,
More informationGlobal Mobility Services
Global Mobility Services GMS Gateway IPR Initiation Checklist Checklist Transferee Information Transferee data needed to initiate an International Permanent Relocation New employee Current Honeywell employee
More informationGE-MCKINSEY MATRIX. MS-Excel & MS-Word Templates User Guide
GE-MCKINSEY MATRIX MS-Excel & MS-Word Templates User Guide The GE/McKinsey Matrix is a nine-cell (3 by 3) matrix used to perform business portfolio analysis as a step in the strategic planning process.
More informatione C P M 1 0 5 : S t r u c t u r i n g P o r t f o l i o s
e C P M 1 0 5 : S t r u c t u r i n g P o r t f o l i o s C o l l a b o r a t i v e P r o j e c t M a n a g e m e n t STRUCTURING PORTFOLIOS Managing portfolios in Primavera P6 enables companies to holistically
More informationProlog Manager Portfolio Manager Data Entry Process. Portfolio Manager
Prolog Manager Portfolio Manager Data Entry Process Portfolio Manager Prolog Portfolio Manager The Samet Way Key Definitions Portfolio Manager is where pertinent information on the project is stored. This
More informationwww.rackandroll.net.au Page 1 of 10
Brand / Bar Rack & Roll Model Required Picture / Foot Pack Model# Compatible? Comments: Page 1 of 10 Thule / Aero RRAERO Thule / Aero RRAERO Thule / Aero RRAERO Thule / Aero RRAERO Thule / Aero RRAERO
More informationInternet Strategies. A Complete Do-It-Yourself Training Camp For Cleaning & Restoration Contractors
Internet Strategies A Complete Do-It-Yourself Training Camp For Cleaning & Restoration Contractors This seminar is limited to 12 companies. Once 12 companies have signed up, registration will close and
More informationDIGITAL family of systems Administration Manual
DIGITAL family of systems Administration Manual 76-110-0175/E Release SBU5/DBU5 Issue 1 76-110-0175/E Release SBU5/DBU5 Issue 1 DIGITAL FAMILY OF SYSTEMS Administration Manual Telrad Telecommunications
More informationUNCLASSIFIED (U) U.S. Department of State Foreign Affairs Manual Volume 5 Information Management 5 FAM 870 NETWORKS
5 FAM 870 NETWORKS (Office of Origin: IRM/BMP/GRP/GP) 5 FAM 871 ENTERPRISE NETWORKS (CT:IM-138; 01-18-2013) The Department currently has two enterprise networks: ClassNet and OpenNet. Only Department-issued
More information2510/2550. Dust Control Burnisher. Operator and Parts Manual. 607597 Rev. 00 (11-99)
2510/2550 Dust Control Burnisher Operator and Parts Manual TENNANT COMPANY Commercial Products 12875 RANSOM STREET HOLLAND MI 49424 FAX: 1 800 678 4240 CUSTOMER SERVICE: 1 800-982-7658 607597 Rev. 00 (11-99)
More informationHIPAA Training 2010. For Research Investigators and Study Staff
HIPAA Training 2010 For Research Investigators and Study Staff HIPAA IS... THE HEALTH INSURANCE PORTABILITY & ACCOUNTABILITY ACT OF 1996 Portability Created to ensure access to health coverage Allows for
More informationPrint an MS Review or a Class Enrollment Report
Print an MS Review or a Class Enrollment Report The Master Schedule Review (MS Review) is the Excel report that you use to review all of the classes that you have scheduled for the specified term. The
More informationService Description Remote Yearly Maintenance of Dell PowerEdge Servers and PowerVault Storage
Service Description Remote Yearly Maintenance of Dell PowerEdge Servers and PowerVault Storage Service SKUs See Appendix A Service Overview This service provides for a yearly health check (the Service
More informationStreet Address City State Zip Code County. Telephone Racial/Ethnic Are you a United States Citizen? ( ) - Black non-hispanic Yes No
Southwest Baptist University is a Christ-centered, caring academic community preparing students be servant leaders in a global society. PLEASE PRINT IN INK OR TYPE Social Security Number This application
More informationA. Planning is the process of anticipating the future and determining the courses of action necessary to achieve
Marketing Planning and Forecasting I. What Is Marketing Planning? A. Planning is the process of anticipating the future and determining the courses of action necessary to achieve organizational objectives.
More informationService and Identity manual for RM2150/51
Service and Identity manual for RM2150/51 S.P. RADIO A/S AALBORG DENMARK CONTENTS 1 SERVICE AND IDENTITY PROGRAMMING FOR RM2150 1-1 1.1 IDENTITY of RM2150 1-1 1.2 SP-BUS PROGRAMMING of RM2150 1-1 1.3 PROGRAMMING
More informationvehicle tracking system using gps gsm modem circuit diagram
vehicle tracking system using gps gsm modem circuit diagram Reference Manual To learn offering to use and ways to totally exploit vehicle tracking system using gps gsm modem circuit diagram to your benefit,
More informationJOB DESCRIPTION FORM. Location: A1
JOB DESCRIPTION FORM Job Title: Healthcare Revenue Cycle Manager Location: A1 Job Summary: Reports directly to the Finance Administrator and responsible to develop, plan, organize and implement current
More informationA Guide to Finding the Pages You Need in PeopleSoft Human Resources (For Decentralized Users) Search for People (Search/Match)
A Guide to Finding the Pages You Need in PeopleSoft Human Resources (For Decentralized Users) What do you want to do? Search for People (Search/Match) Search the entire PeopleSoft database to see if a
More informationACCOUNT REPRESENTATIVE COMPETENCY MODEL
ACCOUNT REPRESENTATIVE COMPETENCY MODEL Competencies Dealing with People Competencies Dealing with Business Through Selection Through Selection ORAL COMMUNICATON AWARENESS OF SELF AND OTHERS ORGANIZATION
More informationSWITCH KIT. OSB Routing Number: 072407741 New OSB Account Number:
SWITCH KIT Account Type: Checking Savings OSB Routing Number: 072407741 New OSB Account Number: 417 S. Main St.. You may contact us by phone at 517-592-3205 or email customerservice@osbcb.com. Your new
More informationCANTEC-2XL. Description
CANTEC-2XL (CAN-bus adapter) Description www.tec-electronics.ru Unit description CANTEC-2XL is a universal adapter(hereinafter reffered as unit), designed for connecting additional systems to vehicles
More informationSoftware Process Training
Dr. Ernest Wallmüller Wolfgang Höh Rule 10 Rule 10 Supplier Agreement Management Supplier Agreement Management Qualität & Informatik www.itq.ch Copyright Qualität & Informatik 2005 Context QA Corrective
More informationWhy EVA is better than ROI (ROCE, ROIC, RONA, ROA) and earnings, operating profit etc.
Why EVA is better than ROI (ROCE, ROIC, RONA, ROA) and earnings, operating profit etc. Equity investors should earn on their capital a return far over risk-free interest rate in order to induce and maintain
More informationContent. Operational manual for RBU
Content Operational manual for RBU 1 Safety Precautions...1 1.1 Safety definition... 1 1.2 Warning symbols... 1 1.3 Safety guidelines... 1 2 Inspection...4 2.1 Unpacking inspection... 4 2.2 Application
More informationApril 2nd 2008 (Edinburgh)/April 3rd 2008 (Glasgow) Defence Exporting - Support for Small Businesses
1 DEFENCE EXPORTING Support for Small Howard Gibbs Head, Small Business Unit Origin/Background Established 1966 Leads on all defence export-related activities Consists of around 400 civilian/military staff
More informationMINI MCR-SL-R-UI(-SP)
Resistance/potiposition transducer INTERFACE Data Sheet 0807_en_05 Description PHOENIX CONTACT - 0/008 Features The slim MINI MCR-SL-R-UI... potiposition transducer has a width of only 6. mm and converts
More informationMaking an International epay Payment - Students
Making an International epay Payment - Students This tutorial covers how students can make an International payment via Chapman University s epay system. Site Login: www.chapman.edu/webadvisor Click on
More informationStreet Address City State Zip Code County. Telephone Racial/Ethnic Are you a United States Citizen? ( ) - Black non-hispanic Yes No
Southwest Baptist University is a Christ-centered, caring academic community preparing students be servant leaders in a global society. PLEASE PRINT IN INK OR TYPE Social Security Number This application
More informationThe ABC s of VRF: A Green HVAC Technology An Ideal Green School Solution. Presented by: Fujitsu General America, Inc.
The ABC s of VRF: A Green HVAC Technology An Ideal Green School Solution Presented by: Fujitsu General America, Inc. What to look for in a Green HVAC solution? What if your HVAC system could provide Individual
More informationS-Link Program Manual
1M23Z03102 USB INTERFACE S-Link Program Manual The operating parameters of S-Link compatible programmable servos can be changed by using this S-Link program. However, this software is used in the state
More informationFirst Concept Asia Limited. Audio/ Video Door Phone System
Audio/ Video Door Phone System Single Audio Door Phone Technical Specifications: Power Supply: DC 12V Transmission Distance: 50 meters 2 wire Installation Two ways Communication Wiring requirement: RVV
More informationCircuit Protection is Key in Maintaining Growth for The Internet of Things
Circuit Protection is Key in Maintaining Growth for The Internet of Things INTRODUCTION The Internet of Things (IoT) promises a future that networks billions of smart, connected devices. The value of this
More informationSoftware Testing Capabilities in BMC BSM Copyright 2011 Vyom Labs Pvt. Ltd.
Software Testing Capabilities in BMC BSM Agenda VyomLabs Testing Practice VyomLabs BMC Testing Assignments/Capabilities BMC Remedy Testing Life Cycle VyomLabs Testing Practice At A Glance People and Skills
More informationEMPLOYEE S NAME: Vacant BASIC FUNCTION
BASIC FUNCTION The incumbent is responsible for installation, operation, maintenance, and repair of the Mission s telecommunication systems, including the telephone infrastructure, radio program (including
More informationLED based ultraviolet light source
LED based ultraviolet light source Michal Brázda, Martin Pospíšilík, Milan Adámek Faculty of Applied Informatics Thoms Bata Univerzity in Zlin nám. T.G.Masaryka 5555, 760 01 Zlín Czech Republic m1brazda@fai.utb.cz,
More informationAnalysis of Call Center Agent Turnover
Analysis of Call Center Agent Turnover 1 ANALYSIS OF CALL CENTER AGENT TURNOVER BACKGROUND Founded in 1988, Affiliated Computer Services/Business Process Solutions (ACS/BPS) is today a global leader in
More informationSFS SYS 6 (SQA Unit Code - H4GK 04) Plan the installation of electronic security systems
Overview This NOS sets out the skills, knowledge and understanding for you to confirm relevant information required about electronic security systems and sites to plan and co-ordinate installations. This
More informationL-3 Guardian SME PED Frequently Asked Questions
1. What is L-3 Guardian and why do I want one? L-3 Guardian was developed under the NSA Secure Mobile Environment Personal Electronic Device (SME PED) Program. L-3 Guardian is a wireless handheld PDA which
More informationUltraviolet radiation device for prototype production printed circuit boards
Ultraviolet radiation device for prototype production printed circuit boards Ing. Michal Brázda, Ing. Martin Pospíšilík, and doc. Mgr. Milan Adámek Ph.D. Abstract For the production of high quality PCB
More informationStatements You can conveniently view your statement in PDF, download in Excel or QIF format and
Concentration Banking Account Types Region 1-6 and Standards Developing Committees Region 7 Region 8-10 Conferences Region 1-6 and Standards Developing Committees Designed for all IEEE Sections, Chapters,
More informationPace plc. Interim results : for the period ended 30 June 2011
Pace plc Interim results : for the period ended 30 June 2011 Pace interim results (for the period ended 30 June 2011) Overview Strategic review Summary financial results Business performance Conclusion
More informationARTICULATION AGREEMENT IN MODERN LANGUAGES BETWEEN JAMESTOWN COMMUNITY COLLEGE AND ST. BONAVENTURE UNIVERSITY
ARTICULATION AGREEMENT IN MODERN LANGUAGES BETWEEN JAMESTOWN COMMUNITY COLLEGE AND ST. BONAVENTURE UNIVERSITY PURPOSE OF AGREEMENT This document establishes a transfer articulation agreement between Jamestown
More informationThe Delaware Advantage
October, 2012 The Delaware Advantage Flexible and Modern Business Entity Statutes; Respected Courts; Exceptional Service; Stable Environment ; Significant Case Law Decisions; and Unsurpassed Corporate
More informationPrinciples of Execution. Tips and Techniques for Effective Project Portfolio Management
Principles of Execution Tips and Techniques for Effective Project Management Roadmap Develop A Shared Vision for Management Understanding the Difference between Project Management Reviews and Management
More informationMeru Education-grade Solutions for Uninterrupted Learning SOLUTION BRIEF HIGHER EDUCATION
Meru Education-grade Solutions for Uninterrupted Learning SOLUTION BRIEF HIGHER EDUCATION WLAN Solutions for Higher Education Many campus networks are being crushed by the bring your own device (BYOD)
More informationStaffing Industry Executive Forum
Staffing Industry Executive Forum Perspectives in Sales Compensation Best Practices Valitus Group, Inc. March 16, 2006 For additional information, please contact: J. Mark Davis (714) 505-9122 j.mark.davis@valitusgroup.com
More informationThe Encana Service Provider Safety Manual
Practice Service Provider Equipment Specifications & Quality Management Owner: USA Division Safety Revision No: 00 Date last revised: 08/21/2013 1.0 Applicability This practice applies to all Encana Oil
More informationOIL AND THE NORWEGIAN ECONOMY GOVERNOR ØYSTEIN OLSEN NTNU, 29 SEPTEMBER 2015
OIL AND THE NORWEGIAN ECONOMY GOVERNOR ØYSTEIN OLSEN NTNU, 9 SEPTEMBER 15 GDP per capita relative to OECD Index. OECD = 1. Purchasing power adjusted 15 Norway Mainland Norway 15 1 1 5 197 1975 198 1985
More informationWEB & MOBILE DEVELOPMENT. How To: Setup your email address in Windows Vista Mail
WEB & MOBILE DEVELOPMENT How To: Setup your email address in Windows Vista Mail Contents Windows Vista Mail: Setting up Email for the First Time... 2 Windows Vista Mail: Checking Existing Email Settings...
More informationINTERCONNECTION SECURITY AGREEMENT
INTERCONNECTION SECURITY AGREEMENT March, 2008 U. S. Department of Homeland Security Customs and Border Protection INTERCONNECTION SECURITY AGREEMENT The intent of the Interconnection Security Agreement
More informationIMG Boys College Showcase
IMG Boys College Showcase U14 SYL ODP - Moullin SYL ODP - Gummer SYL ODP - Buckle SYL ODP - Swan U15 Elite Premier 99/00, FL Greenacres FC, FL Strictly Soccer, FL Weston Premier 99 Black, FL U16 Blue U16
More informationNext Generation Modeling and Simulation Engineering using Cloud Computing
National Aeronautics and Space Administration GODDARD SPACE FLIGHT CENTER Next Generation Modeling and Simulation Engineering using Cloud Computing A presentation of use cases and possible benefits to
More informationz21start and WLAN-Package
z21start and WLAN-Package Overview New Startsets with z21start Page 3 The WLAN-Package Page 4 How to get the activation code Page 5 The Maintenance-Tool Page 6-7 Connection between PC and z21/z21 Page
More informationHow to set up as VPN Network
How to set up as VPN Network 1 Network and Sharing Firstly open the network and sharing centre by opening control panel and selecting Network and Sharing Center. If Network and Sharing cannot be found
More informationThe Franchising Strategic Business Unit (SBU) is focused on supporting emerging entrepreneurs with limited capital to own a franchised business and
Franchising Making finance available for the establishment of new outlets and the refurbishment of existing outlets, and BEE acquisitions of established and emerging franchised concepts. The Franchising
More informationAware Electronics USB-MSP V2.9A
Aware Electronics USB-MSP V2.9A Aware Electronics USB-MSP V2.9A is a new device from Aware Electronics which plugs into a USB port by-way-of the included cable. Its MOD jack accepts the cord from the radiation
More informationDomestic & International Wires
Recipients After logging in, within the Commercial section of the left menu, choose Recipients If the recipient you need is not listed, choose Add Recipient from the top Enter the recipient information.
More informationUSING VIRTUAL MACHINES FOR SECURE INTERNET ACCESS
USING VIRTUAL MACHINES FOR SECURE INTERNET ACCESS 1 Web location for this presentation: http://aztcs.org Click on Meeting Notes 2 SUMMARY You can use free virtual machines to increase the level of security
More informationMicrosoft vs. Red Hat. A Comparison of PKI Vendors
Microsoft vs. A Comparison of PKI Vendors 1 Outline Definitions Issue #1: RedHat vs. Microsoft CA Issue #2: Cross Flows Issue #3: Core PKI Recommendation 2 Definitions User or Enrollment Officer - The
More informationpka's of Inorganic and Oxo-Acids
's of Inorganic and xo-acids ubstrate 2 3 2 Br Cl F Cl Cl 4 C 3 C 2 3 2 4 3 P 4 3 2 2 Cr 4 C 3 3 3 4 Cl B() 3 IRGAIC ACID Table.1 11/4/05 1:43 PM 2 15.7-1.7 7.00-9.00-8.0 3.17 7.5-10 9.4 4.72 4.00-14 11.6
More informationStaff Survey Results and Action Plan Report for the AWP NHS Trust Board Meeting Date: Serial: 27 April 2012
App B Staff Survey Results and Action Plan Report for the AWP NHS Trust Board Meeting Date: Meeting Time: Agenda Item: Serial: 27 April 2012 10:00 10 12.0110 This Report is presented by the Executive Director
More informationBritish Gas Total British Gas. Residential energy supply
British Gas Total British Gas Total customer accounts (period end) ( 000) 23,372 23,856 (2) 23,602 Total customer households (period end) ( 000) 10,605 10,898 (3) 10,751 Joint product households (period
More informationBellSouth Retail Voice Service
BellSouth Retail Voice Service Loop is terminated directly to voice switch End user for retail voice service Voice Service Diagram 1 Conversion from BellSouth Retail Voice Service to Line Sharing with
More informationClassful Subnetting Explained
Classful ting Explained When given an IP Address and a Mask, how can you determine other information such as: The subnet address of this subnet The broadcast address of this subnet The range of Host Addresses
More informationHOERBIGER. Transformation des globalen Produktionsnetzwerkes zur Erreichung von Operational Excellence. Hannes Hunschofsky
HOERBIGER Transformation des globalen Produktionsnetzwerkes zur Erreichung von Operational Excellence Exec. VP Global Operations Hoerbiger Kompressor Technology Holding Hannes.Hunschofsky@hoerbiger.com
More informationSTATE BANK OF INDIA. Resolution Plan. Section 1: Public Section. December 31, 2013. NY1 9042444v.4
STATE BANK OF INDIA Resolution Plan Section 1: Public Section December 31, 2013 TABLE OF CONTENTS Section 1: Public Section Introduction Overview of the Bank I. Summary of the Resolution Plan A. Overview
More informationReliance Agreement for Institutions Utilizing Stony Brook University s Institutional Review Board(s)
Name of Organization Providing IRB Review: Stony Brook University ( SBU IRB ) Name of Institution Relying on the SBU IRB ( Institution ): Latest AAHRPP Accreditation Date (if applicable) OHRP Federal Wide
More informationBusiness ebanking Wire Transfer Reference Guide
Business ebanking Wire Transfer Reference Guide If you have any questions, please contact Business ebanking Support at 1-800-593-4345 Contents One Time Wires...3-5 Deleting a One Time Wire Transfer...
More informationWire Transfer Services, Interactive Voice Response System
Overview: Wire Transfer Services, Interactive Voice System Bank of America Merrill Lynch s Interactive Voice (IVR) system enables you to use a telephone key pad to enter your Personal Identification Number
More informationSchool of Computer Science
Cost and Scalability Analysis of Mobility Management Entities of NEMO Md. Shohrab Hossain and Mohammed Atiquzzaman TR-OU-TNRL-11-102 February 2011 Telecommunication & Network Research Lab School of Computer
More informationYaskawa Electric Corporation s New Mid-Term Plan Win21 Plus
March 28, 2003 Yaskawa Electric Corporation s New Mid-Term Plan Win21 Plus Summary: -During the last mid-term plan Win21 (FY1999 2002), the 4 Structural Reforms were completed. In particular, within the
More informationQ-Sys TM ǀ Application Note TMG 11/12. Hardware Hookup Guide
Distance Conferencing: Distance Conferencing: Hardware Hookup Guide Introduction: With markets becoming ever global and travel costs ever increasing, there has been a dramatic shift in recent years towards
More informationSoftware Process Training
Dr. Ernest Wallmüller Wolfgang Höh Rule 16 Integrated Project Management Qualität & Informatik www.itq.ch Copyright Qualität & Informatik 2005 Context QA Management process areas Engineering & Support
More informationECG Management Consulting GmbH
ECG Management Consulting GmbH - A short ECG overview ECG Management Consulting GmbH Kurfürstendamm 30 10719 Berlin Tel.: 030-886 200-410 Fax: 030-886 200-200 www.ecg-consulting.com Berlin, January 2012
More informationStandard Gap Analysis Report Sample Retail Deposit Fees and Features
Standard Gap Analysis Report Sample Retail Deposit Fees and Features Informa s Standard Gap Analysis Report includes: In-depth analysis of your institution s deposit product offerings and select miscellaneous
More informationKronos Online Approval Process (Facility)
Kronos Online Approval Process (Facility) The Kronos online supervisory approval process will allow supervisors to easily review and approve timecards as well as view employee leave balances and run reports
More informationAEP Systems. Federal PKI Technical Working Group June 2003
AEP Systems Federal PKI Technical Working Group June 2003 Company Background Founded: 1998 Employees: 62 The marriage of two companies: Baltimore Technologies Hardware Group (Zergo) (Security) AEP Systems
More informationCA Privileged Identity Manager Supports Tightly Controlled Access Management Systems
CUSTOMER SUCCESS STORY June 2014 CA Privileged Identity Manager Supports Tightly Controlled Access Management Systems CLIENT PROFILE Industry: Information Services Company: TIS Inc Employees: 6,337 (as
More informationCash Letter Funds Settlement for Direct Presentment of Checks Between Collecting and Paying Banks
Funds Settlement for Direct Presentment of Checks Between and s National Fed Settlement Services The National Settlement Service is a multilateral settlement service owned and operated by the Federal Reserve
More informationGraduate Student Loan Request Form 2013-2014
Graduate Student Loan Request Form 2013-2014 Please read and complete each section of this form. If you fill out this form incorrectly or leave blanks, this form will be returned to you for completion;
More informationWJEC GCSE in Computer Science Computer Science Microsoft IT Academy Mapping
WJEC GCSE in Computer Science Computer Science Microsoft IT Academy Mapping 1. Computer Systems 1.1 Identify and describe computer systems Windows Server Administration Fundamentals: Lesson 1 Server Overview
More informationSoftware Process Training
Rule 5 Project Planning Dr. Ernest Wallmüller Wolfgang Höh Qualität & Informatik www.itq.ch Copyright Qualität & Informatik 2005 Context QA Corrective action Supplier agreement Supplier Replan Status,
More informationDr. Reddy's'ROA' and Its Working Capital Management
Excellence Financial Results - How to Improve? A NEW APPROACH By Dr. GBRK Prasad, CFPIIM Introduction: Michael Dell said Keep raising the bar, for the industry and for you. This approach enables any company
More informationProgramming Manual DDP ( Dynamic Display Panel )
2012 Programming Manual DDP ( Dynamic Display ) V 2.1 Created By Sameh and Basem Contents 1-Introduction Objective 1-1 S-bus products 1-2 2- Start Programming S-Bus Programming Software overview 2-1 S-bus
More informationSoftware Process Training
Dr. Ernest Wallmüller Wolfgang Höh Rule 6 Development Qualität & Informatik www.itq.ch Copyright Qualität & Informatik 2005 Context Ver Product & product component requirements Alternative solutions Product
More informationTechnical Introduction of the New USB Type-C Connector
Technical Introduction of the New USB Type-C Connector Bob Dunstan Principal Engineer, Intel Corporation Yun Ling Principal Engineer, Intel Corporation NETS003 Agenda Introducing the USB Type-C Cable and
More informationFY14 Q2 Chief Information Officer Federal Information Security Management Act Reporting Metrics v1.0
FY14 Q2 Chief Information Officer Federal Information Security Management Act Reporting Metrics v1.0 Prepared by: US Department of Homeland Security Office of Cybersecurity and Communications Federal Network
More informationក រអភ វឌ ឍន ម ឃ តធ ង ន ងយ ទ ធ ស ស រ តរប អងកក រច ត ត ងល ទ ទ ប នភ ពជ គជ យ បង ហ ត ដ យ ដ ក ភ ង ភកត ០៩៧ ៣ ៥៥ ៥៥ ៥២ ស កលវ ទ យ ល យគ រប គ រង ន ងដ ដ ឋក ច ច
ក រអភ វឌ ឍន ម ឃ តធ ង ន ងយ ទ ធ ស ស រ តរប អងកក រច ត ត ងល ទ ទ ប នភ ពជ គជ យ បង ហ ត ដ យ ដ ក ភ ង ភកត ០៩៧ ៣ ៥៥ ៥៥ ៥២ ស កលវ ទ យ ល យគ រប គ រង ន ងដ ដ ឋក ច ច 1 After study this chapter, students should be able to:
More informationImpact of B2B E-procurement Systems A Summary Report
Impact of B2B E-procurement Systems A Summary Report Chandrasekar Subramaniam University of North Carolina at Charlotte csubrama@email.uncc.edu William Qualls University of Illinois at Urbana-Champaign
More informationManual. Fieldbus Interface DFP21B PROFIBUS DP-V1. Edition 07/2006 FA375100 11479019 / EN
Gearmotors \ Industrial Gear Units \ Drive Electronics \ Drive Automation \ Services Fieldbus Interface DFP21B PROFIBUS DP-V1 FA3751 Edition 7/26 1147919 / EN Manual SEW-EURODRIVE Driving the world 1 Important
More information