Search Results for - Narrowed by: Software engineering. - System Performance and Evaluation.

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

2024-06-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

by Colombo, Christian. editor.
https://doi.org/10.1007/978-3-030-03769-7
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-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

by Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772
https://doi.org/10.1007/978-3-030-02768-1
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-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

by Bakhshi, Rena. editor.
https://doi.org/10.1007/978-3-030-02227-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-01T13:50:41Z

by Yang, Alvin. editor.
https://doi.org/10.1007/978-3-319-94472-2
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-01T13:50:41Z

by Rensink, Arend. editor. (orcid)0000-0002-1714-6319
https://doi.org/10.1007/978-3-319-93317-7
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-01T13:50:41Z

by Czachórski, Tadeusz. editor. (orcid)0000-0001-7158-0258
https://doi.org/10.1007/978-3-030-00840-6
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-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

by Dutle, Aaron. editor.
https://doi.org/10.1007/978-3-319-77935-5
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-01T13:50:41Z

by Montavont, Nicolas. editor.
https://doi.org/10.1007/978-3-030-00247-3
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-01T13:50:41Z

by Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
https://doi.org/10.1007/978-3-319-89960-2
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-01T13:50:41Z

by Pires, Luís Ferreira. editor.
https://doi.org/10.1007/978-3-319-94764-8
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-01T13:50:41Z

by Luo, Min. editor.
https://doi.org/10.1007/978-3-319-94295-7
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-01T13:50:41Z

by Heras, Dora B. editor.
https://doi.org/10.1007/978-3-319-75178-8
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-01T13:50:41Z

by Piskac, Ruzica. editor.
https://doi.org/10.1007/978-3-030-03592-1
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-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

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

Lectures on Runtime Verification Introductory and Advanced Topics

2024-06-01T13:50:41Z

by Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601
https://doi.org/10.1007/978-3-319-75632-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-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

by Cabello, Enrique. editor.
https://doi.org/10.1007/978-3-319-93641-3
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-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

by Podelski, Andreas. editor.
https://doi.org/10.1007/978-3-319-99725-4
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-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

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-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

by Huang, Mengxing. editor.
https://doi.org/10.1007/978-3-319-72998-5
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-01T13:50:41Z

by Baier, Christel. editor. (orcid)0000-0002-5321-9343
https://doi.org/10.1007/978-3-319-89366-2
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-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

by Krogstie, John. editor.
https://doi.org/10.1007/978-3-319-91563-0
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-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

by Gallagher, John P. editor.
https://doi.org/10.1007/978-3-319-90686-7
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-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

by Feng, Xinyu. editor.
https://doi.org/10.1007/978-3-319-99933-3
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-01T13:50:41Z

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-01T13:50:41Z

by Stamelos, Ioannis. editor.
https://doi.org/10.1007/978-3-319-92375-8
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-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

by Li, Bo. editor.
https://doi.org/10.1007/978-3-319-78139-6
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-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

by Medina, Manel. editor.
https://doi.org/10.1007/978-3-030-02547-2
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-01T13:50:41Z

by Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831
https://doi.org/10.1007/978-3-319-74313-4
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-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

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

Guide to Software Development Designing and Managing the Life Cycle

2024-06-01T13:50:41Z

by Langer, Arthur M. author.
https://doi.org/10.1007/978-1-4471-6799-0
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-01T13:50:41Z

by Jelasity, Márk. editor.
https://doi.org/10.1007/978-3-319-39577-7
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-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

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-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

by Xu, Weixia. editor.
https://doi.org/10.1007/978-3-662-49283-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-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

by Fiems, Dieter. editor.
https://doi.org/10.1007/978-3-319-46433-6
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-01T13:50:41Z

by Mamatas, Lefteris. editor.
https://doi.org/10.1007/978-3-319-33936-8
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-01T13:50:41Z

by van Eekelen, Marko. editor.
https://doi.org/10.1007/978-3-319-46559-3
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-01T13:50:41Z

by Mendizabal, Jaizki. editor.
https://doi.org/10.1007/978-3-319-38921-9
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-01T13:50:41Z

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

Internetware A New Software Paradigm for Internet Computing

2024-06-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

by Leucker, Martin. editor.
http://dx.doi.org/10.1007/978-3-540-89247-2
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-01T13:50:41Z

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

Network Performance Analysis Using the J Programming Language

2024-06-01T13:50:41Z

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

Guide to Advanced Empirical Software Engineering

2024-06-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

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

Improvements in System Safety

2024-06-01T13:50:41Z

by Redmill, Felix. editor.
http://dx.doi.org/10.1007/978-1-84800-100-8
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-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

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-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

by Beckert, Bernhard. editor.
http://dx.doi.org/10.1007/978-3-540-79124-9
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-01T13:50:41Z

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

The Common Component Modeling Example Comparing Software Component Models

2024-06-01T13:50:41Z

by Rausch, Andreas. editor.
http://dx.doi.org/10.1007/978-3-540-85289-6
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-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

by Thomas, Nigel. editor.
http://dx.doi.org/10.1007/978-3-540-87412-6
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-01T13:50:41Z

by Luque, Emilio. editor.
http://dx.doi.org/10.1007/978-3-540-85451-7
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-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

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-01T13:50:41Z

by Thulasiraman, Parimala. editor.
http://dx.doi.org/10.1007/978-3-540-74767-3
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-01T13:50:41Z

by Wolter, Katinka. editor.
http://dx.doi.org/10.1007/978-3-540-75211-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-01T13:50:41Z

by Tomkos, Ioannis. editor.
http://dx.doi.org/10.1007/978-3-540-72731-6
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-01T13:50:41Z

by Draheim, Dirk. editor.
http://dx.doi.org/10.1007/978-3-540-75912-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-01T13:50:41Z

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

Test and Analysis of Web Services

2024-06-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

by Cérin, Christophe. editor.
http://dx.doi.org/10.1007/978-3-540-72360-8
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-01T13:50:41Z

by Koucheryavy, Yevgeni. editor.
http://dx.doi.org/10.1007/978-3-540-74833-5
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-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

by Bondavalli, Andrea. editor.
http://dx.doi.org/10.1007/978-3-540-75294-3
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-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

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-01T13:50:41Z

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

Advanced Memory Optimization Techniques for Low-Power Embedded Processors

2024-06-01T13:50:41Z

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

Software Configuration Management Using Vesta

2024-06-01T13:50:41Z

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

Embedded Systems – Modeling, Technology, and Applications

2024-06-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

by Dyke, Julian. author.
http://dx.doi.org/10.1007/978-1-4302-0214-1
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-01T13:50:41Z

by Boavida, Fernando. editor.
http://dx.doi.org/10.1007/11753810
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-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

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

Web Engineering

2024-06-01T13:50:41Z

by Mendes, Emilia. editor.
http://dx.doi.org/10.1007/3-540-28218-1
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-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

by Cheng, Xiuzhen. editor.
http://dx.doi.org/10.1007/11814856
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-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

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-01T13:50:41Z

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-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

by Bravetti, Mario. editor.
http://dx.doi.org/10.1007/11841197
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-01T13:50:41Z

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

Event-Triggered and Time-Triggered Control Paradigms

2024-06-01T13:50:41Z

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

A Software Process Model Handbook for Incorporating People’s Capabilities

2024-06-01T13:50:41Z

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

Functional Verification of Programmable Embedded Architectures A Top-Down Approach

2024-06-01T13:50:41Z

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

Software Process Modeling

2024-06-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

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

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

2024-06-01T13:50:41Z

by Yang, Laurence T. editor.
http://dx.doi.org/10.1007/11599555
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-01T13:50:41Z

by Bravetti, Mario. editor.
http://dx.doi.org/10.1007/11549970
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-01T13:50:41Z

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-01T13:50:41Z

by Cin, Mario. editor.
http://dx.doi.org/10.1007/b107276
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-01T13:50:41Z

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

Requirements Engineering

2024-06-01T13:50:41Z

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

Analyzing Computer System Performance with Perl::PDQ

2024-06-01T13:50:41Z

by Gunther, Neil J. author.
http://dx.doi.org/10.1007/978-3-540-26860-4
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-01T13:50:41Z

by Reussner, Ralf. editor.
http://dx.doi.org/10.1007/11558569
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-01T13:50:41Z

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

Expert Oracle

2024-06-01T13:50:41Z

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