LEADER 01288nam--2200409---450- 001 990002931300203316 005 20090612140935.0 010 $a88-88095-83-7 035 $a000293130 035 $aUSA01000293130 035 $a(ALEPH)000293130USA01 035 $a000293130 100 $a20070524d2005----km-y0itay50------ba 101 $aita 102 $aIT 105 $a||||||||001yy 200 1 $aCasi e materiali di diritto pubblico dei trasporti$fStefano Zunarelli, Alessandra Romagnoli, Alessio Claroni 210 $aBologna$cLibreria Bonomo$dcopyr. 2005 215 $aX, 344 p.$d24 cm 225 2 $aCasi e materiali$v7 410 0$12001$aCasi e materiali$v7 454 1$12001 461 1$1001-------$12001 606 0 $aTrasporti$xLegislazione 676 $a343.45093 700 1$aZUNARELLI,$bStefano$0231358 701 1$aROMAGNOLI,$bAlessandra$0497459 701 1$aCLARONI,$bAlessio$0497458 801 0$aIT$bsalbc$gISBD 912 $a990002931300203316 951 $aXXIV.3.K 37 (IG V 1235)$b54764 G.$cXXIV.3.K 37 (IG V)$d00159982 959 $aBK 969 $aGIU 979 $aFIORELLA$b90$c20070524$lUSA01$h1011 979 $aRSIAV1$b90$c20090612$lUSA01$h1409 996 $aCasi e materiali di diritto pubblico dei trasporti$91030478 997 $aUNISA LEADER 01508oam 2200445 450 001 9910715341403321 005 20220714094440.0 035 $a(CKB)5470000002510621 035 $a(OCoLC)1240169350 035 $a(EXLCZ)995470000002510621 100 $a20210301d2020 ua 0 101 0 $aeng 135 $aurbn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aPeople's Republic of China (PRC) targeting of COVID-19 research organizations 210 1$a[Washington, D.C.] :$cFBI :$cCISA,$d2020. 215 $a1 online resource (1 unnumbered page) 300 $a"13 May 2020." 300 $a"Unclassified." 300 $aAt head of title: Public service announcement. 517 $aPeople's Republic of China 606 $aCOVID-19 (Disease) 606 $aIntellectual property infringement$zChina 606 $aResearch institutes$zUnited States 606 $aIntellectual property$zUnited States 615 0$aCOVID-19 (Disease) 615 0$aIntellectual property infringement 615 0$aResearch institutes 615 0$aIntellectual property 712 02$aUnited States.$bFederal Bureau of Investigation, 712 02$aUnited States.$bCybersecurity & Infrastructure Security Agency, 801 0$bGPO 801 1$bGPO 801 2$bGPO 906 $aBOOK 912 $a9910715341403321 996 $aPeople's Republic of China (PRC) targeting of COVID-19 research organizations$93270525 997 $aUNINA LEADER 06313nam 22008295 450 001 9910483180303321 005 20251226203642.0 024 7 $a10.1007/b136996 035 $a(CKB)1000000000213035 035 $a(SSID)ssj0000317719 035 $a(PQKBManifestationID)11208036 035 $a(PQKBTitleCode)TC0000317719 035 $a(PQKBWorkID)10294559 035 $a(PQKB)11299721 035 $a(DE-He213)978-3-540-31556-8 035 $a(MiAaPQ)EBC3068332 035 $a(PPN)123095220 035 $a(BIP)12317591 035 $a(EXLCZ)991000000000213035 100 $a20100925d2005 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Methods for Open Object-Based Distributed Systems $e7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /$fedited by Martin Steffen, Gianluigi Zavattaro 205 $a1st ed. 2005. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005. 215 $a1 online resource (X, 326 p.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v3535 300 $a"7th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems"--Pref. 311 08$aPrinted edition: 9783540261810 320 $aIncludes bibliographical references and index. 327 $aInvited Talk -- Pattern Matching over a Dynamic Network of Tuple Spaces -- Models and Calculi -- A Dynamic Class Construct for Asynchronous Concurrent Objects -- An Abstract Machine for the Kell Calculus -- XPi: A Typed Process Calculus for XML Messaging -- UML -- Checking the Validity of Scenarios in UML Models -- An Extended Type System for OCL Supporting Templates and Transformations -- A Semantics for UML-RT Active Classes via Mapping into Circus -- Security -- Towards an Integrated Formal Analysis for Security and Trust -- A Formal Security Analysis of an OSA/Parlay Authentication Interface -- Composition and Verification -- Tracing Integration Analysis in Component-Based Formal Specifications -- CompAr: Ensuring Safe Around Advice Composition -- Guaranteeing Resource Bounds for Component Software -- Analysis of Java Programs -- Specification and Verification of Encapsulation in Java Programs -- Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions -- Web Services -- Transforming Information in RDF to Rewriting Logic -- Modeling- and Analysis Techniques for Web Services and Business Processes -- A Distributed Implementation of Mobile Nets as Mobile Agents -- Specification and Verification -- On Correctness of Dynamic Protocol Update -- Property-Driven Development of a Coordination Model for Distributed Simulations -- A Timing Analysis of AODV. 330 $aThis volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Athens, Greece on June 15-17, 2005. The eventwasthe seventhmeeting ofthis conferenceseries,whichis held roughly- eryyearandahalf,withtheearliereventsheldrespectivelyinParis,Canterbury, Florence, Stanford, Twente, and Paris. ThegoaloftheFMOODSseriesofconferencesistobringtogetherresearchers whose work encompasses three important and related ?elds: - formal methods; - distributed systems; - object-based technology. Sucha convergenceis representativeofrecentadvancesin the'eld ofdistributed systems, and provides links between several scienti'c and technological com- nities, as represented by the conferences FORTE, CONCUR, and ECOOP. The objective of FMOODS is to provide an integrated forum for the pres- tation of research in the above-mentioned ?elds, and the exchange of ideas and experiences in the topics concerned with the formal methods support for open object-based distributed systems. For the call for papers, aspects of interest - cluded, but were not limited to: formal models; formal techniques for speci?- tion, design, or analysis; veri'cation, testing, and validation; component-based design; formal aspects of service-oriented computing; semantics and type s- tems for programming, coordination, or modelling languages; behavioraltyping; multiple viewpoint modelling and consistency between di'erent models; tra- formations of models; integration of quality-of-service requirements into formal models; formal models for security; formal approachesto distributed component frameworks;andapplications andexperience,carefullydescribed. Work onthese aspects of (o'cial and de facto) standardnotation and languagesfor serviceo- ented design, e. g. web services orchestration languages, was explicitly welcome. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v3535 606 $aComputer networks 606 $aComputer programming 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aOperating systems (Computers) 606 $aComputer science 606 $aComputer Communication Networks 606 $aProgramming Techniques 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aOperating Systems 606 $aComputer Science Logic and Foundations of Programming 615 0$aComputer networks. 615 0$aComputer programming. 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs). 615 0$aOperating systems (Computers). 615 0$aComputer science. 615 14$aComputer Communication Networks. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aOperating Systems. 615 24$aComputer Science Logic and Foundations of Programming. 676 $a004.6 701 $aSteffen$b Martin$01751457 701 $aZavattaro$b Gianluigi$01754873 712 02$aIFIP Working Group 6.1. 712 12$aInternational Conference on Formal Methods for Open Object-Based Distributed Systems 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483180303321 996 $aFormal methods for open object-based distributed systems$94191385 997 $aUNINA