Search Results for - Narrowed by: Springer Collection - System Performance and Evaluation.SirsiDynix Enterprisehttps://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AONLINESPR$002509Springer$002bCollection$0026qf$003dSUBJECT$002509Subject$002509System$002bPerformance$002band$002bEvaluation.$002509System$002bPerformance$002band$002bEvaluation.$0026ps$003d300$0026isd$003dtrue?2024-06-20T23:52:09ZRuntime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20850742024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Graph Data Management Fundamental Issues and Recent Developmentsent://SD_ILS/0/SD_ILS:20842722024-06-20T23:52:09Z2024-06-20T23:52:09Zby Fletcher, George. editor.<br/><a href="https://doi.org/10.1007/978-3-319-96193-4">https://doi.org/10.1007/978-3-319-96193-4</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Advanced Information Systems Engineering 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20851102024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Wireless Internet 10th International Conference, WiCON 2017, Tianjin, China, December 16-17, 2017, Proceedingsent://SD_ILS/0/SD_ILS:20841272024-06-20T23:52:09Z2024-06-20T23:52:09Zby Li, Cheng. editor.<br/><a href="https://doi.org/10.1007/978-3-319-90802-1">https://doi.org/10.1007/978-3-319-90802-1</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Computer and Network Security Essentialsent://SD_ILS/0/SD_ILS:20882952024-06-20T23:52:09Z2024-06-20T23:52:09Zby Daimi, Kevin. editor.<br/><a href="https://doi.org/10.1007/978-3-319-58424-9">https://doi.org/10.1007/978-3-319-58424-9</a><br/>Format: Electronic Resources<br/>Big Data 6th CCF Conference, Big Data 2018, Xi'an, China, October 11-13, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20840502024-06-20T23:52:09Z2024-06-20T23:52:09Zby Xu, Zongben. editor.<br/><a href="https://doi.org/10.1007/978-981-13-2922-7">https://doi.org/10.1007/978-981-13-2922-7</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:20844802024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Wireless and Satellite Systems 9th International Conference, WiSATS 2017, Oxford, UK, September 14-15, 2017, Proceedingsent://SD_ILS/0/SD_ILS:20841162024-06-20T23:52:09Z2024-06-20T23:52:09Zby Pillai, Prashant. editor.<br/><a href="https://doi.org/10.1007/978-3-319-76571-6">https://doi.org/10.1007/978-3-319-76571-6</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Wireless Internet 9th International Conference, WICON 2016, Haikou, China, December 19-20, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20847962024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20854492024-06-20T23:52:09Z2024-06-20T23:52:09Zby Capilla, Rafael. editor. (orcid)0000-0002-6943-1285<br/><a href="https://doi.org/10.1007/978-3-319-90421-4">https://doi.org/10.1007/978-3-319-90421-4</a><br/>Format: Electronic Resources<br/>On the Move to Meaningful Internet Systems. OTM 2018 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:20851542024-06-20T23:52:09Z2024-06-20T23:52:09Zby Panetto, Hervé. editor.<br/><a href="https://doi.org/10.1007/978-3-030-02610-3">https://doi.org/10.1007/978-3-030-02610-3</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20852762024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Computer Performance Engineering 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20854002024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Software Architecture 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24–28, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20853242024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Social Computing and Social Media. User Experience and Behavior 10th International Conference, SCSM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:20861802024-06-20T23:52:09Z2024-06-20T23:52:09Zby Meiselwitz, Gabriele. editor.<br/><a href="https://doi.org/10.1007/978-3-319-91521-0">https://doi.org/10.1007/978-3-319-91521-0</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Mobile Internet Security First International Symposium, MobiSec 2016, Taichung, Taiwan, July 14-15, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:20845202024-06-20T23:52:09Z2024-06-20T23:52:09Zby You, Ilsun. editor.<br/><a href="https://doi.org/10.1007/978-981-10-7850-7">https://doi.org/10.1007/978-981-10-7850-7</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:20848072024-06-20T23:52:09Z2024-06-20T23:52:09Zby Li, Bo. editor.<br/><a href="https://doi.org/10.1007/978-3-319-78130-3">https://doi.org/10.1007/978-3-319-78130-3</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20859332024-06-20T23:52:09Z2024-06-20T23:52:09Zby Yokota, Rio. editor. (orcid)0000-0001-7573-7873<br/><a href="https://doi.org/10.1007/978-3-319-92040-5">https://doi.org/10.1007/978-3-319-92040-5</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>5G for Future Wireless Networks First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedingsent://SD_ILS/0/SD_ILS:20844982024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Greening Video Distribution Networks Energy-Efficient Internet Video Deliveryent://SD_ILS/0/SD_ILS:20841142024-06-20T23:52:09Z2024-06-20T23:52:09Zby Popescu, Adrian. editor.<br/><a href="https://doi.org/10.1007/978-3-319-71718-0">https://doi.org/10.1007/978-3-319-71718-0</a><br/>Format: Electronic Resources<br/>Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programmingent://SD_ILS/0/SD_ILS:20845222024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Big Data Analytics 6th International Conference, BDA 2018, Warangal, India, December 18–21, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20855442024-06-20T23:52:09Z2024-06-20T23:52:09Zby Mondal, Anirban. editor.<br/><a href="https://doi.org/10.1007/978-3-030-04780-1">https://doi.org/10.1007/978-3-030-04780-1</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Virtual Reality and Augmented Reality 15th EuroVR International Conference, EuroVR 2018, London, UK, October 22–23, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20854912024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Principles of Security and Trust 7th International Conference, POST 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:20855882024-06-20T23:52:09Z2024-06-20T23:52:09Zby Bauer, Lujo. editor.<br/><a href="https://doi.org/10.1007/978-3-319-89722-6">https://doi.org/10.1007/978-3-319-89722-6</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Advances in Databases and Information Systems 22nd European Conference, ADBIS 2018, Budapest, Hungary, September 2–5, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20853262024-06-20T23:52:09Z2024-06-20T23:52:09Zby Benczúr, András. editor. (orcid)0000-0002-8678-3346<br/><a href="https://doi.org/10.1007/978-3-319-98398-1">https://doi.org/10.1007/978-3-319-98398-1</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Wired/Wireless Internet Communications 16th IFIP WG 6.2 International Conference, WWIC 2018, Boston, MA, USA, June 18–20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20855042024-06-20T23:52:09Z2024-06-20T23:52:09Zby Chowdhury, Kaushik Roy. editor.<br/><a href="https://doi.org/10.1007/978-3-030-02931-9">https://doi.org/10.1007/978-3-030-02931-9</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Communications and Networking 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:20848502024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lecturesent://SD_ILS/0/SD_ILS:20855312024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Big Data Analytics and Knowledge Discovery 20th International Conference, DaWaK 2018, Regensburg, Germany, September 3–6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20851372024-06-20T23:52:09Z2024-06-20T23:52:09Zby Ordonez, Carlos. editor.<br/><a href="https://doi.org/10.1007/978-3-319-98539-8">https://doi.org/10.1007/978-3-319-98539-8</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Image and Video Technology 8th Pacific-Rim Symposium, PSIVT 2017, Wuhan, China, November 20-24, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20856312024-06-20T23:52:09Z2024-06-20T23:52:09Zby Paul, Manoranjan. editor.<br/><a href="https://doi.org/10.1007/978-3-319-75786-5">https://doi.org/10.1007/978-3-319-75786-5</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Verification 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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Computer Networks 25th International Conference, CN 2018, Gliwice, Poland, June 19-22, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20846512024-06-20T23:52:09Z2024-06-20T23:52:09Zby Gaj, Piotr. editor. (orcid)0000-0002-2291-7341<br/><a href="https://doi.org/10.1007/978-3-319-92459-5">https://doi.org/10.1007/978-3-319-92459-5</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20856832024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Web and Wireless Geographical Information Systems 16th International Symposium, W2GIS 2018, A Coruña, Spain, May 21–22, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20856842024-06-20T23:52:09Z2024-06-20T23:52:09Zby R. Luaces, Miguel. editor.<br/><a href="https://doi.org/10.1007/978-3-319-90053-7">https://doi.org/10.1007/978-3-319-90053-7</a><br/>Format: Electronic Resources<br/>Internet of Things, Smart Spaces, and Next Generation Networks and Systems 18th International Conference, NEW2AN 2018, and 11th Conference, ruSMART 2018, St. Petersburg, Russia, August 27–29, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20853702024-06-20T23:52:09Z2024-06-20T23:52:09Zby Galinina, Olga. editor. (orcid)0000-0002-5386-1061<br/><a href="https://doi.org/10.1007/978-3-030-01168-0">https://doi.org/10.1007/978-3-030-01168-0</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Distributed Computing and Internet Technology 14th International Conference, ICDCIT 2018, Bhubaneswar, India, January 11–13, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20855762024-06-20T23:52:09Z2024-06-20T23:52:09Zby Negi, Atul. editor. (orcid)0000-0001-5707-130X<br/><a href="https://doi.org/10.1007/978-3-319-72344-0">https://doi.org/10.1007/978-3-319-72344-0</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20852722024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Lectures on Runtime Verification Introductory and Advanced Topicsent://SD_ILS/0/SD_ILS:20856202024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Advanced Maintenance Policies for Shock and Damage Modelsent://SD_ILS/0/SD_ILS:20863122024-06-20T23:52:09Z2024-06-20T23:52:09Zby Zhao, Xufeng. author.<br/><a href="https://doi.org/10.1007/978-3-319-70456-2">https://doi.org/10.1007/978-3-319-70456-2</a><br/>Format: Electronic Resources<br/>Performance Evaluation and Benchmarking for the Analytics Era 9th TPC Technology Conference, TPCTC 2017, Munich, Germany, August 28, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20860182024-06-20T23:52:09Z2024-06-20T23:52:09Zby Nambiar, Raghunath. editor.<br/><a href="https://doi.org/10.1007/978-3-319-72401-0">https://doi.org/10.1007/978-3-319-72401-0</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Critical Information Infrastructures Security 10th International Conference, CRITIS 2015, Berlin, Germany, October 5-7, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:20850972024-06-20T23:52:09Z2024-06-20T23:52:09Zby Rome, Erich. editor.<br/><a href="https://doi.org/10.1007/978-3-319-33331-1">https://doi.org/10.1007/978-3-319-33331-1</a><br/>Format: Electronic Resources<br/>Guide to Software Development Designing and Managing the Life Cycleent://SD_ILS/0/SD_ILS:20847702024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Passive and Active Measurement 17th International Conference, PAM 2016, Heraklion, Greece, March 31 - April 1, 2016. Proceedingsent://SD_ILS/0/SD_ILS:20857452024-06-20T23:52:09Z2024-06-20T23:52:09Zby Karagiannis, Thomas. editor.<br/><a href="https://doi.org/10.1007/978-3-319-30505-9">https://doi.org/10.1007/978-3-319-30505-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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Wireless Algorithms, Systems, and Applications 11th International Conference, WASA 2016, Bozeman, MT, USA, August 8-10, 2016. Proceedingsent://SD_ILS/0/SD_ILS:20858402024-06-20T23:52:09Z2024-06-20T23:52:09Zby Yang, Qing. editor.<br/><a href="https://doi.org/10.1007/978-3-319-42836-9">https://doi.org/10.1007/978-3-319-42836-9</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>High Performance Computing ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19–23, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:20860092024-06-20T23:52:09Z2024-06-20T23:52:09Zby Taufer, Michela. editor.<br/><a href="https://doi.org/10.1007/978-3-319-46079-6">https://doi.org/10.1007/978-3-319-46079-6</a><br/>Format: Electronic Resources<br/>Cybernetics From Past to Futureent://SD_ILS/0/SD_ILS:20865072024-06-20T23:52:09Z2024-06-20T23:52:09Zby Novikov, D.A. author.<br/><a href="https://doi.org/10.1007/978-3-319-27397-6">https://doi.org/10.1007/978-3-319-27397-6</a><br/>Format: Electronic Resources<br/>Distributed Computer and Communication Networks 19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:20849252024-06-20T23:52:09Z2024-06-20T23:52:09Zby Vishnevskiy, Vladimir M. editor.<br/><a href="https://doi.org/10.1007/978-3-319-51917-3">https://doi.org/10.1007/978-3-319-51917-3</a><br/>Format: Electronic Resources<br/>Performance Evaluation and Benchmarking: Traditional to Big Data to Internet of Things 7th TPC Technology Conference, TPCTC 2015, Kohala Coast, HI, USA, August 31 – September 4, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:20859672024-06-20T23:52:09Z2024-06-20T23:52:09Zby Nambiar, Raghunath. editor.<br/><a href="https://doi.org/10.1007/978-3-319-31409-9">https://doi.org/10.1007/978-3-319-31409-9</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Healthcare Interoperability Standards Compliance Handbook Conformance and Testing of Healthcare Data Exchange Standardsent://SD_ILS/0/SD_ILS:20840982024-06-20T23:52:09Z2024-06-20T23:52:09Zby Oemig, Frank. author.<br/><a href="https://doi.org/10.1007/978-3-319-44839-8">https://doi.org/10.1007/978-3-319-44839-8</a><br/>Format: Electronic Resources<br/>Content Distribution for Mobile Internet: A Cloud-based Approachent://SD_ILS/0/SD_ILS:20845972024-06-20T23:52:09Z2024-06-20T23:52:09Zby Li, Zhenhua. author.<br/><a href="https://doi.org/10.1007/978-981-10-1463-5">https://doi.org/10.1007/978-981-10-1463-5</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Critical Information Infrastructures Security 9th International Conference, CRITIS 2014, Limassol, Cyprus, October 13-15, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:20852152024-06-20T23:52:09Z2024-06-20T23:52:09Zby Panayiotou, Christos G. editor.<br/><a href="https://doi.org/10.1007/978-3-319-31664-2">https://doi.org/10.1007/978-3-319-31664-2</a><br/>Format: Electronic Resources<br/>High Performance Computing 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20861392024-06-20T23:52:09Z2024-06-20T23:52:09Zby Kunkel, Julian M. editor.<br/><a href="https://doi.org/10.1007/978-3-319-41321-1">https://doi.org/10.1007/978-3-319-41321-1</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Advanced Computer Architecture 11th Conference, ACA 2016, Weihai, China, August 22-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20845962024-06-20T23:52:09Z2024-06-20T23:52:09Zby Wu, Junjie. editor.<br/><a href="https://doi.org/10.1007/978-981-10-2209-8">https://doi.org/10.1007/978-981-10-2209-8</a><br/>Format: Electronic Resources<br/>Machine Learning, Optimization, and Big Data Second International Workshop, MOD 2016, Volterra, Italy, August 26-29, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:20854462024-06-20T23:52:09Z2024-06-20T23:52:09Zby Pardalos, Panos M. editor.<br/><a href="https://doi.org/10.1007/978-3-319-51469-7">https://doi.org/10.1007/978-3-319-51469-7</a><br/>Format: Electronic Resources<br/>Diagnosis and Fault-Tolerant Controlent://SD_ILS/0/SD_ILS:20879032024-06-20T23:52:09Z2024-06-20T23:52:09Zby Blanke, Mogens. author.<br/><a href="https://doi.org/10.1007/978-3-662-47943-8">https://doi.org/10.1007/978-3-662-47943-8</a><br/>Format: Electronic Resources<br/>Internet of Things, Smart Spaces, and Next Generation Networks and Systems 16th International Conference, NEW2AN 2016, and 9th Conference, ruSMART 2016, St. Petersburg, Russia, September 26-28, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20856052024-06-20T23:52:09Z2024-06-20T23:52:09Zby Galinina, Olga. editor.<br/><a href="https://doi.org/10.1007/978-3-319-46301-8">https://doi.org/10.1007/978-3-319-46301-8</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Distributed Computer and Communication Networks 18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:20848542024-06-20T23:52:09Z2024-06-20T23:52:09Zby Vishnevsky, Vladimir. editor.<br/><a href="https://doi.org/10.1007/978-3-319-30843-2">https://doi.org/10.1007/978-3-319-30843-2</a><br/>Format: Electronic Resources<br/>Internetware A New Software Paradigm for Internet Computingent://SD_ILS/0/SD_ILS:20849482024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Cloud Computing 6th International Conference, CloudComp 2015, Daejeon, South Korea, October 28-29, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:20849662024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Information Technologies and Mathematical Modelling - Queueing Theory and Applications 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016. Proceedingsent://SD_ILS/0/SD_ILS:20849872024-06-20T23:52:09Z2024-06-20T23:52:09Zby Dudin, Alexander. editor.<br/><a href="https://doi.org/10.1007/978-3-319-44615-8">https://doi.org/10.1007/978-3-319-44615-8</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Support Vector Machines and Perceptrons Learning, Optimization, Classification, and Application to Social Networksent://SD_ILS/0/SD_ILS:20846012024-06-20T23:52:09Z2024-06-20T23:52:09Zby Murty, M.N. author.<br/><a href="https://doi.org/10.1007/978-3-319-41063-0">https://doi.org/10.1007/978-3-319-41063-0</a><br/>Format: Electronic Resources<br/>Computer Networks 23rd International Conference, CN 2016, Brunów, Poland, June 14-17, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20848152024-06-20T23:52:09Z2024-06-20T23:52:09Zby Gaj, Piotr. editor.<br/><a href="https://doi.org/10.1007/978-3-319-39207-3">https://doi.org/10.1007/978-3-319-39207-3</a><br/>Format: Electronic Resources<br/>Advances in Data Mining. Applications and Theoretical Aspects 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedingsent://SD_ILS/0/SD_ILS:20857022024-06-20T23:52:09Z2024-06-20T23:52:09Zby Perner, Petra. editor.<br/><a href="https://doi.org/10.1007/978-3-319-41561-1">https://doi.org/10.1007/978-3-319-41561-1</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857142024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Isochronous Wireless Network for Real-time Communication in Industrial Automationent://SD_ILS/0/SD_ILS:20876492024-06-20T23:52:09Z2024-06-20T23:52:09Zby Trsek, Henning. author.<br/><a href="https://doi.org/10.1007/978-3-662-49158-4">https://doi.org/10.1007/978-3-662-49158-4</a><br/>Format: Electronic Resources<br/>Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20859262024-06-20T23:52:09Z2024-06-20T23:52:09Zby Agha, Gul. editor.<br/><a href="https://doi.org/10.1007/978-3-319-43425-4">https://doi.org/10.1007/978-3-319-43425-4</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Network and Parallel Computing IFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037402024-06-20T23:52:09Z2024-06-20T23:52:09Zby Cao, Jian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-88140-7">http://dx.doi.org/10.1007/978-3-540-88140-7</a><br/>Format: Electronic Resources<br/>Reconfigurable Computing: Architectures, Tools and Applications 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5033992024-06-20T23:52:09Z2024-06-20T23:52:09Zby Woods, Roger. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78610-8">http://dx.doi.org/10.1007/978-3-540-78610-8</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Passive and Active Network Measurement 9th International Conference, PAM 2008, Cleveland, OH, USA, April 29-30, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5034972024-06-20T23:52:09Z2024-06-20T23:52:09Zby Claypool, Mark. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-79232-1">http://dx.doi.org/10.1007/978-3-540-79232-1</a><br/>Format: Electronic Resources<br/>Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks Second International Conference, IPTComm 2008, Heidelberg, Germany, July 1-2, 2008. Revised Selected Papersent://SD_ILS/0/SD_ILS:5037912024-06-20T23:52:09Z2024-06-20T23:52:09Zby Schulzrinne, Henning. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-89054-6">http://dx.doi.org/10.1007/978-3-540-89054-6</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Stochastic Network Calculusent://SD_ILS/0/SD_ILS:5024962024-06-20T23:52:09Z2024-06-20T23:52:09Zby Liu, Yong. author.<br/><a href="http://dx.doi.org/10.1007/978-1-84800-127-5">http://dx.doi.org/10.1007/978-1-84800-127-5</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Model-based Fault Diagnosis Techniques Design Schemes, Algorithms, and Toolsent://SD_ILS/0/SD_ILS:5031612024-06-20T23:52:09Z2024-06-20T23:52:09Zby Ding, Steven X. author.<br/><a href="http://dx.doi.org/10.1007/978-3-540-76304-8">http://dx.doi.org/10.1007/978-3-540-76304-8</a><br/>Format: Electronic Resources<br/>Challenges for Next Generation Network Operations and Service Management 11th Asia-Pacific Network Operations and Management Symposium, APNOMS 2008, Beijing, China, October 22-24, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037662024-06-20T23:52:09Z2024-06-20T23:52:09Zby Ma, Yan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-88623-5">http://dx.doi.org/10.1007/978-3-540-88623-5</a><br/>Format: Electronic Resources<br/>Embedded Computer Systems: Architectures, Modeling, and Simulation 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5028062024-06-20T23:52:09Z2024-06-20T23:52:09Zby Bereković, Mladen. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-70550-5">http://dx.doi.org/10.1007/978-3-540-70550-5</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Wireless Algorithms, Systems, and Applications Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037642024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>The Common Component Modeling Example Comparing Software Component Modelsent://SD_ILS/0/SD_ILS:5036172024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papersent://SD_ILS/0/SD_ILS:5037992024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Distributed Embedded Systems: Design, Middleware and Resourcesent://SD_ILS/0/SD_ILS:5015382024-06-20T23:52:09Z2024-06-20T23:52:09Zby Kleinjohann, Bernd. editor.<br/><a href="http://dx.doi.org/10.1007/978-0-387-09661-2">http://dx.doi.org/10.1007/978-0-387-09661-2</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Resilient Networks and Services Second International Conference on Autonomous Infrastructure, Management and Security, AIMS 2008 Bremen, Germany, July 1-3, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5028182024-06-20T23:52:09Z2024-06-20T23:52:09Zby Hausheer, David. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-70587-1">http://dx.doi.org/10.1007/978-3-540-70587-1</a><br/>Format: Electronic Resources<br/>Lean Business Systems and Beyondent://SD_ILS/0/SD_ILS:5019062024-06-20T23:52:09Z2024-06-20T23:52:09Zby Koch, Tomasz. editor.<br/><a href="http://dx.doi.org/10.1007/978-0-387-77249-3">http://dx.doi.org/10.1007/978-0-387-77249-3</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Stochastic Discrete Event Systems Modeling, Evaluation, Applicationsent://SD_ILS/0/SD_ILS:5029962024-06-20T23:52:09Z2024-06-20T23:52:09Zby Zimmermann, Armin. author.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74173-2">http://dx.doi.org/10.1007/978-3-540-74173-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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Implementation and Application of Functional Languages 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papersent://SD_ILS/0/SD_ILS:5036222024-06-20T23:52:09Z2024-06-20T23:52:09Zby Chitil, Olaf. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85373-2">http://dx.doi.org/10.1007/978-3-540-85373-2</a><br/>Format: Electronic Resources<br/>IP Operations and Management 8th IEEE International Workshop, IPOM 2008, Samos Island, Greece, September 22-26, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5036802024-06-20T23:52:09Z2024-06-20T23:52:09Zby Akar, Nail. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87357-0">http://dx.doi.org/10.1007/978-3-540-87357-0</a><br/>Format: Electronic Resources<br/>Management of Converged Multimedia Networks and Services 11th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2008, Samos Island, Greece, September 22-26, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5036812024-06-20T23:52:09Z2024-06-20T23:52:09Zby Pavlou, George. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87359-4">http://dx.doi.org/10.1007/978-3-540-87359-4</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>The Testing Network An Integral Approach to Test Activities in Large Software Projectsent://SD_ILS/0/SD_ILS:5033842024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Level Crossing Methods in Stochastic Modelsent://SD_ILS/0/SD_ILS:5015172024-06-20T23:52:09Z2024-06-20T23:52:09Zby Brill, Percy H. author.<br/><a href="http://dx.doi.org/10.1007/978-0-387-09421-2">http://dx.doi.org/10.1007/978-0-387-09421-2</a><br/>Format: Electronic Resources<br/>Improvements in System Safetyent://SD_ILS/0/SD_ILS:5024882024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Network Performance Analysis Using the J Programming Languageent://SD_ILS/0/SD_ILS:5024242024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Guide to Advanced Empirical Software Engineeringent://SD_ILS/0/SD_ILS:5024682024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Networks and Grids Technology and Theoryent://SD_ILS/0/SD_ILS:5057882024-06-20T23:52:09Z2024-06-20T23:52:09Zby Robertazzi, Thomas G. author.<br/><a href="http://dx.doi.org/10.1007/978-0-387-68235-8">http://dx.doi.org/10.1007/978-0-387-68235-8</a><br/>Format: Electronic Resources<br/>A Graph-Theoretic Approach to Enterprise Network Dynamicsent://SD_ILS/0/SD_ILS:5061392024-06-20T23:52:09Z2024-06-20T23:52:09Zby Bunke, Horst. author.<br/><a href="http://dx.doi.org/10.1007/978-0-8176-4519-9">http://dx.doi.org/10.1007/978-0-8176-4519-9</a><br/>Format: Electronic Resources<br/>Reconfigurable Computing: Architectures, Tools and Applications Third International Workshop, ARC 2007, Mangaratiba, Brazil, March 27-29, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5123402024-06-20T23:52:09Z2024-06-20T23:52:09Zby Diniz, Pedro C. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71431-6">http://dx.doi.org/10.1007/978-3-540-71431-6</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Embedded Software and Systems Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5125132024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Test and Analysis of Web Servicesent://SD_ILS/0/SD_ILS:5125592024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Inter-Domain Management First International Conference on Autonomous Infrastructure, Management and Security, AIMS 2007, Oslo, Norway, June 21-22, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5125722024-06-20T23:52:09Z2024-06-20T23:52:09Zby Bandara, Arosha K. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72986-0">http://dx.doi.org/10.1007/978-3-540-72986-0</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5127872024-06-20T23:52:09Z2024-06-20T23:52:09Zby Azémard, Nadine. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74442-9">http://dx.doi.org/10.1007/978-3-540-74442-9</a><br/>Format: Electronic Resources<br/>Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5127052024-06-20T23:52:09Z2024-06-20T23:52:09Zby Vassiliadis, Stamatis. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73625-7">http://dx.doi.org/10.1007/978-3-540-73625-7</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Dependable Computing Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5128992024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Guerrilla Capacity Planning A Tactical Approach to Planning for Highly Scalable Applications and Servicesent://SD_ILS/0/SD_ILS:5098402024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Forecasting Oracle Performanceent://SD_ILS/0/SD_ILS:5079042024-06-20T23:52:09Z2024-06-20T23:52:09Zby Shallahamer, Craig. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0208-0">http://dx.doi.org/10.1007/978-1-4302-0208-0</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Advanced Memory Optimization Techniques for Low-Power Embedded Processorsent://SD_ILS/0/SD_ILS:5074522024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papersent://SD_ILS/0/SD_ILS:5127202024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Passive and Active Network Measurement 8th Internatinoal Conference, PAM 2007, Louvain-la-neuve, Belgium, April 5-6, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5123732024-06-20T23:52:09Z2024-06-20T23:52:09Zby Uhlig, Steve. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71617-4">http://dx.doi.org/10.1007/978-3-540-71617-4</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Software Configuration Management Using Vestaent://SD_ILS/0/SD_ILS:5050312024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Security Management, Integrity, and Internal Control in Information Systems IFIP TC-11 WG 11.1 & WG 11.5 Joint Working Conferenceent://SD_ILS/0/SD_ILS:5050612024-06-20T23:52:09Z2024-06-20T23:52:09Zby Dowland, Paul. editor.<br/><a href="http://dx.doi.org/10.1007/0-387-31167-X">http://dx.doi.org/10.1007/0-387-31167-X</a><br/>Format: Electronic Resources<br/>Telecommunications Planning: Innovations in Pricing, Network Design and Managementent://SD_ILS/0/SD_ILS:5048872024-06-20T23:52:09Z2024-06-20T23:52:09Zby Raghavan, S. editor.<br/><a href="http://dx.doi.org/10.1007/0-387-29234-9">http://dx.doi.org/10.1007/0-387-29234-9</a><br/>Format: Electronic Resources<br/>From Model-Driven Design to Resource Management for Distributed Embedded Systems IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), October 11–13, 2006, Braga, Portugalent://SD_ILS/0/SD_ILS:5055412024-06-20T23:52:09Z2024-06-20T23:52:09Zby Kleinjohann, Bernd. editor.<br/><a href="http://dx.doi.org/10.1007/978-0-387-39362-9">http://dx.doi.org/10.1007/978-0-387-39362-9</a><br/>Format: Electronic Resources<br/>High Availability and Disaster Recovery Concepts, Design, Implementationent://SD_ILS/0/SD_ILS:5111672024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Advances in Grid and Pervasive Computing First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5109982024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Web Services and Formal Methods Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedingsent://SD_ILS/0/SD_ILS:5116162024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Reconfigurable Computing: Architectures and Applications Second International Workshop, ARC 2006, Delft, The Netherlands, March 1-3, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:5114382024-06-20T23:52:09Z2024-06-20T23:52:09Zby Bertels, Koen. editor.<br/><a href="http://dx.doi.org/10.1007/11802839">http://dx.doi.org/10.1007/11802839</a><br/>Format: Electronic Resources<br/>Pro Nagios 2.0ent://SD_ILS/0/SD_ILS:5078532024-06-20T23:52:09Z2024-06-20T23:52:09Zby Turnbull, James. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0153-3">http://dx.doi.org/10.1007/978-1-4302-0153-3</a><br/>Format: Electronic Resources<br/>Hardening Windowsent://SD_ILS/0/SD_ILS:5077832024-06-20T23:52:09Z2024-06-20T23:52:09Zby Hassell, Jonathan. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0083-3">http://dx.doi.org/10.1007/978-1-4302-0083-3</a><br/>Format: Electronic Resources<br/>Running IPv6ent://SD_ILS/0/SD_ILS:5077902024-06-20T23:52:09Z2024-06-20T23:52:09Zby Beijnum, Iljitsch. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0090-1">http://dx.doi.org/10.1007/978-1-4302-0090-1</a><br/>Format: Electronic Resources<br/>Pro Oracle Database 10g RAC on Linux Installation, Administration, and Performanceent://SD_ILS/0/SD_ILS:5079082024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Cost-Based Oracle Fundamentalsent://SD_ILS/0/SD_ILS:5077872024-06-20T23:52:09Z2024-06-20T23:52:09Zby Lewis, Jonathan. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0087-1">http://dx.doi.org/10.1007/978-1-4302-0087-1</a><br/>Format: Electronic Resources<br/>Integrated Circuit Test Engineering Modern Techniquesent://SD_ILS/0/SD_ILS:5084212024-06-20T23:52:09Z2024-06-20T23:52:09Zby Grout, Ian A. author.<br/><a href="http://dx.doi.org/10.1007/1-84628-173-3">http://dx.doi.org/10.1007/1-84628-173-3</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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 Engineeringent://SD_ILS/0/SD_ILS:5093902024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Embedded Systems – Modeling, Technology, and Applicationsent://SD_ILS/0/SD_ILS:5070672024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Windows Server 2003 Networking Recipesent://SD_ILS/0/SD_ILS:5078852024-06-20T23:52:09Z2024-06-20T23:52:09Zby Allen, Robbie. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0185-4">http://dx.doi.org/10.1007/978-1-4302-0185-4</a><br/>Format: Electronic Resources<br/>Diagnosis and Fault-Tolerant Controlent://SD_ILS/0/SD_ILS:5113062024-06-20T23:52:09Z2024-06-20T23:52:09Zby Blanke, Mogens. author.<br/><a href="http://dx.doi.org/10.1007/978-3-540-35653-0">http://dx.doi.org/10.1007/978-3-540-35653-0</a><br/>Format: Electronic Resources<br/>Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5113782024-06-20T23:52:09Z2024-06-20T23:52:09Zby Vassiliadis, Stamatis. editor.<br/><a href="http://dx.doi.org/10.1007/11796435">http://dx.doi.org/10.1007/11796435</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Wireless Algorithms, Systems, and Applications First International Conference, WASA 2006, Xi’an, China, August 15-17, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5114622024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Dependable Systems: Software, Computing, Networks Research Results of the DICS Programent://SD_ILS/0/SD_ILS:5114252024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Performance Analysis of Network Architecturesent://SD_ILS/0/SD_ILS:5110932024-06-20T23:52:09Z2024-06-20T23:52:09Zby Tutsch, Dietmar. author.<br/><a href="http://dx.doi.org/10.1007/3-540-34310-5">http://dx.doi.org/10.1007/3-540-34310-5</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5116302024-06-20T23:52:09Z2024-06-20T23:52:09Zby Vounckx, Johan. editor.<br/><a href="http://dx.doi.org/10.1007/11847083">http://dx.doi.org/10.1007/11847083</a><br/>Format: Electronic Resources<br/>Performance Evaluation and Planning Methods for the Next Generation Internetent://SD_ILS/0/SD_ILS:5044082024-06-20T23:52:09Z2024-06-20T23:52:09Zby Girard, André. editor.<br/><a href="http://dx.doi.org/10.1007/b135550">http://dx.doi.org/10.1007/b135550</a><br/>Format: Electronic Resources<br/>Event-Triggered and Time-Triggered Control Paradigmsent://SD_ILS/0/SD_ILS:5040902024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>A Software Process Model Handbook for Incorporating People’s Capabilitiesent://SD_ILS/0/SD_ILS:5044032024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Quantitative Measure for Discrete Event Supervisory Controlent://SD_ILS/0/SD_ILS:5042412024-06-20T23:52:09Z2024-06-20T23:52:09Zby Ray, Asok. editor.<br/><a href="http://dx.doi.org/10.1007/b103444">http://dx.doi.org/10.1007/b103444</a><br/>Format: Electronic Resources<br/>Software Process Modelingent://SD_ILS/0/SD_ILS:5042922024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Functional Verification of Programmable Embedded Architectures A Top-Down Approachent://SD_ILS/0/SD_ILS:5045342024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Hardening Linuxent://SD_ILS/0/SD_ILS:5077052024-06-20T23:52:09Z2024-06-20T23:52:09Zby Turnbull, James. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0005-5">http://dx.doi.org/10.1007/978-1-4302-0005-5</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5104522024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Embedded Software and Systems Second International Conference, ICESS 2005, Xi’an, China, December 16-18, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5105712024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Dependable Computing - EDCC 5 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5103842024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Analyzing Computer System Performance with Perl::PDQent://SD_ILS/0/SD_ILS:5090142024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>An Introduction to Queueing Theory and Matrix-Analytic Methodsent://SD_ILS/0/SD_ILS:5065452024-06-20T23:52:09Z2024-06-20T23:52:09Zby Breuer, L. author.<br/><a href="http://dx.doi.org/10.1007/1-4020-3631-0">http://dx.doi.org/10.1007/1-4020-3631-0</a><br/>Format: Electronic Resources<br/>Advances in Natural Multimodal Dialogue Systemsent://SD_ILS/0/SD_ILS:5066802024-06-20T23:52:09Z2024-06-20T23:52:09Zby Kuppevelt, Jan C. J. editor.<br/><a href="http://dx.doi.org/10.1007/1-4020-3933-6">http://dx.doi.org/10.1007/1-4020-3933-6</a><br/>Format: Electronic Resources<br/>Requirements Engineeringent://SD_ILS/0/SD_ILS:5083372024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Expert Oracleent://SD_ILS/0/SD_ILS:5077192024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Control Reconfiguration of Dynamical Systemsent://SD_ILS/0/SD_ILS:5100642024-06-20T23:52:09Z2024-06-20T23:52:09Zby Steffen, Thomas. author.<br/><a href="http://dx.doi.org/10.1007/b107072">http://dx.doi.org/10.1007/b107072</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Passive and Active Network Measurement 6th International Workshop, PAM 2005, Boston, MA, USA, March 31 - April 1, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5103372024-06-20T23:52:09Z2024-06-20T23:52:09Zby Dovrolis, Constantinos. editor.<br/><a href="http://dx.doi.org/10.1007/b135479">http://dx.doi.org/10.1007/b135479</a><br/>Format: Electronic Resources<br/>Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5101172024-06-20T23:52:09Z2024-06-20T23:52:09Zby Hämäläinen, Timo D. editor.<br/><a href="http://dx.doi.org/10.1007/b138322">http://dx.doi.org/10.1007/b138322</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>The Robosapien Companion Tips, Tricks, and Hacksent://SD_ILS/0/SD_ILS:5077562024-06-20T23:52:09Z2024-06-20T23:52:09Zby Samans, Jamie. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0056-7">http://dx.doi.org/10.1007/978-1-4302-0056-7</a><br/>Format: Electronic Resources<br/>Expert Oracle Database Architecture 9i and 10g Programming Techniques and Solutionsent://SD_ILS/0/SD_ILS:5077672024-06-20T23:52:09Z2024-06-20T23:52:09Zby Kyte, Thomas. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0067-3">http://dx.doi.org/10.1007/978-1-4302-0067-3</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Parallel and Distributed Processing and Applications Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5104602024-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>Intelligent Document Retrieval Exploiting Markup Structureent://SD_ILS/0/SD_ILS:5066082024-06-20T23:52:09Z2024-06-20T23:52:09Zby Kruschwitz, Udo. author.<br/><a href="http://dx.doi.org/10.1007/1-4020-3768-6">http://dx.doi.org/10.1007/1-4020-3768-6</a><br/>Format: Electronic Resources<br/>Microsoft Content Management Server Field Guideent://SD_ILS/0/SD_ILS:5077412024-06-20T23:52:09Z2024-06-20T23:52:09Zby Briand, François-Paul. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0041-3">http://dx.doi.org/10.1007/978-1-4302-0041-3</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-06-20T23:52:09Z2024-06-20T23:52:09Zby 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/>