Search Results for - Narrowed by: SpringerLink (Online service) - System Performance and Evaluation.

Applications of Computing and Communication Technologies First International Conference, ICACCT 2018, Delhi, India, March 9, 2018, Revised Selected Papers

2024-06-17T14:43:25Z

by Deka, Ganesh Chandra. editor.
https://doi.org/10.1007/978-981-13-2035-4
Format: Electronic Resources

Big Data 6th CCF Conference, Big Data 2018, Xi'an, China, October 11-13, 2018, Proceedings

2024-06-17T14:43:25Z

by Xu, Zongben. editor.
https://doi.org/10.1007/978-981-13-2922-7
Format: Electronic Resources

Wireless Internet 10th International Conference, WiCON 2017, Tianjin, China, December 16-17, 2017, Proceedings

2024-06-17T14:43:25Z

by Li, Cheng. editor.
https://doi.org/10.1007/978-3-319-90802-1
Format: Electronic Resources

Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

2024-06-17T14:43:25Z

by Itsykson, Vladimir. editor.
https://doi.org/10.1007/978-3-319-71734-0
Format: Electronic Resources

Open Source Systems: Enterprise Software and Solutions 14th IFIP WG 2.13 International Conference, OSS 2018, Athens, Greece, June 8-10, 2018, Proceedings

2024-06-17T14:43:25Z

by Stamelos, Ioannis. editor.
https://doi.org/10.1007/978-3-319-92375-8
Format: Electronic Resources

Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part II

2024-06-17T14:43:25Z

by Li, Bo. editor.
https://doi.org/10.1007/978-3-319-78139-6
Format: Electronic Resources

Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papers

2024-06-17T14:43:25Z

by Mann, Zoltán Ádám. editor.
https://doi.org/10.1007/978-3-319-79090-9
Format: Electronic Resources

Communications and Networking 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part I

2024-06-17T14:43:25Z

by Chen, Qianbin. editor.
https://doi.org/10.1007/978-3-319-66625-9
Format: Electronic Resources

Communications and Networking 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II

2024-06-17T14:43:25Z

by Chen, Qianbin. editor.
https://doi.org/10.1007/978-3-319-66628-0
Format: Electronic Resources

Big Data Analytics and Knowledge Discovery 20th International Conference, DaWaK 2018, Regensburg, Germany, September 3–6, 2018, Proceedings

2024-06-17T14:43:25Z

by Ordonez, Carlos. editor.
https://doi.org/10.1007/978-3-319-98539-8
Format: Electronic Resources

Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers

2024-06-17T14:43:25Z

by Heras, Dora B. editor.
https://doi.org/10.1007/978-3-319-75178-8
Format: Electronic Resources

Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

2024-06-17T14:43:25Z

by Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831
https://doi.org/10.1007/978-3-319-74313-4
Format: Electronic Resources

Lectures on Runtime Verification Introductory and Advanced Topics

2024-06-17T14:43:25Z

by Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601
https://doi.org/10.1007/978-3-319-75632-5
Format: Electronic Resources

Big Data Analytics 6th International Conference, BDA 2018, Warangal, India, December 18–21, 2018, Proceedings

2024-06-17T14:43:25Z

by Mondal, Anirban. editor.
https://doi.org/10.1007/978-3-030-04780-1
Format: Electronic Resources

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

2024-06-17T14:43:25Z

by Jones, Cliff. editor.
https://doi.org/10.1007/978-3-030-01461-2
Format: Electronic Resources

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

2024-06-17T14:43:25Z

by Havelund, Klaus. editor. (orcid)0000-0001-7079-0472
https://doi.org/10.1007/978-3-319-95582-7
Format: Electronic Resources

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

2024-06-17T14:43:25Z

by Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481
https://doi.org/10.1007/978-3-030-00359-3
Format: Electronic Resources

Services – SERVICES 2018 14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings

2024-06-17T14:43:25Z

by Yang, Alvin. editor.
https://doi.org/10.1007/978-3-319-94472-2
Format: Electronic Resources

Cloud Computing – CLOUD 2018 11th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings

2024-06-17T14:43:25Z

by Luo, Min. editor.
https://doi.org/10.1007/978-3-319-94295-7
Format: Electronic Resources

Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part I

2024-06-17T14:43:25Z

by Li, Bo. editor.
https://doi.org/10.1007/978-3-319-78130-3
Format: Electronic Resources

Evaluation of Novel Approaches to Software Engineering 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers

2024-06-17T14:43:25Z

by Damiani, Ernesto. editor.
https://doi.org/10.1007/978-3-319-94135-6
Format: Electronic Resources

Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

2024-06-17T14:43:25Z

by Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
https://doi.org/10.1007/978-3-030-02928-9
Format: Electronic Resources

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, Proceedings

2024-06-17T14:43:25Z

by Galinina, Olga. editor. (orcid)0000-0002-5386-1061
https://doi.org/10.1007/978-3-030-01168-0
Format: Electronic Resources

Wired/Wireless Internet Communications 16th IFIP WG 6.2 International Conference, WWIC 2018, Boston, MA, USA, June 18–20, 2018, Proceedings

2024-06-17T14:43:25Z

by Chowdhury, Kaushik Roy. editor.
https://doi.org/10.1007/978-3-030-02931-9
Format: Electronic Resources

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 I

2024-06-17T14:43:25Z

by Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
https://doi.org/10.1007/978-3-319-89960-2
Format: Electronic Resources

Graph Data Management Fundamental Issues and Recent Developments

2024-06-17T14:43:25Z

by Fletcher, George. editor.
https://doi.org/10.1007/978-3-319-96193-4
Format: Electronic Resources

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, Proceedings

2024-06-17T14:43:25Z

by Czachórski, Tadeusz. editor. (orcid)0000-0001-7158-0258
https://doi.org/10.1007/978-3-030-00840-6
Format: Electronic Resources

5G for Future Wireless Networks First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings

2024-06-17T14:43:25Z

by Long, Keping. editor.
https://doi.org/10.1007/978-3-319-72823-0
Format: Electronic Resources

Computer Networks 25th International Conference, CN 2018, Gliwice, Poland, June 19-22, 2018, Proceedings

2024-06-17T14:43:25Z

by Gaj, Piotr. editor. (orcid)0000-0002-2291-7341
https://doi.org/10.1007/978-3-319-92459-5
Format: Electronic Resources

Wireless and Satellite Systems 9th International Conference, WiSATS 2017, Oxford, UK, September 14-15, 2017, Proceedings

2024-06-17T14:43:25Z

by Pillai, Prashant. editor.
https://doi.org/10.1007/978-3-319-76571-6
Format: Electronic Resources

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 I

2024-06-17T14:43:25Z

by Panetto, Hervé. editor.
https://doi.org/10.1007/978-3-030-02610-3
Format: Electronic Resources

Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

2024-06-17T14:43:25Z

by Podelski, Andreas. editor.
https://doi.org/10.1007/978-3-319-99725-4
Format: Electronic Resources

Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

2024-06-17T14:43:25Z

by Sun, Jing. editor.
https://doi.org/10.1007/978-3-030-02450-5
Format: Electronic Resources

Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers

2024-06-17T14:43:25Z

by Pires, Luís Ferreira. editor.
https://doi.org/10.1007/978-3-319-94764-8
Format: Electronic Resources

Advanced Information Systems Engineering 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings

2024-06-17T14:43:25Z

by Krogstie, John. editor.
https://doi.org/10.1007/978-3-319-91563-0
Format: Electronic Resources

Communication Technologies for Vehicles 13th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2018, Madrid, Spain, May 17-18, 2018, Proceedings

2024-06-17T14:43:25Z

by Moreno García-Loygorri, Juan. editor. (orcid)0000-0002-4626-1535
https://doi.org/10.1007/978-3-319-90371-2
Format: Electronic Resources

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. Proceedings

2024-06-17T14:43:25Z

by Montavont, Nicolas. editor.
https://doi.org/10.1007/978-3-030-00247-3
Format: Electronic Resources

Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

2024-06-17T14:43:25Z

by Feng, Xinyu. editor.
https://doi.org/10.1007/978-3-319-99933-3
Format: Electronic Resources

Systems, Software and Services Process Improvement 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018, Proceedings

2024-06-17T14:43:25Z

by Larrucea, Xabier. editor.
https://doi.org/10.1007/978-3-319-97925-0
Format: Electronic Resources

Information and Communication Technologies in Education, Research, and Industrial Applications 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers

2024-06-17T14:43:25Z

by Bassiliades, Nick. editor. (orcid)0000-0001-6035-1038
https://doi.org/10.1007/978-3-319-76168-8
Format: Electronic Resources

Greening Video Distribution Networks Energy-Efficient Internet Video Delivery

2024-06-17T14:43:25Z

by Popescu, Adrian. editor.
https://doi.org/10.1007/978-3-319-71718-0
Format: Electronic Resources

Mobile Internet Security First International Symposium, MobiSec 2016, Taichung, Taiwan, July 14-15, 2016, Revised Selected Papers

2024-06-17T14:43:25Z

by You, Ilsun. editor.
https://doi.org/10.1007/978-981-10-7850-7
Format: Electronic Resources

Software Technologies 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers

2024-06-17T14:43:25Z

by Cabello, Enrique. editor.
https://doi.org/10.1007/978-3-319-93641-3
Format: Electronic Resources

Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

2024-06-17T14:43:25Z

by Colombo, Christian. editor.
https://doi.org/10.1007/978-3-030-03769-7
Format: Electronic Resources

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

2024-06-17T14:43:25Z

by Dutle, Aaron. editor.
https://doi.org/10.1007/978-3-319-77935-5
Format: Electronic Resources

Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

2024-06-17T14:43:25Z

by Johnsen, Einar Broch. editor.
https://doi.org/10.1007/978-3-319-92970-5
Format: Electronic Resources

High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings

2024-06-17T14:43:25Z

by Yokota, Rio. editor. (orcid)0000-0001-7573-7873
https://doi.org/10.1007/978-3-319-92040-5
Format: Electronic Resources

Computer Performance Engineering 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings

2024-06-17T14:43:25Z

by Bakhshi, Rena. editor.
https://doi.org/10.1007/978-3-030-02227-3
Format: Electronic Resources

Autonomous Control for a Reliable Internet of Services Methods, Models, Approaches, Techniques, Algorithms, and Tools

2024-06-17T14:43:25Z

by Ganchev, Ivan. editor. (orcid)0000-0003-0535-7087
https://doi.org/10.1007/978-3-319-90415-3
Format: Electronic Resources

Advances in Databases and Information Systems 22nd European Conference, ADBIS 2018, Budapest, Hungary, September 2–5, 2018, Proceedings

2024-06-17T14:43:25Z

by Benczúr, András. editor. (orcid)0000-0002-8678-3346
https://doi.org/10.1007/978-3-319-98398-1
Format: Electronic Resources

Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

2024-06-17T14:43:25Z

by Rensink, Arend. editor. (orcid)0000-0002-1714-6319
https://doi.org/10.1007/978-3-319-93317-7
Format: Electronic Resources

Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings

2024-06-17T14:43:25Z

by Stamelos, Ioannis. editor.
https://doi.org/10.1007/978-3-030-00623-5
Format: Electronic Resources

New Frontiers in Quantitative Methods in Informatics 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers

2024-06-17T14:43:25Z

by Balsamo, Simonetta. editor.
https://doi.org/10.1007/978-3-319-91632-3
Format: Electronic Resources

Wireless Internet 9th International Conference, WICON 2016, Haikou, China, December 19-20, 2016, Proceedings

2024-06-17T14:43:25Z

by Huang, Mengxing. editor.
https://doi.org/10.1007/978-3-319-72998-5
Format: Electronic Resources

Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2016, Vienna, Austria, September 5–7, 2016, Revised Selected Papers

2024-06-17T14:43:25Z

by Lazovik, Alexander. editor.
https://doi.org/10.1007/978-3-319-72125-5
Format: Electronic Resources

Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming

2024-06-17T14:43:25Z

by Kormanyos, Christopher. author.
https://doi.org/10.1007/978-3-662-56718-0
Format: Electronic Resources

Image and Video Technology 8th Pacific-Rim Symposium, PSIVT 2017, Wuhan, China, November 20-24, 2017, Revised Selected Papers

2024-06-17T14:43:25Z

by Paul, Manoranjan. editor.
https://doi.org/10.1007/978-3-319-75786-5
Format: Electronic Resources

New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings

2024-06-17T14:43:25Z

by Capilla, Rafael. editor. (orcid)0000-0002-6943-1285
https://doi.org/10.1007/978-3-319-90421-4
Format: Electronic Resources

Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings

2024-06-17T14:43:25Z

by Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772
https://doi.org/10.1007/978-3-030-02768-1
Format: Electronic Resources

Service-Oriented Computing – ICSOC 2017 Workshops ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers

2024-06-17T14:43:25Z

by Braubach, Lars. editor.
https://doi.org/10.1007/978-3-319-91764-1
Format: Electronic Resources

Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

2024-06-17T14:43:25Z

by Piskac, Ruzica. editor.
https://doi.org/10.1007/978-3-030-03592-1
Format: Electronic Resources

Distributed Computing and Internet Technology 14th International Conference, ICDCIT 2018, Bhubaneswar, India, January 11–13, 2018, Proceedings

2024-06-17T14:43:25Z

by Negi, Atul. editor. (orcid)0000-0001-5707-130X
https://doi.org/10.1007/978-3-319-72344-0
Format: Electronic Resources

Virtual Reality and Augmented Reality 15th EuroVR International Conference, EuroVR 2018, London, UK, October 22–23, 2018, Proceedings

2024-06-17T14:43:25Z

by Bourdot, Patrick. editor. (orcid)0000-0003-2247-1930
https://doi.org/10.1007/978-3-030-01790-3
Format: Electronic Resources

Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings

2024-06-17T14:43:25Z

by Pierantonio, Alfonso. editor. (orcid)0000-0002-5231-3952
https://doi.org/10.1007/978-3-319-92997-2
Format: Electronic Resources

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, Proceedings

2024-06-17T14:43:25Z

by Bauer, Lujo. editor.
https://doi.org/10.1007/978-3-319-89722-6
Format: Electronic Resources

Software Architecture 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24–28, 2018, Proceedings

2024-06-17T14:43:25Z

by Cuesta, Carlos E. editor. (orcid)0000-0003-0286-4219
https://doi.org/10.1007/978-3-030-00761-4
Format: Electronic Resources

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 I

2024-06-17T14:43:25Z

by Meiselwitz, Gabriele. editor.
https://doi.org/10.1007/978-3-319-91521-0
Format: Electronic Resources

Computer and Network Security Essentials

2024-06-17T14:43:25Z

by Daimi, Kevin. editor.
https://doi.org/10.1007/978-3-319-58424-9
Format: Electronic Resources

Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings

2024-06-17T14:43:25Z

by Gallagher, John P. editor.
https://doi.org/10.1007/978-3-319-90686-7
Format: Electronic Resources

Web and Wireless Geographical Information Systems 16th International Symposium, W2GIS 2018, A Coruña, Spain, May 21–22, 2018, Proceedings

2024-06-17T14:43:25Z

by R. Luaces, Miguel. editor.
https://doi.org/10.1007/978-3-319-90053-7
Format: Electronic Resources

Information Systems Security 14th International Conference, ICISS 2018, Bangalore, India, December 17-19, 2018, Proceedings

2024-06-17T14:43:25Z

by Ganapathy, Vinod. editor.
https://doi.org/10.1007/978-3-030-05171-6
Format: Electronic Resources

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. Proceedings

2024-06-17T14:43:25Z

by Baier, Christel. editor. (orcid)0000-0002-5321-9343
https://doi.org/10.1007/978-3-319-89366-2
Format: Electronic Resources

Big Data – BigData 2018 7th International Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings

2024-06-17T14:43:25Z

by Chin, Francis Y. L. editor.
https://doi.org/10.1007/978-3-319-94301-5
Format: Electronic Resources

Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

2024-06-17T14:43:25Z

by Avigad, Jeremy. editor.
https://doi.org/10.1007/978-3-319-94821-8
Format: Electronic Resources

Advanced Maintenance Policies for Shock and Damage Models

2024-06-17T14:43:25Z

by Zhao, Xufeng. author.
https://doi.org/10.1007/978-3-319-70456-2
Format: Electronic Resources

Performance Evaluation and Benchmarking for the Analytics Era 9th TPC Technology Conference, TPCTC 2017, Munich, Germany, August 28, 2017, Revised Selected Papers

2024-06-17T14:43:25Z

by Nambiar, Raghunath. editor.
https://doi.org/10.1007/978-3-319-72401-0
Format: Electronic Resources

Privacy Technologies and Policy 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papers

2024-06-17T14:43:25Z

by Medina, Manel. editor.
https://doi.org/10.1007/978-3-030-02547-2
Format: Electronic Resources

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. Proceedings

2024-06-17T14:43:25Z

by Dudin, Alexander. editor.
https://doi.org/10.1007/978-3-319-44615-8
Format: Electronic Resources

Healthcare Interoperability Standards Compliance Handbook Conformance and Testing of Healthcare Data Exchange Standards

2024-06-17T14:43:25Z

by Oemig, Frank. author.
https://doi.org/10.1007/978-3-319-44839-8
Format: Electronic Resources

Guide to Software Development Designing and Managing the Life Cycle

2024-06-17T14:43:25Z

by Langer, Arthur M. author.
https://doi.org/10.1007/978-1-4471-6799-0
Format: Electronic Resources

Machine Learning, Optimization, and Big Data Second International Workshop, MOD 2016, Volterra, Italy, August 26-29, 2016, Revised Selected Papers

2024-06-17T14:43:25Z

by Pardalos, Panos M. editor.
https://doi.org/10.1007/978-3-319-51469-7
Format: Electronic Resources

Passive and Active Measurement 17th International Conference, PAM 2016, Heraklion, Greece, March 31 - April 1, 2016. Proceedings

2024-06-17T14:43:25Z

by Karagiannis, Thomas. editor.
https://doi.org/10.1007/978-3-319-30505-9
Format: Electronic Resources

Critical Information Infrastructures Security 9th International Conference, CRITIS 2014, Limassol, Cyprus, October 13-15, 2014, Revised Selected Papers

2024-06-17T14:43:25Z

by Panayiotou, Christos G. editor.
https://doi.org/10.1007/978-3-319-31664-2
Format: Electronic Resources

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 Papers

2024-06-17T14:43:25Z

by Hildebrandt, Thomas. editor.
https://doi.org/10.1007/978-3-319-33612-1
Format: Electronic Resources

Wired/Wireless Internet Communications 14th IFIP WG 6.2 International Conference, WWIC 2016, Thessaloniki, Greece, May 25-27, 2016, Proceedings

2024-06-17T14:43:25Z

by Mamatas, Lefteris. editor.
https://doi.org/10.1007/978-3-319-33936-8
Format: Electronic Resources

Internetware A New Software Paradigm for Internet Computing

2024-06-17T14:43:25Z

by Mei, Hong. author.
https://doi.org/10.1007/978-981-10-2546-4
Format: Electronic Resources

Advanced Computer Architecture 11th Conference, ACA 2016, Weihai, China, August 22-23, 2016, Proceedings

2024-06-17T14:43:25Z

by Wu, Junjie. editor.
https://doi.org/10.1007/978-981-10-2209-8
Format: Electronic Resources

Content Distribution for Mobile Internet: A Cloud-based Approach

2024-06-17T14:43:25Z

by Li, Zhenhua. author.
https://doi.org/10.1007/978-981-10-1463-5
Format: Electronic Resources

Support Vector Machines and Perceptrons Learning, Optimization, Classification, and Application to Social Networks

2024-06-17T14:43:25Z

by Murty, M.N. author.
https://doi.org/10.1007/978-3-319-41063-0
Format: Electronic Resources

Critical Information Infrastructures Security 10th International Conference, CRITIS 2015, Berlin, Germany, October 5-7, 2015, Revised Selected Papers

2024-06-17T14:43:25Z

by Rome, Erich. editor.
https://doi.org/10.1007/978-3-319-33331-1
Format: Electronic Resources

Geo-Informatics in Resource Management and Sustainable Ecosystem Third International Conference, GRMSE 2015, Wuhan, China, October 16-18, 2015, Revised Selected Papers

2024-06-17T14:43:25Z

by Bian, Fuling. editor.
https://doi.org/10.1007/978-3-662-49155-3
Format: Electronic Resources

Computer Engineering and Technology 19th CCF Conference, NCCET 2015, Hefei, China, October 18-20, 2015, Revised Selected Papers

2024-06-17T14:43:25Z

by Xu, Weixia. editor.
https://doi.org/10.1007/978-3-662-49283-3
Format: Electronic Resources

Distributed Computer and Communication Networks 18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015, Revised Selected Papers

2024-06-17T14:43:25Z

by Vishnevsky, Vladimir. editor.
https://doi.org/10.1007/978-3-319-30843-2
Format: Electronic Resources

Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings

2024-06-17T14:43:25Z

by Wittevrongel, Sabine. editor.
https://doi.org/10.1007/978-3-319-43904-4
Format: Electronic Resources

Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

2024-06-17T14:43:25Z

by Blanchette, Jasmin Christian. editor.
https://doi.org/10.1007/978-3-319-43144-4
Format: Electronic Resources

High Performance Computing 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedings

2024-06-17T14:43:25Z

by Kunkel, Julian M. editor.
https://doi.org/10.1007/978-3-319-41321-1
Format: Electronic Resources

Cybernetics From Past to Future

2024-06-17T14:43:25Z

by Novikov, D.A. author.
https://doi.org/10.1007/978-3-319-27397-6
Format: Electronic Resources

Cloud Computing 6th International Conference, CloudComp 2015, Daejeon, South Korea, October 28-29, 2015, Revised Selected Papers

2024-06-17T14:43:25Z

by Zhang, Yin. editor.
https://doi.org/10.1007/978-3-319-38904-2
Format: Electronic Resources

Personal Satellite Services. Next-Generation Satellite Networking and Communication Systems 6th International Conference, PSATS 2014, Genoa, Italy, July 28–29, 2014, Revised Selected Papers

2024-06-17T14:43:25Z

by Bisio, Igor. editor.
https://doi.org/10.1007/978-3-319-47081-8
Format: Electronic Resources

Software Process Improvement and Capability Determination 16th International Conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016, Proceedings

2024-06-17T14:43:25Z

by Clarke, Paul M. editor.
https://doi.org/10.1007/978-3-319-38980-6
Format: Electronic Resources

Computer Networks 23rd International Conference, CN 2016, Brunów, Poland, June 14-17, 2016, Proceedings

2024-06-17T14:43:25Z

by Gaj, Piotr. editor.
https://doi.org/10.1007/978-3-319-39207-3
Format: Electronic Resources

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, Proceedings

2024-06-17T14:43:25Z

by Bogdan, Cristian. editor.
https://doi.org/10.1007/978-3-319-44902-9
Format: Electronic Resources

Distributed Computer and Communication Networks 19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016, Revised Selected Papers

2024-06-17T14:43:25Z

by Vishnevskiy, Vladimir M. editor.
https://doi.org/10.1007/978-3-319-51917-3
Format: Electronic Resources

Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings

2024-06-17T14:43:25Z

by Fiems, Dieter. editor.
https://doi.org/10.1007/978-3-319-46433-6
Format: Electronic Resources

Wireless Algorithms, Systems, and Applications 11th International Conference, WASA 2016, Bozeman, MT, USA, August 8-10, 2016. Proceedings

2024-06-17T14:43:25Z

by Yang, Qing. editor.
https://doi.org/10.1007/978-3-319-42836-9
Format: Electronic Resources

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, Proceedings

2024-06-17T14:43:25Z

by Jelasity, Márk. editor.
https://doi.org/10.1007/978-3-319-39577-7
Format: Electronic Resources

Advances in Data Mining. Applications and Theoretical Aspects 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings

2024-06-17T14:43:25Z

by Perner, Petra. editor.
https://doi.org/10.1007/978-3-319-41561-1
Format: Electronic Resources

OpenMP: Memory, Devices, and Tasks 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings

2024-06-17T14:43:25Z

by Maruyama, Naoya. editor.
https://doi.org/10.1007/978-3-319-45550-1
Format: Electronic Resources

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 Papers

2024-06-17T14:43:25Z

by Nambiar, Raghunath. editor.
https://doi.org/10.1007/978-3-319-31409-9
Format: Electronic Resources

Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings

2024-06-17T14:43:25Z

by Falcone, Yliès. editor.
https://doi.org/10.1007/978-3-319-46982-9
Format: Electronic Resources

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 Papers

2024-06-17T14:43:25Z

by Taufer, Michela. editor.
https://doi.org/10.1007/978-3-319-46079-6
Format: Electronic Resources

Isochronous Wireless Network for Real-time Communication in Industrial Automation

2024-06-17T14:43:25Z

by Trsek, Henning. author.
https://doi.org/10.1007/978-3-662-49158-4
Format: Electronic Resources

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, Proceedings

2024-06-17T14:43:25Z

by Galinina, Olga. editor.
https://doi.org/10.1007/978-3-319-46301-8
Format: Electronic Resources

Communication Technologies for Vehicles 10th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, San Sebastián, Spain, June 6-7, 2016, Proceedings

2024-06-17T14:43:25Z

by Mendizabal, Jaizki. editor.
https://doi.org/10.1007/978-3-319-38921-9
Format: Electronic Resources

Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers

2024-06-17T14:43:25Z

by van Eekelen, Marko. editor.
https://doi.org/10.1007/978-3-319-46559-3
Format: Electronic Resources

Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings

2024-06-17T14:43:25Z

by Agha, Gul. editor.
https://doi.org/10.1007/978-3-319-43425-4
Format: Electronic Resources

Diagnosis and Fault-Tolerant Control

2024-06-17T14:43:25Z

by Blanke, Mogens. author.
https://doi.org/10.1007/978-3-662-47943-8
Format: Electronic Resources

Guide to Advanced Empirical Software Engineering

2024-06-17T14:43:25Z

by Shull, Forrest. editor.
http://dx.doi.org/10.1007/978-1-84800-044-5
Format: Electronic Resources

Level Crossing Methods in Stochastic Models

2024-06-17T14:43:25Z

by Brill, Percy H. author.
http://dx.doi.org/10.1007/978-0-387-09421-2
Format: Electronic Resources

Distributed Embedded Systems: Design, Middleware and Resources

2024-06-17T14:43:25Z

by Kleinjohann, Bernd. editor.
http://dx.doi.org/10.1007/978-0-387-09661-2
Format: Electronic Resources

Network Performance Analysis Using the J Programming Language

2024-06-17T14:43:25Z

by Holt, Alan. author.
http://dx.doi.org/10.1007/978-1-84628-823-4
Format: Electronic Resources

Improvements in System Safety

2024-06-17T14:43:25Z

by Redmill, Felix. editor.
http://dx.doi.org/10.1007/978-1-84800-100-8
Format: Electronic Resources

Stochastic Network Calculus

2024-06-17T14:43:25Z

by Liu, Yong. author.
http://dx.doi.org/10.1007/978-1-84800-127-5
Format: Electronic Resources

Resilient Networks and Services Second International Conference on Autonomous Infrastructure, Management and Security, AIMS 2008 Bremen, Germany, July 1-3, 2008 Proceedings

2024-06-17T14:43:25Z

by Hausheer, David. editor.
http://dx.doi.org/10.1007/978-3-540-70587-1
Format: Electronic Resources

Performance Evaluation: Metrics, Models and Benchmarks SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedings

2024-06-17T14:43:25Z

by Kounev, Samuel. editor.
http://dx.doi.org/10.1007/978-3-540-69814-2
Format: Electronic Resources

Euro-Par 2008 – Parallel Processing 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedings

2024-06-17T14:43:25Z

by Luque, Emilio. editor.
http://dx.doi.org/10.1007/978-3-540-85451-7
Format: Electronic Resources

Network and Parallel Computing IFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008. Proceedings

2024-06-17T14:43:25Z

by Cao, Jian. editor.
http://dx.doi.org/10.1007/978-3-540-88140-7
Format: Electronic Resources

Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings

2024-06-17T14:43:25Z

by Al-Begain, Khalid. editor.
http://dx.doi.org/10.1007/978-3-540-68982-9
Format: Electronic Resources

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. Proceedings

2024-06-17T14:43:25Z

by Balandin, Sergey. editor.
http://dx.doi.org/10.1007/978-3-540-85500-2
Format: Electronic Resources

Embedded Computer Systems: Architectures, Modeling, and Simulation 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings

2024-06-17T14:43:25Z

by Bereković, Mladen. editor.
http://dx.doi.org/10.1007/978-3-540-70550-5
Format: Electronic Resources

IP Operations and Management 8th IEEE International Workshop, IPOM 2008, Samos Island, Greece, September 22-26, 2008. Proceedings

2024-06-17T14:43:25Z

by Akar, Nail. editor.
http://dx.doi.org/10.1007/978-3-540-87357-0
Format: Electronic Resources

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. Proceedings

2024-06-17T14:43:25Z

by Pavlou, George. editor.
http://dx.doi.org/10.1007/978-3-540-87359-4
Format: Electronic Resources

Computer Performance Engineering 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings

2024-06-17T14:43:25Z

by Thomas, Nigel. editor.
http://dx.doi.org/10.1007/978-3-540-87412-6
Format: Electronic Resources

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 Papers

2024-06-17T14:43:25Z

by Schulzrinne, Henning. editor.
http://dx.doi.org/10.1007/978-3-540-89054-6
Format: Electronic Resources

The Testing Network An Integral Approach to Test Activities in Large Software Projects

2024-06-17T14:43:25Z

by Henry, Pierre. author.
http://dx.doi.org/10.1007/978-3-540-78504-0
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings

2024-06-17T14:43:25Z

by Cassez, Franck. editor.
http://dx.doi.org/10.1007/978-3-540-85778-5
Format: Electronic Resources

Reconfigurable Computing: Architectures, Tools and Applications 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008. Proceedings

2024-06-17T14:43:25Z

by Woods, Roger. editor.
http://dx.doi.org/10.1007/978-3-540-78610-8
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

2024-06-17T14:43:25Z

by Margaria, Tiziana. editor.
http://dx.doi.org/10.1007/978-3-540-88479-8
Format: Electronic Resources

Wireless Algorithms, Systems, and Applications Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008. Proceedings

2024-06-17T14:43:25Z

by Li, Yingshu. editor.
http://dx.doi.org/10.1007/978-3-540-88582-5
Format: Electronic Resources

Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

2024-06-17T14:43:25Z

by Beckert, Bernhard. editor.
http://dx.doi.org/10.1007/978-3-540-79124-9
Format: Electronic Resources

Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings

2024-06-17T14:43:25Z

by Dumas, Marlon. editor.
http://dx.doi.org/10.1007/978-3-540-79230-7
Format: Electronic Resources

Passive and Active Network Measurement 9th International Conference, PAM 2008, Cleveland, OH, USA, April 29-30, 2008. Proceedings

2024-06-17T14:43:25Z

by Claypool, Mark. editor.
http://dx.doi.org/10.1007/978-3-540-79232-1
Format: Electronic Resources

Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers

2024-06-17T14:43:25Z

by Leucker, Martin. editor.
http://dx.doi.org/10.1007/978-3-540-89247-2
Format: Electronic Resources

Stochastic Discrete Event Systems Modeling, Evaluation, Applications

2024-06-17T14:43:25Z

by Zimmermann, Armin. author.
http://dx.doi.org/10.1007/978-3-540-74173-2
Format: Electronic Resources

Model-based Fault Diagnosis Techniques Design Schemes, Algorithms, and Tools

2024-06-17T14:43:25Z

by Ding, Steven X. author.
http://dx.doi.org/10.1007/978-3-540-76304-8
Format: Electronic Resources

The Common Component Modeling Example Comparing Software Component Models

2024-06-17T14:43:25Z

by Rausch, Andreas. editor.
http://dx.doi.org/10.1007/978-3-540-85289-6
Format: Electronic Resources

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. Proceedings

2024-06-17T14:43:25Z

by Ma, Yan. editor.
http://dx.doi.org/10.1007/978-3-540-88623-5
Format: Electronic Resources

Advances in Grid and Pervasive Computing Third International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedings

2024-06-17T14:43:25Z

by Wu, Song. editor.
http://dx.doi.org/10.1007/978-3-540-68083-3
Format: Electronic Resources

Lean Business Systems and Beyond

2024-06-17T14:43:25Z

by Koch, Tomasz. editor.
http://dx.doi.org/10.1007/978-0-387-77249-3
Format: Electronic Resources

Implementation and Application of Functional Languages 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers

2024-06-17T14:43:25Z

by Chitil, Olaf. editor.
http://dx.doi.org/10.1007/978-3-540-85373-2
Format: Electronic Resources

NETWORKING 2008 Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet 7th International IFIP-TC6 Networking Conference Singapore, May 5-9, 2008 Proceedings

2024-06-17T14:43:25Z

by Das, Amitabha. editor.
http://dx.doi.org/10.1007/978-3-540-79549-0
Format: Electronic Resources

Optical Network Design and Modeling 11th International IFIP TC6 Conference, ONDM 2007, Athens, Greece, May 29-31, 2007. Proceedings

2024-06-17T14:43:25Z

by Tomkos, Ioannis. editor.
http://dx.doi.org/10.1007/978-3-540-72731-6
Format: Electronic Resources

Test and Analysis of Web Services

2024-06-17T14:43:25Z

by Baresi, Luciano. editor.
http://dx.doi.org/10.1007/978-3-540-72912-9
Format: Electronic Resources

Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers

2024-06-17T14:43:25Z

by Gurevich, Yuri. editor.
http://dx.doi.org/10.1007/978-3-540-73770-4
Format: Electronic Resources

Reconfigurable Computing: Architectures, Tools and Applications Third International Workshop, ARC 2007, Mangaratiba, Brazil, March 27-29, 2007. Proceedings

2024-06-17T14:43:25Z

by Diniz, Pedro C. editor.
http://dx.doi.org/10.1007/978-3-540-71431-6
Format: Electronic Resources

Managing Traffic Performance in Converged Networks 20th International Teletraffic Congress, ITC20 2007, Ottawa, Canada, June 17-21, 2007. Proceedings

2024-06-17T14:43:25Z

by Mason, Lorne. editor.
http://dx.doi.org/10.1007/978-3-540-72990-7
Format: Electronic Resources

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings

2024-06-17T14:43:25Z

by Azémard, Nadine. editor.
http://dx.doi.org/10.1007/978-3-540-74442-9
Format: Electronic Resources

Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007. Proceedings

2024-06-17T14:43:25Z

by Vassiliadis, Stamatis. editor.
http://dx.doi.org/10.1007/978-3-540-73625-7
Format: Electronic Resources

Embedded Software and Systems Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007. Proceedings

2024-06-17T14:43:25Z

by Lee, Yann-Hang. editor.
http://dx.doi.org/10.1007/978-3-540-72685-2
Format: Electronic Resources

Parallel and Distributed Processing and Applications 5th International Symposium, ISPA 2007 Niagara Falls, Canada, August 29-31, 2007 Proceedings

2024-06-17T14:43:25Z

by Stojmenovic, Ivan. editor.
http://dx.doi.org/10.1007/978-3-540-74742-0
Format: Electronic Resources

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 Proceedings

2024-06-17T14:43:25Z

by Thulasiraman, Parimala. editor.
http://dx.doi.org/10.1007/978-3-540-74767-3
Format: Electronic Resources

Software Architectures, Components, and Applications Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers

2024-06-17T14:43:25Z

by Overhage, Sven. editor.
http://dx.doi.org/10.1007/978-3-540-77619-2
Format: Electronic Resources

Next Generation Teletraffic and Wired/Wireless Advanced Networking 7th International Conference, NEW2AN 2007 St. Petersburg, Russia, September 10-14, 2007 Proceedings

2024-06-17T14:43:25Z

by Koucheryavy, Yevgeni. editor.
http://dx.doi.org/10.1007/978-3-540-74833-5
Format: Electronic Resources

Dependable Computing Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings

2024-06-17T14:43:25Z

by Bondavalli, Andrea. editor.
http://dx.doi.org/10.1007/978-3-540-75294-3
Format: Electronic Resources

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. Proceedings

2024-06-17T14:43:25Z

by Akyildiz, Ian F. editor.
http://dx.doi.org/10.1007/978-3-540-72606-7
Format: Electronic Resources

Trends in Enterprise Application Architecture 2nd International Conference, TEAA 2006, Berlin, Germany, November 29 - December 1, 2006, Revised Selected Papers

2024-06-17T14:43:25Z

by Draheim, Dirk. editor.
http://dx.doi.org/10.1007/978-3-540-75912-6
Format: Electronic Resources

Formal Methods and Stochastic Models for Performance Evaluation Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings

2024-06-17T14:43:25Z

by Wolter, Katinka. editor.
http://dx.doi.org/10.1007/978-3-540-75211-0
Format: Electronic Resources

Networks and Grids Technology and Theory

2024-06-17T14:43:25Z

by Robertazzi, Thomas G. author.
http://dx.doi.org/10.1007/978-0-387-68235-8
Format: Electronic Resources

Advanced Memory Optimization Techniques for Low-Power Embedded Processors

2024-06-17T14:43:25Z

by Verma, Manish. author.
http://dx.doi.org/10.1007/978-1-4020-5897-4
Format: Electronic Resources

Forecasting Oracle Performance

2024-06-17T14:43:25Z

by Shallahamer, Craig. author.
http://dx.doi.org/10.1007/978-1-4302-0208-0
Format: Electronic Resources

Advances in Grid and Pervasive Computing Second International Conference, GPC 2007, Paris, France, May 2-4, 2007. Proceedings

2024-06-17T14:43:25Z

by Cérin, Christophe. editor.
http://dx.doi.org/10.1007/978-3-540-72360-8
Format: Electronic Resources

Passive and Active Network Measurement 8th Internatinoal Conference, PAM 2007, Louvain-la-neuve, Belgium, April 5-6, 2007. Proceedings

2024-06-17T14:43:25Z

by Uhlig, Steve. editor.
http://dx.doi.org/10.1007/978-3-540-71617-4
Format: Electronic Resources

Inter-Domain Management First International Conference on Autonomous Infrastructure, Management and Security, AIMS 2007, Oslo, Norway, June 21-22, 2007. Proceedings

2024-06-17T14:43:25Z

by Bandara, Arosha K. editor.
http://dx.doi.org/10.1007/978-3-540-72986-0
Format: Electronic Resources

Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

2024-06-17T14:43:25Z

by Kordon, Fabrice. editor.
http://dx.doi.org/10.1007/978-3-540-71156-8
Format: Electronic Resources

A Graph-Theoretic Approach to Enterprise Network Dynamics

2024-06-17T14:43:25Z

by Bunke, Horst. author.
http://dx.doi.org/10.1007/978-0-8176-4519-9
Format: Electronic Resources

The Safety of Systems Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13–15 February 2007

2024-06-17T14:43:25Z

by Redmill, Felix. editor.
http://dx.doi.org/10.1007/978-1-84628-806-7
Format: Electronic Resources

Guerrilla Capacity Planning A Tactical Approach to Planning for Highly Scalable Applications and Services

2024-06-17T14:43:25Z

by Gunther, Neil J. author.
http://dx.doi.org/10.1007/978-3-540-31010-5
Format: Electronic Resources

Next Generation Teletraffic and Wired/Wireless Advanced Networking 6th International Conference, NEW2AN 2006, St. Petersburg, Russia, May 29 - June 2, 2006. Proceedings

2024-06-17T14:43:25Z

by Koucheryavy, Yevgeni. editor.
http://dx.doi.org/10.1007/11759355
Format: Electronic Resources

Wireless Algorithms, Systems, and Applications First International Conference, WASA 2006, Xi’an, China, August 15-17, 2006. Proceedings

2024-06-17T14:43:25Z

by Cheng, Xiuzhen. editor.
http://dx.doi.org/10.1007/11814856
Format: Electronic Resources

Parallel and Distributed Processing and Applications 4th International Symposium, ISPA 2006, Sorrento, Italy, December 4-6, 2006. Proceedings

2024-06-17T14:43:25Z

by Guo, Minyi. editor.
http://dx.doi.org/10.1007/11946441
Format: Electronic Resources

Formal Methods and Stochastic Models for Performance Evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings

2024-06-17T14:43:25Z

by Horváth, András. editor.
http://dx.doi.org/10.1007/11777830
Format: Electronic Resources

High Availability and Disaster Recovery Concepts, Design, Implementation

2024-06-17T14:43:25Z

by Schmidt, Klaus. author.
http://dx.doi.org/10.1007/3-540-34582-5
Format: Electronic Resources

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006. Proceedings

2024-06-17T14:43:25Z

by Vounckx, Johan. editor.
http://dx.doi.org/10.1007/11847083
Format: Electronic Resources

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, Portugal

2024-06-17T14:43:25Z

by Kleinjohann, Bernd. editor.
http://dx.doi.org/10.1007/978-0-387-39362-9
Format: Electronic Resources

Advances in Grid and Pervasive Computing First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006. Proceedings

2024-06-17T14:43:25Z

by Chung, Yeh-Ching. editor.
http://dx.doi.org/10.1007/11745693
Format: Electronic Resources

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. Proceedings

2024-06-17T14:43:25Z

by Boavida, Fernando. editor.
http://dx.doi.org/10.1007/11753810
Format: Electronic Resources

Performance Analysis of Network Architectures

2024-06-17T14:43:25Z

by Tutsch, Dietmar. author.
http://dx.doi.org/10.1007/3-540-34310-5
Format: Electronic Resources

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006. Proceedings

2024-06-17T14:43:25Z

by Vassiliadis, Stamatis. editor.
http://dx.doi.org/10.1007/11796435
Format: Electronic Resources

Security Management, Integrity, and Internal Control in Information Systems IFIP TC-11 WG 11.1 & WG 11.5 Joint Working Conference

2024-06-17T14:43:25Z

by Dowland, Paul. editor.
http://dx.doi.org/10.1007/0-387-31167-X
Format: Electronic Resources

Hardening Windows

2024-06-17T14:43:25Z

by Hassell, Jonathan. author.
http://dx.doi.org/10.1007/978-1-4302-0083-3
Format: Electronic Resources

Running IPv6

2024-06-17T14:43:25Z

by Beijnum, Iljitsch. author.
http://dx.doi.org/10.1007/978-1-4302-0090-1
Format: Electronic Resources

Integrated Circuit Test Engineering Modern Techniques

2024-06-17T14:43:25Z

by Grout, Ian A. author.
http://dx.doi.org/10.1007/1-84628-173-3
Format: Electronic Resources

Quality of Software Architectures Second International Conference on Quality of Software Architectures, QoSA 2006, Västerås, Sweden, June 27-29, 2006 Revised Papers

2024-06-17T14:43:25Z

by Hofmeister, Christine. editor.
http://dx.doi.org/10.1007/11921998
Format: Electronic Resources

Pro Oracle Database 10g RAC on Linux Installation, Administration, and Performance

2024-06-17T14:43:25Z

by Dyke, Julian. author.
http://dx.doi.org/10.1007/978-1-4302-0214-1
Format: Electronic Resources

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program

2024-06-17T14:43:25Z

by Kohlas, Jürg. editor.
http://dx.doi.org/10.1007/11808107
Format: Electronic Resources

Web Services and Formal Methods Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings

2024-06-17T14:43:25Z

by Bravetti, Mario. editor.
http://dx.doi.org/10.1007/11841197
Format: Electronic Resources

Pro Nagios 2.0

2024-06-17T14:43:25Z

by Turnbull, James. author.
http://dx.doi.org/10.1007/978-1-4302-0153-3
Format: Electronic Resources

Cost-Based Oracle Fundamentals

2024-06-17T14:43:25Z

by Lewis, Jonathan. author.
http://dx.doi.org/10.1007/978-1-4302-0087-1
Format: Electronic Resources

Web Engineering

2024-06-17T14:43:25Z

by Mendes, Emilia. editor.
http://dx.doi.org/10.1007/3-540-28218-1
Format: Electronic Resources

Software Configuration Management Using Vesta

2024-06-17T14:43:25Z

by Heydon, Allan. author.
http://dx.doi.org/10.1007/978-0-387-30852-4
Format: Electronic Resources

Windows Server 2003 Networking Recipes

2024-06-17T14:43:25Z

by Allen, Robbie. author.
http://dx.doi.org/10.1007/978-1-4302-0185-4
Format: Electronic Resources

Developments in Risk-based Approaches to Safety Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, 7–9 February 2006

2024-06-17T14:43:25Z

by Redmill, Felix. editor.
http://dx.doi.org/10.1007/1-84628-447-3
Format: Electronic Resources

Reconfigurable Computing: Architectures and Applications Second International Workshop, ARC 2006, Delft, The Netherlands, March 1-3, 2006, Revised Selected Papers

2024-06-17T14:43:25Z

by Bertels, Koen. editor.
http://dx.doi.org/10.1007/11802839
Format: Electronic Resources

Diagnosis and Fault-Tolerant Control

2024-06-17T14:43:25Z

by Blanke, Mogens. author.
http://dx.doi.org/10.1007/978-3-540-35653-0
Format: Electronic Resources

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. Proceedings

2024-06-17T14:43:25Z

by Min, Geyong. editor.
http://dx.doi.org/10.1007/11942634
Format: Electronic Resources

Embedded Systems – Modeling, Technology, and Applications

2024-06-17T14:43:25Z

by Hommel, Günter. editor.
http://dx.doi.org/10.1007/1-4020-4933-1
Format: Electronic Resources

Telecommunications Planning: Innovations in Pricing, Network Design and Management

2024-06-17T14:43:25Z

by Raghavan, S. editor.
http://dx.doi.org/10.1007/0-387-29234-9
Format: Electronic Resources

Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings

2024-06-17T14:43:25Z

by Maziero, Carlos Alberto. editor.
http://dx.doi.org/10.1007/11572329
Format: Electronic Resources

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. Proceedings

2024-06-17T14:43:25Z

by Chen, Guihai. editor.
http://dx.doi.org/10.1007/11576259
Format: Electronic Resources

Performance Evaluation and Planning Methods for the Next Generation Internet

2024-06-17T14:43:25Z

by Girard, André. editor.
http://dx.doi.org/10.1007/b135550
Format: Electronic Resources

Quantitative Measure for Discrete Event Supervisory Control

2024-06-17T14:43:25Z

by Ray, Asok. editor.
http://dx.doi.org/10.1007/b103444
Format: Electronic Resources

Functional Verification of Programmable Embedded Architectures A Top-Down Approach

2024-06-17T14:43:25Z

by Mishra, Prabhat. author.
http://dx.doi.org/10.1007/b137514
Format: Electronic Resources

Event-Triggered and Time-Triggered Control Paradigms

2024-06-17T14:43:25Z

by Obermaisser, Roman. author.
http://dx.doi.org/10.1007/978-0-387-23044-3
Format: Electronic Resources

Analyzing Computer System Performance with Perl::PDQ

2024-06-17T14:43:25Z

by Gunther, Neil J. author.
http://dx.doi.org/10.1007/978-3-540-26860-4
Format: Electronic Resources

The Robosapien Companion Tips, Tricks, and Hacks

2024-06-17T14:43:25Z

by Samans, Jamie. author.
http://dx.doi.org/10.1007/978-1-4302-0056-7
Format: Electronic Resources

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. Proceedings

2024-06-17T14:43:25Z

by Reussner, Ralf. editor.
http://dx.doi.org/10.1007/11558569
Format: Electronic Resources

Parallel and Distributed Processing and Applications Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005. Proceedings

2024-06-17T14:43:25Z

by Pan, Yi. editor.
http://dx.doi.org/10.1007/11576235
Format: Electronic Resources

Microsoft Content Management Server Field Guide

2024-06-17T14:43:25Z

by Briand, François-Paul. author.
http://dx.doi.org/10.1007/978-1-4302-0041-3
Format: Electronic Resources

Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, 2005. Proceedings

2024-06-17T14:43:25Z

by Hämäläinen, Timo D. editor.
http://dx.doi.org/10.1007/b138322
Format: Electronic Resources

Control Reconfiguration of Dynamical Systems

2024-06-17T14:43:25Z

by Steffen, Thomas. author.
http://dx.doi.org/10.1007/b107072
Format: Electronic Resources

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. Proceedings

2024-06-17T14:43:25Z

by Boutaba, Raouf. editor.
http://dx.doi.org/10.1007/b136094
Format: Electronic Resources

Dependable Computing - EDCC 5 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005. Proceedings

2024-06-17T14:43:25Z

by Cin, Mario. editor.
http://dx.doi.org/10.1007/b107276
Format: Electronic Resources

Hardening Linux

2024-06-17T14:43:25Z

by Turnbull, James. author.
http://dx.doi.org/10.1007/978-1-4302-0005-5
Format: Electronic Resources

Expert Oracle Database Architecture 9i and 10g Programming Techniques and Solutions

2024-06-17T14:43:25Z

by Kyte, Thomas. author.
http://dx.doi.org/10.1007/978-1-4302-0067-3
Format: Electronic Resources

Embedded Software and Systems Second International Conference, ICESS 2005, Xi’an, China, December 16-18, 2005. Proceedings

2024-06-17T14:43:25Z

by Yang, Laurence T. editor.
http://dx.doi.org/10.1007/11599555
Format: Electronic Resources

Requirements Engineering

2024-06-17T14:43:25Z

by Hull, Elizabeth. author.
http://dx.doi.org/10.1007/b138335
Format: Electronic Resources

Constituents of Modern System-safety Thinking Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8–10 February 2005

2024-06-17T14:43:25Z

by Redmill, Felix. editor.
http://dx.doi.org/10.1007/b139109
Format: Electronic Resources

An Introduction to Queueing Theory and Matrix-Analytic Methods

2024-06-17T14:43:25Z

by Breuer, L. author.
http://dx.doi.org/10.1007/1-4020-3631-0
Format: Electronic Resources

Expert Oracle

2024-06-17T14:43:25Z

by Kyte, Thomas. author.
http://dx.doi.org/10.1007/978-1-4302-0019-2
Format: Electronic Resources

Passive and Active Network Measurement 6th International Workshop, PAM 2005, Boston, MA, USA, March 31 - April 1, 2005. Proceedings

2024-06-17T14:43:25Z

by Dovrolis, Constantinos. editor.
http://dx.doi.org/10.1007/b135479
Format: Electronic Resources

Embedded Software and Systems First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers

2024-06-17T14:43:25Z

by Wu, Zhaohui. editor.
http://dx.doi.org/10.1007/11535409
Format: Electronic Resources

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. Proceedings

2024-06-17T14:43:25Z

by Bravetti, Mario. editor.
http://dx.doi.org/10.1007/11549970
Format: Electronic Resources

Intelligent Document Retrieval Exploiting Markup Structure

2024-06-17T14:43:25Z

by Kruschwitz, Udo. author.
http://dx.doi.org/10.1007/1-4020-3768-6
Format: Electronic Resources

Advances in Natural Multimodal Dialogue Systems

2024-06-17T14:43:25Z

by Kuppevelt, Jan C. J. editor.
http://dx.doi.org/10.1007/1-4020-3933-6
Format: Electronic Resources

Software Process Modeling

2024-06-17T14:43:25Z

by Acuña, Silvia T. editor.
http://dx.doi.org/10.1007/b104986
Format: Electronic Resources

A Software Process Model Handbook for Incorporating People’s Capabilities

2024-06-17T14:43:25Z

by Acuña, Silvia Teresita. author.
http://dx.doi.org/10.1007/b106969
Format: Electronic Resources