Search Results for - Narrowed by: Software engineering. - System Performance and Evaluation.SirsiDynix Enterprisehttps://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026qf$003dSUBJECT$002509Subject$002509System$002bPerformance$002band$002bEvaluation.$002509System$002bPerformance$002band$002bEvaluation.$0026ps$003d300$0026isd$003dtrue?2024-09-24T12:13:26ZVerification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20854772024-09-24T12:13:26Z2024-09-24T12:13:26Zby Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481<br/><a href="https://doi.org/10.1007/978-3-030-00359-3">https://doi.org/10.1007/978-3-030-00359-3</a><br/>Format: Electronic Resources<br/>Privacy Technologies and Policy 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:20855242024-09-24T12:13:26Z2024-09-24T12:13:26Zby Medina, Manel. editor.<br/><a href="https://doi.org/10.1007/978-3-030-02547-2">https://doi.org/10.1007/978-3-030-02547-2</a><br/>Format: Electronic Resources<br/>Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lecturesent://SD_ILS/0/SD_ILS:20855312024-09-24T12:13:26Z2024-09-24T12:13:26Zby Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140<br/><a href="https://doi.org/10.1007/978-3-030-02928-9">https://doi.org/10.1007/978-3-030-02928-9</a><br/>Format: Electronic Resources<br/>Information and Communication Technologies in Education, Research, and Industrial Applications 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20842242024-09-24T12:13:26Z2024-09-24T12:13:26Zby Bassiliades, Nick. editor. (orcid)0000-0001-6035-1038<br/><a href="https://doi.org/10.1007/978-3-319-76168-8">https://doi.org/10.1007/978-3-319-76168-8</a><br/>Format: Electronic Resources<br/>Evaluation of Novel Approaches to Software Engineering 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20848122024-09-24T12:13:26Z2024-09-24T12:13:26Zby Damiani, Ernesto. editor.<br/><a href="https://doi.org/10.1007/978-3-319-94135-6">https://doi.org/10.1007/978-3-319-94135-6</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20852722024-09-24T12:13:26Z2024-09-24T12:13:26Zby Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772<br/><a href="https://doi.org/10.1007/978-3-030-02768-1">https://doi.org/10.1007/978-3-030-02768-1</a><br/>Format: Electronic Resources<br/>NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20852762024-09-24T12:13:26Z2024-09-24T12:13:26Zby Dutle, Aaron. editor.<br/><a href="https://doi.org/10.1007/978-3-319-77935-5">https://doi.org/10.1007/978-3-319-77935-5</a><br/>Format: Electronic Resources<br/>Ad-hoc, Mobile, and Wireless Networks 17th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2018, Saint-Malo, France, September 5-7, 2018. Proceedingsent://SD_ILS/0/SD_ILS:20852792024-09-24T12:13:26Z2024-09-24T12:13:26Zby Montavont, Nicolas. editor.<br/><a href="https://doi.org/10.1007/978-3-030-00247-3">https://doi.org/10.1007/978-3-030-00247-3</a><br/>Format: Electronic Resources<br/>Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthdayent://SD_ILS/0/SD_ILS:20853712024-09-24T12:13:26Z2024-09-24T12:13:26Zby Jones, Cliff. editor.<br/><a href="https://doi.org/10.1007/978-3-030-01461-2">https://doi.org/10.1007/978-3-030-01461-2</a><br/>Format: Electronic Resources<br/>Communications and Networking 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:20848502024-09-24T12:13:26Z2024-09-24T12:13:26Zby Chen, Qianbin. editor.<br/><a href="https://doi.org/10.1007/978-3-319-66625-9">https://doi.org/10.1007/978-3-319-66625-9</a><br/>Format: Electronic Resources<br/>Communications and Networking 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:20848512024-09-24T12:13:26Z2024-09-24T12:13:26Zby Chen, Qianbin. editor.<br/><a href="https://doi.org/10.1007/978-3-319-66628-0">https://doi.org/10.1007/978-3-319-66628-0</a><br/>Format: Electronic Resources<br/>Software Architecture 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24–28, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20853242024-09-24T12:13:26Z2024-09-24T12:13:26Zby Cuesta, Carlos E. editor. (orcid)0000-0003-0286-4219<br/><a href="https://doi.org/10.1007/978-3-030-00761-4">https://doi.org/10.1007/978-3-030-00761-4</a><br/>Format: Electronic Resources<br/>Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:20855872024-09-24T12:13:26Z2024-09-24T12:13:26Zby Beyer, Dirk. editor. (orcid)0000-0003-4832-7662<br/><a href="https://doi.org/10.1007/978-3-319-89960-2">https://doi.org/10.1007/978-3-319-89960-2</a><br/>Format: Electronic Resources<br/>Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20858722024-09-24T12:13:26Z2024-09-24T12:13:26Zby Pierantonio, Alfonso. editor. (orcid)0000-0002-5231-3952<br/><a href="https://doi.org/10.1007/978-3-319-92997-2">https://doi.org/10.1007/978-3-319-92997-2</a><br/>Format: Electronic Resources<br/>Cloud Computing – CLOUD 2018 11th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20858842024-09-24T12:13:26Z2024-09-24T12:13:26Zby Luo, Min. editor.<br/><a href="https://doi.org/10.1007/978-3-319-94295-7">https://doi.org/10.1007/978-3-319-94295-7</a><br/>Format: Electronic Resources<br/>Big Data – BigData 2018 7th International Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20858942024-09-24T12:13:26Z2024-09-24T12:13:26Zby Chin, Francis Y. L. editor.<br/><a href="https://doi.org/10.1007/978-3-319-94301-5">https://doi.org/10.1007/978-3-319-94301-5</a><br/>Format: Electronic Resources<br/>Lectures on Runtime Verification Introductory and Advanced Topicsent://SD_ILS/0/SD_ILS:20856202024-09-24T12:13:26Z2024-09-24T12:13:26Zby Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601<br/><a href="https://doi.org/10.1007/978-3-319-75632-5">https://doi.org/10.1007/978-3-319-75632-5</a><br/>Format: Electronic Resources<br/>Software Technologies 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20848612024-09-24T12:13:26Z2024-09-24T12:13:26Zby Cabello, Enrique. editor.<br/><a href="https://doi.org/10.1007/978-3-319-93641-3">https://doi.org/10.1007/978-3-319-93641-3</a><br/>Format: Electronic Resources<br/>Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedingsent://SD_ILS/0/SD_ILS:20855802024-09-24T12:13:26Z2024-09-24T12:13:26Zby Baier, Christel. editor. (orcid)0000-0002-5321-9343<br/><a href="https://doi.org/10.1007/978-3-319-89366-2">https://doi.org/10.1007/978-3-319-89366-2</a><br/>Format: Electronic Resources<br/>Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20844182024-09-24T12:13:26Z2024-09-24T12:13:26Zby Pires, Luís Ferreira. editor.<br/><a href="https://doi.org/10.1007/978-3-319-94764-8">https://doi.org/10.1007/978-3-319-94764-8</a><br/>Format: Electronic Resources<br/>Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20856832024-09-24T12:13:26Z2024-09-24T12:13:26Zby Gallagher, John P. editor.<br/><a href="https://doi.org/10.1007/978-3-319-90686-7">https://doi.org/10.1007/978-3-319-90686-7</a><br/>Format: Electronic Resources<br/>Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20859022024-09-24T12:13:26Z2024-09-24T12:13:26Zby Heras, Dora B. editor.<br/><a href="https://doi.org/10.1007/978-3-319-75178-8">https://doi.org/10.1007/978-3-319-75178-8</a><br/>Format: Electronic Resources<br/>Communication Technologies for Vehicles 13th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2018, Madrid, Spain, May 17-18, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20856442024-09-24T12:13:26Z2024-09-24T12:13:26Zby Moreno García-Loygorri, Juan. editor. (orcid)0000-0002-4626-1535<br/><a href="https://doi.org/10.1007/978-3-319-90371-2">https://doi.org/10.1007/978-3-319-90371-2</a><br/>Format: Electronic Resources<br/>Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20860212024-09-24T12:13:26Z2024-09-24T12:13:26Zby Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831<br/><a href="https://doi.org/10.1007/978-3-319-74313-4">https://doi.org/10.1007/978-3-319-74313-4</a><br/>Format: Electronic Resources<br/>Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20861132024-09-24T12:13:26Z2024-09-24T12:13:26Zby Avigad, Jeremy. editor.<br/><a href="https://doi.org/10.1007/978-3-319-94821-8">https://doi.org/10.1007/978-3-319-94821-8</a><br/>Format: Electronic Resources<br/>New Frontiers in Quantitative Methods in Informatics 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20845732024-09-24T12:13:26Z2024-09-24T12:13:26Zby Balsamo, Simonetta. editor.<br/><a href="https://doi.org/10.1007/978-3-319-91632-3">https://doi.org/10.1007/978-3-319-91632-3</a><br/>Format: Electronic Resources<br/>Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:20844802024-09-24T12:13:26Z2024-09-24T12:13:26Zby Li, Bo. editor.<br/><a href="https://doi.org/10.1007/978-3-319-78139-6">https://doi.org/10.1007/978-3-319-78139-6</a><br/>Format: Electronic Resources<br/>Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20853492024-09-24T12:13:26Z2024-09-24T12:13:26Zby Podelski, Andreas. editor.<br/><a href="https://doi.org/10.1007/978-3-319-99725-4">https://doi.org/10.1007/978-3-319-99725-4</a><br/>Format: Electronic Resources<br/>Autonomous Control for a Reliable Internet of Services Methods, Models, Approaches, Techniques, Algorithms, and Toolsent://SD_ILS/0/SD_ILS:20857822024-09-24T12:13:26Z2024-09-24T12:13:26Zby Ganchev, Ivan. editor. (orcid)0000-0003-0535-7087<br/><a href="https://doi.org/10.1007/978-3-319-90415-3">https://doi.org/10.1007/978-3-319-90415-3</a><br/>Format: Electronic Resources<br/>Open Source Systems: Enterprise Software and Solutions 14th IFIP WG 2.13 International Conference, OSS 2018, Athens, Greece, June 8-10, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20841762024-09-24T12:13:26Z2024-09-24T12:13:26Zby Stamelos, Ioannis. editor.<br/><a href="https://doi.org/10.1007/978-3-319-92375-8">https://doi.org/10.1007/978-3-319-92375-8</a><br/>Format: Electronic Resources<br/>Computer Performance Engineering 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20854002024-09-24T12:13:26Z2024-09-24T12:13:26Zby Bakhshi, Rena. editor.<br/><a href="https://doi.org/10.1007/978-3-030-02227-3">https://doi.org/10.1007/978-3-030-02227-3</a><br/>Format: Electronic Resources<br/>Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20860392024-09-24T12:13:26Z2024-09-24T12:13:26Zby Rensink, Arend. editor. (orcid)0000-0002-1714-6319<br/><a href="https://doi.org/10.1007/978-3-319-93317-7">https://doi.org/10.1007/978-3-319-93317-7</a><br/>Format: Electronic Resources<br/>Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20854622024-09-24T12:13:26Z2024-09-24T12:13:26Zby Feng, Xinyu. editor.<br/><a href="https://doi.org/10.1007/978-3-319-99933-3">https://doi.org/10.1007/978-3-319-99933-3</a><br/>Format: Electronic Resources<br/>5G for Future Wireless Networks First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedingsent://SD_ILS/0/SD_ILS:20844982024-09-24T12:13:26Z2024-09-24T12:13:26Zby Long, Keping. editor.<br/><a href="https://doi.org/10.1007/978-3-319-72823-0">https://doi.org/10.1007/978-3-319-72823-0</a><br/>Format: Electronic Resources<br/>Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20850742024-09-24T12:13:26Z2024-09-24T12:13:26Zby Colombo, Christian. editor.<br/><a href="https://doi.org/10.1007/978-3-030-03769-7">https://doi.org/10.1007/978-3-030-03769-7</a><br/>Format: Electronic Resources<br/>Advanced Information Systems Engineering 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20851102024-09-24T12:13:26Z2024-09-24T12:13:26Zby Krogstie, John. editor.<br/><a href="https://doi.org/10.1007/978-3-319-91563-0">https://doi.org/10.1007/978-3-319-91563-0</a><br/>Format: Electronic Resources<br/>Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20854682024-09-24T12:13:26Z2024-09-24T12:13:26Zby Havelund, Klaus. editor. (orcid)0000-0001-7079-0472<br/><a href="https://doi.org/10.1007/978-3-319-95582-7">https://doi.org/10.1007/978-3-319-95582-7</a><br/>Format: Electronic Resources<br/>Virtual Reality and Augmented Reality 15th EuroVR International Conference, EuroVR 2018, London, UK, October 22–23, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20854912024-09-24T12:13:26Z2024-09-24T12:13:26Zby Bourdot, Patrick. editor. (orcid)0000-0003-2247-1930<br/><a href="https://doi.org/10.1007/978-3-030-01790-3">https://doi.org/10.1007/978-3-030-01790-3</a><br/>Format: Electronic Resources<br/>Applications of Computing and Communication Technologies First International Conference, ICACCT 2018, Delhi, India, March 9, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:20841322024-09-24T12:13:26Z2024-09-24T12:13:26Zby Deka, Ganesh Chandra. editor.<br/><a href="https://doi.org/10.1007/978-981-13-2035-4">https://doi.org/10.1007/978-981-13-2035-4</a><br/>Format: Electronic Resources<br/>Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programmingent://SD_ILS/0/SD_ILS:20845222024-09-24T12:13:26Z2024-09-24T12:13:26Zby Kormanyos, Christopher. author.<br/><a href="https://doi.org/10.1007/978-3-662-56718-0">https://doi.org/10.1007/978-3-662-56718-0</a><br/>Format: Electronic Resources<br/>Computer and Information Sciences 32nd International Symposium, ISCIS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 20-21, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20842822024-09-24T12:13:26Z2024-09-24T12:13:26Zby Czachórski, Tadeusz. editor. (orcid)0000-0001-7158-0258<br/><a href="https://doi.org/10.1007/978-3-030-00840-6">https://doi.org/10.1007/978-3-030-00840-6</a><br/>Format: Electronic Resources<br/>Wireless Internet 9th International Conference, WICON 2016, Haikou, China, December 19-20, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20847962024-09-24T12:13:26Z2024-09-24T12:13:26Zby Huang, Mengxing. editor.<br/><a href="https://doi.org/10.1007/978-3-319-72998-5">https://doi.org/10.1007/978-3-319-72998-5</a><br/>Format: Electronic Resources<br/>Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2016, Vienna, Austria, September 5–7, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:20847992024-09-24T12:13:26Z2024-09-24T12:13:26Zby Lazovik, Alexander. editor.<br/><a href="https://doi.org/10.1007/978-3-319-72125-5">https://doi.org/10.1007/978-3-319-72125-5</a><br/>Format: Electronic Resources<br/>Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20843292024-09-24T12:13:26Z2024-09-24T12:13:26Zby Stamelos, Ioannis. editor.<br/><a href="https://doi.org/10.1007/978-3-030-00623-5">https://doi.org/10.1007/978-3-030-00623-5</a><br/>Format: Electronic Resources<br/>Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20844282024-09-24T12:13:26Z2024-09-24T12:13:26Zby Itsykson, Vladimir. editor.<br/><a href="https://doi.org/10.1007/978-3-319-71734-0">https://doi.org/10.1007/978-3-319-71734-0</a><br/>Format: Electronic Resources<br/>Systems, Software and Services Process Improvement 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20842112024-09-24T12:13:26Z2024-09-24T12:13:26Zby Larrucea, Xabier. editor.<br/><a href="https://doi.org/10.1007/978-3-319-97925-0">https://doi.org/10.1007/978-3-319-97925-0</a><br/>Format: Electronic Resources<br/>Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20843862024-09-24T12:13:26Z2024-09-24T12:13:26Zby Mann, Zoltán Ádám. editor.<br/><a href="https://doi.org/10.1007/978-3-319-79090-9">https://doi.org/10.1007/978-3-319-79090-9</a><br/>Format: Electronic Resources<br/>Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20851802024-09-24T12:13:26Z2024-09-24T12:13:26Zby Sun, Jing. editor.<br/><a href="https://doi.org/10.1007/978-3-030-02450-5">https://doi.org/10.1007/978-3-030-02450-5</a><br/>Format: Electronic Resources<br/>Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20851252024-09-24T12:13:26Z2024-09-24T12:13:26Zby Johnsen, Einar Broch. editor.<br/><a href="https://doi.org/10.1007/978-3-319-92970-5">https://doi.org/10.1007/978-3-319-92970-5</a><br/>Format: Electronic Resources<br/>Service-Oriented Computing – ICSOC 2017 Workshops ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20852872024-09-24T12:13:26Z2024-09-24T12:13:26Zby Braubach, Lars. editor.<br/><a href="https://doi.org/10.1007/978-3-319-91764-1">https://doi.org/10.1007/978-3-319-91764-1</a><br/>Format: Electronic Resources<br/>Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:20852942024-09-24T12:13:26Z2024-09-24T12:13:26Zby Piskac, Ruzica. editor.<br/><a href="https://doi.org/10.1007/978-3-030-03592-1">https://doi.org/10.1007/978-3-030-03592-1</a><br/>Format: Electronic Resources<br/>Services – SERVICES 2018 14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20859442024-09-24T12:13:26Z2024-09-24T12:13:26Zby Yang, Alvin. editor.<br/><a href="https://doi.org/10.1007/978-3-319-94472-2">https://doi.org/10.1007/978-3-319-94472-2</a><br/>Format: Electronic Resources<br/>Information Systems Security 14th International Conference, ICISS 2018, Bangalore, India, December 17-19, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20854042024-09-24T12:13:26Z2024-09-24T12:13:26Zby Ganapathy, Vinod. editor.<br/><a href="https://doi.org/10.1007/978-3-030-05171-6">https://doi.org/10.1007/978-3-030-05171-6</a><br/>Format: Electronic Resources<br/>Personal Satellite Services. Next-Generation Satellite Networking and Communication Systems 6th International Conference, PSATS 2014, Genoa, Italy, July 28–29, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:20848272024-09-24T12:13:26Z2024-09-24T12:13:26Zby Bisio, Igor. editor.<br/><a href="https://doi.org/10.1007/978-3-319-47081-8">https://doi.org/10.1007/978-3-319-47081-8</a><br/>Format: Electronic Resources<br/>OpenMP: Memory, Devices, and Tasks 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857082024-09-24T12:13:26Z2024-09-24T12:13:26Zby Maruyama, Naoya. editor.<br/><a href="https://doi.org/10.1007/978-3-319-45550-1">https://doi.org/10.1007/978-3-319-45550-1</a><br/>Format: Electronic Resources<br/>Cloud Computing 6th International Conference, CloudComp 2015, Daejeon, South Korea, October 28-29, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:20849662024-09-24T12:13:26Z2024-09-24T12:13:26Zby Zhang, Yin. editor.<br/><a href="https://doi.org/10.1007/978-3-319-38904-2">https://doi.org/10.1007/978-3-319-38904-2</a><br/>Format: Electronic Resources<br/>Communication Technologies for Vehicles 10th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, San Sebastián, Spain, June 6-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20861652024-09-24T12:13:26Z2024-09-24T12:13:26Zby Mendizabal, Jaizki. editor.<br/><a href="https://doi.org/10.1007/978-3-319-38921-9">https://doi.org/10.1007/978-3-319-38921-9</a><br/>Format: Electronic Resources<br/>Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20858372024-09-24T12:13:26Z2024-09-24T12:13:26Zby Fiems, Dieter. editor.<br/><a href="https://doi.org/10.1007/978-3-319-46433-6">https://doi.org/10.1007/978-3-319-46433-6</a><br/>Format: Electronic Resources<br/>Distributed Applications and Interoperable Systems 16th IFIP WG 6.1 International Conference, DAIS 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20858432024-09-24T12:13:26Z2024-09-24T12:13:26Zby Jelasity, Márk. editor.<br/><a href="https://doi.org/10.1007/978-3-319-39577-7">https://doi.org/10.1007/978-3-319-39577-7</a><br/>Format: Electronic Resources<br/>Wired/Wireless Internet Communications 14th IFIP WG 6.2 International Conference, WWIC 2016, Thessaloniki, Greece, May 25-27, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20854202024-09-24T12:13:26Z2024-09-24T12:13:26Zby Mamatas, Lefteris. editor.<br/><a href="https://doi.org/10.1007/978-3-319-33936-8">https://doi.org/10.1007/978-3-319-33936-8</a><br/>Format: Electronic Resources<br/>Software Process Improvement and Capability Determination 16th International Conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20846742024-09-24T12:13:26Z2024-09-24T12:13:26Zby Clarke, Paul M. editor.<br/><a href="https://doi.org/10.1007/978-3-319-38980-6">https://doi.org/10.1007/978-3-319-38980-6</a><br/>Format: Electronic Resources<br/>Internetware A New Software Paradigm for Internet Computingent://SD_ILS/0/SD_ILS:20849482024-09-24T12:13:26Z2024-09-24T12:13:26Zby Mei, Hong. author.<br/><a href="https://doi.org/10.1007/978-981-10-2546-4">https://doi.org/10.1007/978-981-10-2546-4</a><br/>Format: Electronic Resources<br/>Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20859782024-09-24T12:13:26Z2024-09-24T12:13:26Zby Blanchette, Jasmin Christian. editor.<br/><a href="https://doi.org/10.1007/978-3-319-43144-4">https://doi.org/10.1007/978-3-319-43144-4</a><br/>Format: Electronic Resources<br/>Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:20856092024-09-24T12:13:26Z2024-09-24T12:13:26Zby van Eekelen, Marko. editor.<br/><a href="https://doi.org/10.1007/978-3-319-46559-3">https://doi.org/10.1007/978-3-319-46559-3</a><br/>Format: Electronic Resources<br/>Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:20860782024-09-24T12:13:26Z2024-09-24T12:13:26Zby Hildebrandt, Thomas. editor.<br/><a href="https://doi.org/10.1007/978-3-319-33612-1">https://doi.org/10.1007/978-3-319-33612-1</a><br/>Format: Electronic Resources<br/>Computer Engineering and Technology 19th CCF Conference, NCCET 2015, Hefei, China, October 18-20, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:20845062024-09-24T12:13:26Z2024-09-24T12:13:26Zby Xu, Weixia. editor.<br/><a href="https://doi.org/10.1007/978-3-662-49283-3">https://doi.org/10.1007/978-3-662-49283-3</a><br/>Format: Electronic Resources<br/>Human-Centered and Error-Resilient Systems Development IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20850802024-09-24T12:13:26Z2024-09-24T12:13:26Zby Bogdan, Cristian. editor.<br/><a href="https://doi.org/10.1007/978-3-319-44902-9">https://doi.org/10.1007/978-3-319-44902-9</a><br/>Format: Electronic Resources<br/>Geo-Informatics in Resource Management and Sustainable Ecosystem Third International Conference, GRMSE 2015, Wuhan, China, October 16-18, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:20848352024-09-24T12:13:26Z2024-09-24T12:13:26Zby Bian, Fuling. editor.<br/><a href="https://doi.org/10.1007/978-3-662-49155-3">https://doi.org/10.1007/978-3-662-49155-3</a><br/>Format: Electronic Resources<br/>Guide to Software Development Designing and Managing the Life Cycleent://SD_ILS/0/SD_ILS:20847702024-09-24T12:13:26Z2024-09-24T12:13:26Zby Langer, Arthur M. author.<br/><a href="https://doi.org/10.1007/978-1-4471-6799-0">https://doi.org/10.1007/978-1-4471-6799-0</a><br/>Format: Electronic Resources<br/>Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20856882024-09-24T12:13:26Z2024-09-24T12:13:26Zby Wittevrongel, Sabine. editor.<br/><a href="https://doi.org/10.1007/978-3-319-43904-4">https://doi.org/10.1007/978-3-319-43904-4</a><br/>Format: Electronic Resources<br/>Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857142024-09-24T12:13:26Z2024-09-24T12:13:26Zby Falcone, Yliès. editor.<br/><a href="https://doi.org/10.1007/978-3-319-46982-9">https://doi.org/10.1007/978-3-319-46982-9</a><br/>Format: Electronic Resources<br/>Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5026952024-09-24T12:13:26Z2024-09-24T12:13:26Zby Al-Begain, Khalid. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-68982-9">http://dx.doi.org/10.1007/978-3-540-68982-9</a><br/>Format: Electronic Resources<br/>Next Generation Teletraffic and Wired/Wireless Advanced Networking 8th International Conference, NEW2AN and 1st Russian Conference on Smart Spaces, ruSMART 2008 St. Petersburg, Russia, September 3-5, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5036302024-09-24T12:13:26Z2024-09-24T12:13:26Zby Balandin, Sergey. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85500-2">http://dx.doi.org/10.1007/978-3-540-85500-2</a><br/>Format: Electronic Resources<br/>Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5036542024-09-24T12:13:26Z2024-09-24T12:13:26Zby Cassez, Franck. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85778-5">http://dx.doi.org/10.1007/978-3-540-85778-5</a><br/>Format: Electronic Resources<br/>Advances in Grid and Pervasive Computing Third International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5026142024-09-24T12:13:26Z2024-09-24T12:13:26Zby Wu, Song. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-68083-3">http://dx.doi.org/10.1007/978-3-540-68083-3</a><br/>Format: Electronic Resources<br/>Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037592024-09-24T12:13:26Z2024-09-24T12:13:26Zby Margaria, Tiziana. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-88479-8">http://dx.doi.org/10.1007/978-3-540-88479-8</a><br/>Format: Electronic Resources<br/>Computer Performance Engineering 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5036862024-09-24T12:13:26Z2024-09-24T12:13:26Zby Thomas, Nigel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87412-6">http://dx.doi.org/10.1007/978-3-540-87412-6</a><br/>Format: Electronic Resources<br/>Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5034962024-09-24T12:13:26Z2024-09-24T12:13:26Zby Dumas, Marlon. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-79230-7">http://dx.doi.org/10.1007/978-3-540-79230-7</a><br/>Format: Electronic Resources<br/>Improvements in System Safetyent://SD_ILS/0/SD_ILS:5024882024-09-24T12:13:26Z2024-09-24T12:13:26Zby Redmill, Felix. editor.<br/><a href="http://dx.doi.org/10.1007/978-1-84800-100-8">http://dx.doi.org/10.1007/978-1-84800-100-8</a><br/>Format: Electronic Resources<br/>Performance Evaluation: Metrics, Models and Benchmarks SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5027762024-09-24T12:13:26Z2024-09-24T12:13:26Zby Kounev, Samuel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69814-2">http://dx.doi.org/10.1007/978-3-540-69814-2</a><br/>Format: Electronic Resources<br/>Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5034852024-09-24T12:13:26Z2024-09-24T12:13:26Zby Beckert, Bernhard. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-79124-9">http://dx.doi.org/10.1007/978-3-540-79124-9</a><br/>Format: Electronic Resources<br/>The Testing Network An Integral Approach to Test Activities in Large Software Projectsent://SD_ILS/0/SD_ILS:5033842024-09-24T12:13:26Z2024-09-24T12:13:26Zby Henry, Pierre. author.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78504-0">http://dx.doi.org/10.1007/978-3-540-78504-0</a><br/>Format: Electronic Resources<br/>Network Performance Analysis Using the J Programming Languageent://SD_ILS/0/SD_ILS:5024242024-09-24T12:13:26Z2024-09-24T12:13:26Zby Holt, Alan. author.<br/><a href="http://dx.doi.org/10.1007/978-1-84628-823-4">http://dx.doi.org/10.1007/978-1-84628-823-4</a><br/>Format: Electronic Resources<br/>Wireless Algorithms, Systems, and Applications Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037642024-09-24T12:13:26Z2024-09-24T12:13:26Zby Li, Yingshu. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-88582-5">http://dx.doi.org/10.1007/978-3-540-88582-5</a><br/>Format: Electronic Resources<br/>Guide to Advanced Empirical Software Engineeringent://SD_ILS/0/SD_ILS:5024682024-09-24T12:13:26Z2024-09-24T12:13:26Zby Shull, Forrest. editor.<br/><a href="http://dx.doi.org/10.1007/978-1-84800-044-5">http://dx.doi.org/10.1007/978-1-84800-044-5</a><br/>Format: Electronic Resources<br/>NETWORKING 2008 Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet 7th International IFIP-TC6 Networking Conference Singapore, May 5-9, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5035372024-09-24T12:13:26Z2024-09-24T12:13:26Zby Das, Amitabha. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-79549-0">http://dx.doi.org/10.1007/978-3-540-79549-0</a><br/>Format: Electronic Resources<br/>Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papersent://SD_ILS/0/SD_ILS:5037992024-09-24T12:13:26Z2024-09-24T12:13:26Zby Leucker, Martin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-89247-2">http://dx.doi.org/10.1007/978-3-540-89247-2</a><br/>Format: Electronic Resources<br/>Euro-Par 2008 – Parallel Processing 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5036262024-09-24T12:13:26Z2024-09-24T12:13:26Zby Luque, Emilio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85451-7">http://dx.doi.org/10.1007/978-3-540-85451-7</a><br/>Format: Electronic Resources<br/>The Common Component Modeling Example Comparing Software Component Modelsent://SD_ILS/0/SD_ILS:5036172024-09-24T12:13:26Z2024-09-24T12:13:26Zby Rausch, Andreas. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85289-6">http://dx.doi.org/10.1007/978-3-540-85289-6</a><br/>Format: Electronic Resources<br/>The Safety of Systems Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13–15 February 2007ent://SD_ILS/0/SD_ILS:5086892024-09-24T12:13:26Z2024-09-24T12:13:26Zby Redmill, Felix. editor.<br/><a href="http://dx.doi.org/10.1007/978-1-84628-806-7">http://dx.doi.org/10.1007/978-1-84628-806-7</a><br/>Format: Electronic Resources<br/>Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papersent://SD_ILS/0/SD_ILS:5122882024-09-24T12:13:26Z2024-09-24T12:13:26Zby Kordon, Fabrice. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71156-8">http://dx.doi.org/10.1007/978-3-540-71156-8</a><br/>Format: Electronic Resources<br/>Managing Traffic Performance in Converged Networks 20th International Teletraffic Congress, ITC20 2007, Ottawa, Canada, June 17-21, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5125742024-09-24T12:13:26Z2024-09-24T12:13:26Zby Mason, Lorne. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72990-7">http://dx.doi.org/10.1007/978-3-540-72990-7</a><br/>Format: Electronic Resources<br/>Formal Methods and Stochastic Models for Performance Evaluation Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5128852024-09-24T12:13:26Z2024-09-24T12:13:26Zby Wolter, Katinka. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75211-0">http://dx.doi.org/10.1007/978-3-540-75211-0</a><br/>Format: Electronic Resources<br/>Software Architectures, Components, and Applications Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:5130452024-09-24T12:13:26Z2024-09-24T12:13:26Zby Overhage, Sven. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-77619-2">http://dx.doi.org/10.1007/978-3-540-77619-2</a><br/>Format: Electronic Resources<br/>Parallel and Distributed Processing and Applications 5th International Symposium, ISPA 2007 Niagara Falls, Canada, August 29-31, 2007 Proceedingsent://SD_ILS/0/SD_ILS:5128262024-09-24T12:13:26Z2024-09-24T12:13:26Zby Stojmenovic, Ivan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74742-0">http://dx.doi.org/10.1007/978-3-540-74742-0</a><br/>Format: Electronic Resources<br/>Frontiers of High Performance Computing and Networking ISPA 2007 Workshops ISPA 2007 International Workshops SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN Niagara Falls, Canada, August 28-September 1, 2007 Proceedingsent://SD_ILS/0/SD_ILS:5128272024-09-24T12:13:26Z2024-09-24T12:13:26Zby Thulasiraman, Parimala. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74767-3">http://dx.doi.org/10.1007/978-3-540-74767-3</a><br/>Format: Electronic Resources<br/>Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papersent://SD_ILS/0/SD_ILS:5127202024-09-24T12:13:26Z2024-09-24T12:13:26Zby Gurevich, Yuri. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73770-4">http://dx.doi.org/10.1007/978-3-540-73770-4</a><br/>Format: Electronic Resources<br/>Trends in Enterprise Application Architecture 2nd International Conference, TEAA 2006, Berlin, Germany, November 29 - December 1, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:5129452024-09-24T12:13:26Z2024-09-24T12:13:26Zby Draheim, Dirk. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75912-6">http://dx.doi.org/10.1007/978-3-540-75912-6</a><br/>Format: Electronic Resources<br/>NETWORKING 2007. Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet 6th International IFIP-TC6 Networking Conference, Atlanta, GA, USA, May 14-18, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5125032024-09-24T12:13:26Z2024-09-24T12:13:26Zby Akyildiz, Ian F. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72606-7">http://dx.doi.org/10.1007/978-3-540-72606-7</a><br/>Format: Electronic Resources<br/>Dependable Computing Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5128992024-09-24T12:13:26Z2024-09-24T12:13:26Zby Bondavalli, Andrea. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75294-3">http://dx.doi.org/10.1007/978-3-540-75294-3</a><br/>Format: Electronic Resources<br/>Next Generation Teletraffic and Wired/Wireless Advanced Networking 7th International Conference, NEW2AN 2007 St. Petersburg, Russia, September 10-14, 2007 Proceedingsent://SD_ILS/0/SD_ILS:5128452024-09-24T12:13:26Z2024-09-24T12:13:26Zby Koucheryavy, Yevgeni. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74833-5">http://dx.doi.org/10.1007/978-3-540-74833-5</a><br/>Format: Electronic Resources<br/>Embedded Software and Systems Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5125132024-09-24T12:13:26Z2024-09-24T12:13:26Zby Lee, Yann-Hang. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72685-2">http://dx.doi.org/10.1007/978-3-540-72685-2</a><br/>Format: Electronic Resources<br/>Optical Network Design and Modeling 11th International IFIP TC6 Conference, ONDM 2007, Athens, Greece, May 29-31, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5125262024-09-24T12:13:26Z2024-09-24T12:13:26Zby Tomkos, Ioannis. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72731-6">http://dx.doi.org/10.1007/978-3-540-72731-6</a><br/>Format: Electronic Resources<br/>Advances in Grid and Pervasive Computing Second International Conference, GPC 2007, Paris, France, May 2-4, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5124612024-09-24T12:13:26Z2024-09-24T12:13:26Zby Cérin, Christophe. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72360-8">http://dx.doi.org/10.1007/978-3-540-72360-8</a><br/>Format: Electronic Resources<br/>Guerrilla Capacity Planning A Tactical Approach to Planning for Highly Scalable Applications and Servicesent://SD_ILS/0/SD_ILS:5098402024-09-24T12:13:26Z2024-09-24T12:13:26Zby Gunther, Neil J. author.<br/><a href="http://dx.doi.org/10.1007/978-3-540-31010-5">http://dx.doi.org/10.1007/978-3-540-31010-5</a><br/>Format: Electronic Resources<br/>Advanced Memory Optimization Techniques for Low-Power Embedded Processorsent://SD_ILS/0/SD_ILS:5074522024-09-24T12:13:26Z2024-09-24T12:13:26Zby Verma, Manish. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4020-5897-4">http://dx.doi.org/10.1007/978-1-4020-5897-4</a><br/>Format: Electronic Resources<br/>Test and Analysis of Web Servicesent://SD_ILS/0/SD_ILS:5125592024-09-24T12:13:26Z2024-09-24T12:13:26Zby Baresi, Luciano. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72912-9">http://dx.doi.org/10.1007/978-3-540-72912-9</a><br/>Format: Electronic Resources<br/>Pro Oracle Database 10g RAC on Linux Installation, Administration, and Performanceent://SD_ILS/0/SD_ILS:5079082024-09-24T12:13:26Z2024-09-24T12:13:26Zby Dyke, Julian. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0214-1">http://dx.doi.org/10.1007/978-1-4302-0214-1</a><br/>Format: Electronic Resources<br/>Developments in Risk-based Approaches to Safety Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, 7–9 February 2006ent://SD_ILS/0/SD_ILS:5085532024-09-24T12:13:26Z2024-09-24T12:13:26Zby Redmill, Felix. editor.<br/><a href="http://dx.doi.org/10.1007/1-84628-447-3">http://dx.doi.org/10.1007/1-84628-447-3</a><br/>Format: Electronic Resources<br/>NETWORKING 2006. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 5th International IFIP-TC6 Networking Conference, Coimbra, Portugal, May 15-19, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5110682024-09-24T12:13:26Z2024-09-24T12:13:26Zby Boavida, Fernando. editor.<br/><a href="http://dx.doi.org/10.1007/11753810">http://dx.doi.org/10.1007/11753810</a><br/>Format: Electronic Resources<br/>Web Services and Formal Methods Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedingsent://SD_ILS/0/SD_ILS:5116162024-09-24T12:13:26Z2024-09-24T12:13:26Zby Bravetti, Mario. editor.<br/><a href="http://dx.doi.org/10.1007/11841197">http://dx.doi.org/10.1007/11841197</a><br/>Format: Electronic Resources<br/>Dependable Systems: Software, Computing, Networks Research Results of the DICS Programent://SD_ILS/0/SD_ILS:5114252024-09-24T12:13:26Z2024-09-24T12:13:26Zby Kohlas, Jürg. editor.<br/><a href="http://dx.doi.org/10.1007/11808107">http://dx.doi.org/10.1007/11808107</a><br/>Format: Electronic Resources<br/>Frontiers of High Performance Computing and Networking – ISPA 2006 Workshops ISPA 2006 International Workshops, FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4-7, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5120112024-09-24T12:13:26Z2024-09-24T12:13:26Zby Min, Geyong. editor.<br/><a href="http://dx.doi.org/10.1007/11942634">http://dx.doi.org/10.1007/11942634</a><br/>Format: Electronic Resources<br/>Quality of Software Architectures Second International Conference on Quality of Software Architectures, QoSA 2006, Västerås, Sweden, June 27-29, 2006 Revised Papersent://SD_ILS/0/SD_ILS:5119132024-09-24T12:13:26Z2024-09-24T12:13:26Zby Hofmeister, Christine. editor.<br/><a href="http://dx.doi.org/10.1007/11921998">http://dx.doi.org/10.1007/11921998</a><br/>Format: Electronic Resources<br/>Parallel and Distributed Processing and Applications 4th International Symposium, ISPA 2006, Sorrento, Italy, December 4-6, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5120442024-09-24T12:13:26Z2024-09-24T12:13:26Zby Guo, Minyi. editor.<br/><a href="http://dx.doi.org/10.1007/11946441">http://dx.doi.org/10.1007/11946441</a><br/>Format: Electronic Resources<br/>Wireless Algorithms, Systems, and Applications First International Conference, WASA 2006, Xi’an, China, August 15-17, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5114622024-09-24T12:13:26Z2024-09-24T12:13:26Zby Cheng, Xiuzhen. editor.<br/><a href="http://dx.doi.org/10.1007/11814856">http://dx.doi.org/10.1007/11814856</a><br/>Format: Electronic Resources<br/>Advances in Grid and Pervasive Computing First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5109982024-09-24T12:13:26Z2024-09-24T12:13:26Zby Chung, Yeh-Ching. editor.<br/><a href="http://dx.doi.org/10.1007/11745693">http://dx.doi.org/10.1007/11745693</a><br/>Format: Electronic Resources<br/>Formal Methods and Stochastic Models for Performance Evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5112672024-09-24T12:13:26Z2024-09-24T12:13:26Zby Horváth, András. editor.<br/><a href="http://dx.doi.org/10.1007/11777830">http://dx.doi.org/10.1007/11777830</a><br/>Format: Electronic Resources<br/>High Availability and Disaster Recovery Concepts, Design, Implementationent://SD_ILS/0/SD_ILS:5111672024-09-24T12:13:26Z2024-09-24T12:13:26Zby Schmidt, Klaus. author.<br/><a href="http://dx.doi.org/10.1007/3-540-34582-5">http://dx.doi.org/10.1007/3-540-34582-5</a><br/>Format: Electronic Resources<br/>Web Engineeringent://SD_ILS/0/SD_ILS:5093902024-09-24T12:13:26Z2024-09-24T12:13:26Zby Mendes, Emilia. editor.<br/><a href="http://dx.doi.org/10.1007/3-540-28218-1">http://dx.doi.org/10.1007/3-540-28218-1</a><br/>Format: Electronic Resources<br/>Software Configuration Management Using Vestaent://SD_ILS/0/SD_ILS:5050312024-09-24T12:13:26Z2024-09-24T12:13:26Zby Heydon, Allan. author.<br/><a href="http://dx.doi.org/10.1007/978-0-387-30852-4">http://dx.doi.org/10.1007/978-0-387-30852-4</a><br/>Format: Electronic Resources<br/>Embedded Systems – Modeling, Technology, and Applicationsent://SD_ILS/0/SD_ILS:5070672024-09-24T12:13:26Z2024-09-24T12:13:26Zby Hommel, Günter. editor.<br/><a href="http://dx.doi.org/10.1007/1-4020-4933-1">http://dx.doi.org/10.1007/1-4020-4933-1</a><br/>Format: Electronic Resources<br/>Next Generation Teletraffic and Wired/Wireless Advanced Networking 6th International Conference, NEW2AN 2006, St. Petersburg, Russia, May 29 - June 2, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5111242024-09-24T12:13:26Z2024-09-24T12:13:26Zby Koucheryavy, Yevgeni. editor.<br/><a href="http://dx.doi.org/10.1007/11759355">http://dx.doi.org/10.1007/11759355</a><br/>Format: Electronic Resources<br/>Expert Oracleent://SD_ILS/0/SD_ILS:5077192024-09-24T12:13:26Z2024-09-24T12:13:26Zby Kyte, Thomas. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0019-2">http://dx.doi.org/10.1007/978-1-4302-0019-2</a><br/>Format: Electronic Resources<br/>Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5102862024-09-24T12:13:26Z2024-09-24T12:13:26Zby Bravetti, Mario. editor.<br/><a href="http://dx.doi.org/10.1007/11549970">http://dx.doi.org/10.1007/11549970</a><br/>Format: Electronic Resources<br/>Embedded Software and Systems First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:5102062024-09-24T12:13:26Z2024-09-24T12:13:26Zby Wu, Zhaohui. editor.<br/><a href="http://dx.doi.org/10.1007/11535409">http://dx.doi.org/10.1007/11535409</a><br/>Format: Electronic Resources<br/>Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5104522024-09-24T12:13:26Z2024-09-24T12:13:26Zby Maziero, Carlos Alberto. editor.<br/><a href="http://dx.doi.org/10.1007/11572329">http://dx.doi.org/10.1007/11572329</a><br/>Format: Electronic Resources<br/>Analyzing Computer System Performance with Perl::PDQent://SD_ILS/0/SD_ILS:5090142024-09-24T12:13:26Z2024-09-24T12:13:26Zby Gunther, Neil J. author.<br/><a href="http://dx.doi.org/10.1007/978-3-540-26860-4">http://dx.doi.org/10.1007/978-3-540-26860-4</a><br/>Format: Electronic Resources<br/>Parallel and Distributed Processing and Applications Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5104602024-09-24T12:13:26Z2024-09-24T12:13:26Zby Pan, Yi. editor.<br/><a href="http://dx.doi.org/10.1007/11576235">http://dx.doi.org/10.1007/11576235</a><br/>Format: Electronic Resources<br/>Quality of Software Architectures and Software Quality First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5104192024-09-24T12:13:26Z2024-09-24T12:13:26Zby Reussner, Ralf. editor.<br/><a href="http://dx.doi.org/10.1007/11558569">http://dx.doi.org/10.1007/11558569</a><br/>Format: Electronic Resources<br/>Constituents of Modern System-safety Thinking Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8–10 February 2005ent://SD_ILS/0/SD_ILS:5083852024-09-24T12:13:26Z2024-09-24T12:13:26Zby Redmill, Felix. editor.<br/><a href="http://dx.doi.org/10.1007/b139109">http://dx.doi.org/10.1007/b139109</a><br/>Format: Electronic Resources<br/>Requirements Engineeringent://SD_ILS/0/SD_ILS:5083372024-09-24T12:13:26Z2024-09-24T12:13:26Zby Hull, Elizabeth. author.<br/><a href="http://dx.doi.org/10.1007/b138335">http://dx.doi.org/10.1007/b138335</a><br/>Format: Electronic Resources<br/>Embedded Software and Systems Second International Conference, ICESS 2005, Xi’an, China, December 16-18, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5105712024-09-24T12:13:26Z2024-09-24T12:13:26Zby Yang, Laurence T. editor.<br/><a href="http://dx.doi.org/10.1007/11599555">http://dx.doi.org/10.1007/11599555</a><br/>Format: Electronic Resources<br/>NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5103822024-09-24T12:13:26Z2024-09-24T12:13:26Zby Boutaba, Raouf. editor.<br/><a href="http://dx.doi.org/10.1007/b136094">http://dx.doi.org/10.1007/b136094</a><br/>Format: Electronic Resources<br/>Dependable Computing - EDCC 5 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5103842024-09-24T12:13:26Z2024-09-24T12:13:26Zby Cin, Mario. editor.<br/><a href="http://dx.doi.org/10.1007/b107276">http://dx.doi.org/10.1007/b107276</a><br/>Format: Electronic Resources<br/>Event-Triggered and Time-Triggered Control Paradigmsent://SD_ILS/0/SD_ILS:5040902024-09-24T12:13:26Z2024-09-24T12:13:26Zby Obermaisser, Roman. author.<br/><a href="http://dx.doi.org/10.1007/978-0-387-23044-3">http://dx.doi.org/10.1007/978-0-387-23044-3</a><br/>Format: Electronic Resources<br/>Functional Verification of Programmable Embedded Architectures A Top-Down Approachent://SD_ILS/0/SD_ILS:5045342024-09-24T12:13:26Z2024-09-24T12:13:26Zby Mishra, Prabhat. author.<br/><a href="http://dx.doi.org/10.1007/b137514">http://dx.doi.org/10.1007/b137514</a><br/>Format: Electronic Resources<br/>Parallel and Distributed Processing and Applications - ISPA 2005 Workshops ISPA 2005 International Workshops, AEPP, ASTD, BIOS, GCIC, IADS, MASN, SGCA, and WISA, Nanjing, China, November 2-5, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5104732024-09-24T12:13:26Z2024-09-24T12:13:26Zby Chen, Guihai. editor.<br/><a href="http://dx.doi.org/10.1007/11576259">http://dx.doi.org/10.1007/11576259</a><br/>Format: Electronic Resources<br/>Software Process Modelingent://SD_ILS/0/SD_ILS:5042922024-09-24T12:13:26Z2024-09-24T12:13:26Zby Acuña, Silvia T. editor.<br/><a href="http://dx.doi.org/10.1007/b104986">http://dx.doi.org/10.1007/b104986</a><br/>Format: Electronic Resources<br/>A Software Process Model Handbook for Incorporating People’s Capabilitiesent://SD_ILS/0/SD_ILS:5044032024-09-24T12:13:26Z2024-09-24T12:13:26Zby Acuña, Silvia Teresita. author.<br/><a href="http://dx.doi.org/10.1007/b106969">http://dx.doi.org/10.1007/b106969</a><br/>Format: Electronic Resources<br/>