LEADER 04504nam 22007455 450 001 996465657303316 005 20200629170331.0 010 $a3-319-46963-0 024 7 $a10.1007/978-3-319-46963-8 035 $a(CKB)3710000000909150 035 $a(DE-He213)978-3-319-46963-8 035 $a(MiAaPQ)EBC6295393 035 $a(MiAaPQ)EBC5586594 035 $a(Au-PeEL)EBL5586594 035 $a(OCoLC)960694385 035 $a(PPN)196323150 035 $a(EXLCZ)993710000000909150 100 $a20161004d2016 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aCurrent Trends in Web Engineering$b[electronic resource] $eICWE 2016 International Workshops, DUI, TELERISE, SoWeMine, and Liquid Web, Lugano, Switzerland, June 6-9, 2016. Revised Selected Papers /$fedited by Sven Casteleyn, Peter Dolog, Cesare Pautasso 205 $a1st ed. 2016. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016. 215 $a1 online resource (XX, 209 p. 68 illus.) 225 1 $aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v9881 311 $a3-319-46962-2 327 $a2nd International Workshop on TEchnical and LEgal aspects of data pRIvacy and SEcurity (TELERISE 2016) -- 2nd International Workshop on Mining the Social Web (SoWeMine 2016) -- 1st International Workshop on Liquid Multi-Device Software for the Web (LiquidWS 2016) -- 5th Workshop on Distributed User Interfaces: Distributing Interaction (DUI 2016). 330 $aThis book constitutes the thoroughly refereed post-workshop proceedings of the 16th International Conference on Web Engineering, ICWE 2016, held in Lugano, Switzerland, in June 2016. The 15 revised full papers together with 5 short papers were selected form 37 submissions. The workshops complement the main conference, and provide a forum for researchers and practitioners to discuss emerging topics. As a result, the workshop committee accepted six workshops, of which the following four contributed papers to this volume: 2nd International Workshop on TEchnical and LEgal aspects of data pRIvacy and SEcurity (TELERISE 2016) 2nd International Workshop on Mining the Social Web (SoWeMine 2016) 1st International Workshop on Liquid Multi-Device Software for the Web (LiquidWS 2016) 5th Workshop on Distributed User Interfaces: Distributing Interactions (DUI 2016). 410 0$aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v9881 606 $aApplication software 606 $aSoftware engineering 606 $aUser interfaces (Computer systems) 606 $aData mining 606 $aComputer security 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aComputer Appl. in Administrative Data Processing$3https://scigraph.springernature.com/ontologies/product-market-codes/I2301X 606 $aUser Interfaces and Human Computer Interaction$3https://scigraph.springernature.com/ontologies/product-market-codes/I18067 606 $aData Mining and Knowledge Discovery$3https://scigraph.springernature.com/ontologies/product-market-codes/I18030 606 $aSystems and Data Security$3https://scigraph.springernature.com/ontologies/product-market-codes/I28060 615 0$aApplication software. 615 0$aSoftware engineering. 615 0$aUser interfaces (Computer systems). 615 0$aData mining. 615 0$aComputer security. 615 14$aInformation Systems Applications (incl. Internet). 615 24$aSoftware Engineering. 615 24$aComputer Appl. in Administrative Data Processing. 615 24$aUser Interfaces and Human Computer Interaction. 615 24$aData Mining and Knowledge Discovery. 615 24$aSystems and Data Security. 676 $a004.678 702 $aCasteleyn$b Sven$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDolog$b Peter$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPautasso$b Cesare$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465657303316 996 $aCurrent Trends in Web Engineering$91921279 997 $aUNISA LEADER 04857nam 22007935 450 001 996465918303316 005 20230223035950.0 010 $a3-540-85778-8 024 7 $a10.1007/978-3-540-85778-5 035 $a(CKB)1000000000490583 035 $a(SSID)ssj0000715668 035 $a(PQKBManifestationID)11423832 035 $a(PQKBTitleCode)TC0000715668 035 $a(PQKBWorkID)10720820 035 $a(PQKB)10158959 035 $a(DE-He213)978-3-540-85778-5 035 $a(MiAaPQ)EBC3063530 035 $a(MiAaPQ)EBC6511670 035 $a(Au-PeEL)EBL6511670 035 $a(OCoLC)288567880 035 $a(PPN)12906257X 035 $a(EXLCZ)991000000000490583 100 $a20100301d2008 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Modeling and Analysis of Timed Systems$b[electronic resource] $e6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings /$fedited by Franck Cassez, Claude Jard 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008. 215 $a1 online resource (X, 295 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5215 300 $aIncludes index. 311 $a3-540-85777-X 320 $aIncludes bibliographical references and index. 327 $aInvited Talks -- Some Recent Results in Metric Temporal Logic -- Composing Web Services in an Open World: Issues of Quality of Service -- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets -- Session 1. Extensions of Timed Automata and Semantics -- Infinite Runs in Weighted Timed Automata with Energy Constraints -- Concavely-Priced Timed Automata -- Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets -- Timed Automata with Integer Resets: Language Inclusion and Expressiveness -- Session 2. Timed Games and Logic -- Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities -- MTL with Bounded Variability: Decidability and Complexity -- Timed Parity Games: Complexity and Robustness -- On Scheduling Policies for Streams of Structured Jobs -- Session 3. Case Studies -- A Framework for Distributing Real-Time Functions -- Formal Modeling and Scheduling of Datapaths of Digital Document Printers -- Session 4. Model-Checking of Probabilistic Systems -- A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks -- Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains -- Session 5. Verification and Test -- Convergence Verification: From Shared Memory to Partially Synchronous Systems -- Compositional Abstraction in Real-Time Model Checking -- On Conformance Testing for Timed Systems -- Session 6. Time Petri Nets -- Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs -- Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph. 330 $aThis book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. The 17 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on extensions of timed automata and semantics; timed games and logic; case studies; model-checking of probabilistic systems; verification and test; timed petri nets. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5215 606 $aComputer programming 606 $aComputer science 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aProgramming Techniques 606 $aTheory of Computation 606 $aSoftware Engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aModels of Computation 606 $aCompilers and Interpreters 615 0$aComputer programming. 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs). 615 14$aProgramming Techniques. 615 24$aTheory of Computation. 615 24$aSoftware Engineering. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aModels of Computation. 615 24$aCompilers and Interpreters. 676 $a004.33 702 $aJard$b Claude 702 $aCassez$b Franck$f1967- 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465918303316 996 $aFormal Modeling and Analysis of Timed Systems$9772562 997 $aUNISA LEADER 00829nam 2200277 450 001 9911030880103321 005 20251006175249.0 010 $a9788835162520 100 $a20251006d2024----u y0engy50 ba 101 0 $aita 102 $aIT 105 0 $a 00 200 1 $a<>futuro oggi$emiti antichi e moderni nella contemporaneità neoliberale$eil cuore l'anima e la società$fAndrea Cerroni 205 $a2. ed. 210 $aMilano$cFrancoAngeli$d2024 215 $a241 p.$d24 cm 225 $aSociologia$v1 610 0 $aSociologia$aConoscenza 610 0 $aConoscenza$aImmaginazione$aAspetti sociologici 676 $a306.42$v23$zita 700 1$aCerroni,$bAndrea$0281400 912 $a9911030880103321 952 $a306.42 CER 2$b13113$fbfs 959 $aBFS 996 $aFuturo oggi$9241419 997 $aUNINA