{"entities":{"Q1763065":{"pageid":1773807,"ns":120,"title":"Item:Q1763065","lastrevid":74243982,"modified":"2026-04-14T19:08:57Z","type":"item","id":"Q1763065","labels":{"en":{"language":"en","value":"Applying formal methods: testing, performance, and M/E-commerce. FORTE 2004 workshops the FormEMC, EPEW, ITM, Toledo, Spain, October 1--2, 2004. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2135267"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763065$30C16D5E-AA63-4DD5-8587-5F0E87E72814","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d9ea5b8ee376aa5d3e5d7a3461e474e0d437f9c","datavalue":{"value":{"text":"Applying formal methods: testing, performance, and M/E-commerce. FORTE 2004 workshops the FormEMC, EPEW, ITM, Toledo, Spain, October 1--2, 2004. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1763065$B3B74508-2DA2-4D67-A5B7-E6A28FD0C3B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4dcf3a1a374db1604e937965357903b619c416f4","datavalue":{"value":"1056.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763065$6EC26739-217C-4297-9732-291E459DD79F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763065$DB6BCCE5-D42D-44DF-A6C5-47EA7F7D5E84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19c055e4721a86221dc4ad9a18f9249f030fc51e","datavalue":{"value":{"time":"+2005-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1763065$25C5E88D-FCA7-4354-9F29-D0FB5090A360","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"95ea9dba4831c85844e350eaa05af7d39aaefd2f","datavalue":{"value":"The articles of this volume will be reviewed individually.  Indexed articles:  \\textit{Rodr\u00edguez, Ismael; N\u00fa\u00f1ez, Manuel; Rubio, Fernando}, Specification of autonomous agents in e-commerce systems, 30-44 [Zbl 1111.68335]  \\textit{L\u00f3pez, Natalia; N\u00fa\u00f1ez, Manuel; Rodr\u00edguez, Ismael}, Formal specification of symbolic-probabilistic systems, 114-127 [Zbl 1111.68511]  \\textit{Ruiz, M. Carmen; Cazorla, Diego; Cuartero, Fernando; Pardo, J. Jos\u00e9; Maci\u00e0, Hermenegilda}, A bounded true concurrency process algebra for performance evaluation, 143-155 [Zbl 1111.68545]  \\textit{Qin, Guangping; Wu, Jinzhao}, Branching time equivalences for interactive Markov chains, 156-169 [Zbl 1111.68544]  \\textit{Vinck, Bart; Bruneel, Herwig}, System contents versus system delay for discrete-time queueing systems with renewal arrivals, 170-183 [Zbl 1111.68366]  \\textit{Gao, Peixia; Wittevrongel, Sabine; Bruneel, Herwig}, Delay analysis for a discrete-time GI-D-c queue with arbitrary-length service times, 184-195 [Zbl 1111.68361]  \\textit{Jalili-Kharaajoo, Mahdi}, Adaptive fuzzy queue management and congestion avoidance in TCP/AQM networks, 196-208 [Zbl 1111.68362]  \\textit{Zuberek, W. M.}, Modeling and analysis of dual block multithreading, 209-219 [Zbl 1111.68370]  \\textit{Sridhar, K. N.; Ciobanu, Gabriel}, Describing IEEE 802.11 wireless mechanisms by using the \\(\\pi\\)-calculus and performance evaluation process algebra, 233-247 [Zbl 1111.68350]  \\textit{N\u00fa\u00f1ez, Manuel; Rodr\u00edguez, Ismael; Rubio, Fernando}, Testing of autonomous agents described as utility state machines, 322-336 [Zbl 1111.68331]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763065$A3E422D8-8645-49AA-98CE-65FF00D4FFA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763065$E66A28F1-6088-48F4-8FED-23DD3985C033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763065$1AADFB84-1DCB-4E86-958C-2B5DDE8F86DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763065$E77E9346-32A2-4B54-8FD4-00FCF4702C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763065$691376FC-0E99-4BA7-B9B7-469FC50B441E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763065$C885274C-FB7E-4209-972E-0B63D18339A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ccf608f84a4ae6bc28f3cad36d1f9da94b629219","datavalue":{"value":"2135267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763065$5942D777-AC60-4497-A36A-C95E7DD88DD9","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763065$99F2CA89-1AE6-41DA-9B58-62D082134EFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"040106ace93e4399c912d6be866ce7d02ba963f6","datavalue":{"value":"https://doi.org/10.1007/b100825","type":"string"},"datatype":"url"},"type":"statement","id":"Q1763065$092F0DF7-4B75-433B-B066-E6ED4C9D61BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c977876dcc26018997b233ec1074163679b8bdbf","datavalue":{"value":"W2497925506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763065$0CA0A98F-E61C-44E8-B602-7550B6B043D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2855d534249a901b21b7afa9714f960648714c7","datavalue":{"value":"10.1007/B100825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763065$895BA506-1524-476F-A06B-AE757B2FAB52","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a95ce371702be2baae45029a250ee76dbe4563e","datavalue":{"value":{"entity-type":"item","numeric-id":2388723,"id":"Q2388723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"875b0a1be1c301729fd624c51738acc2c37ad11b","datavalue":{"value":{"amount":"+0.80574715","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1763065$F06E3B71-B4DA-4028-B5DA-7DDC16A900A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69cc8bf3384568c77f797b0bc43fb744e6ecf7b5","datavalue":{"value":{"entity-type":"item","numeric-id":1872753,"id":"Q1872753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0260c13927c2a1dab669630f1f2c614349b40fc6","datavalue":{"value":{"amount":"+0.78774333","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1763065$689C64B1-D616-4116-8D2E-477DD48DD952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53e5009cfba9373cb94d2827dc36efdcfff95374","datavalue":{"value":{"entity-type":"item","numeric-id":2381090,"id":"Q2381090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa9f2e8240a31ab3149e6c7f7f3c2da7ff552f8f","datavalue":{"value":{"amount":"+0.7868008","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1763065$0061E833-F766-47FD-9650-907BF5DE87D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d95d5ae457b15247d3727a9347dc289dce50a87","datavalue":{"value":{"entity-type":"item","numeric-id":1779177,"id":"Q1779177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8c0d923aa85cdac2eb6d39dce95e0e29ec3b742","datavalue":{"value":{"amount":"+0.78515697","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1763065$93CFDECA-918B-4A49-916B-9E4BC424AC9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cae1ad4d154468efcb094b48592bd7fba5b65efa","datavalue":{"value":{"entity-type":"item","numeric-id":855037,"id":"Q855037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10a59c1774d95f848a3c96c67473db2b62f633e2","datavalue":{"value":{"amount":"+0.7772127","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1763065$A28346D5-7358-4432-8C63-B8A810BF6F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ab0cc4d5380eb8ffc0d2407cd3a867cf76d62ce","datavalue":{"value":{"entity-type":"item","numeric-id":1422107,"id":"Q1422107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a5750bddfa77d1cd62c80aba349c51af849e82d","datavalue":{"value":{"amount":"+0.7754552","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1763065$DA66B033-3FDF-4E7D-A80C-9B55252D36D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a9b51f47c2689c33b6eea7f355a5c0fca85b3fd","datavalue":{"value":{"entity-type":"item","numeric-id":862581,"id":"Q862581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e039ab28276bb841f98f5f7161b8587a15d2aa7","datavalue":{"value":{"amount":"+0.7737631","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1763065$538FC912-41F4-4C3E-9EC9-20512F7EA79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e9d1e8aa595771b942213844e7d86ba733aa8dd","datavalue":{"value":{"entity-type":"item","numeric-id":1413082,"id":"Q1413082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c167c5c664035cbe999bf758c59ae7dfd4644dac","datavalue":{"value":{"amount":"+0.7728803","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1763065$6266657D-F3F6-4EA0-91AC-93E389998BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c9c59d0f4408f6b58b6100eab82b03d2b5a1e23","datavalue":{"value":{"entity-type":"item","numeric-id":932893,"id":"Q932893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56812d1c0a5e23b295739d03304628813b20f481","datavalue":{"value":{"amount":"+0.7699392","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1763065$5AA0827A-153E-433A-B851-6D02CA516F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"097e722cebb0036d79afe9cb6dbc88caed0799b7","datavalue":{"value":{"entity-type":"item","numeric-id":1962884,"id":"Q1962884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25c7630f3f3adce81248aac53f7b6903089d4e4a","datavalue":{"value":{"amount":"+0.7692781","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1763065$FEA7175D-AF73-43FE-AE88-2D87A5F48DE4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Applying formal methods: testing, performance, and M/E-commerce. FORTE 2004 workshops the FormEMC, EPEW, ITM, Toledo, Spain, October 1--2, 2004. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Applying_formal_methods:_testing,_performance,_and_M/E-commerce._FORTE_2004_workshops_the_FormEMC,_EPEW,_ITM,_Toledo,_Spain,_October_1--2,_2004._Proceedings"}}}}}