Search Results - interactive simulation programs program coverage https

Search alternatives:
interactive simulation » interactive simulations , interactive visualization
simulation programs » simulation program , simulation programming , education programs
programs program » programming program
program coverage » problem coverage , program overall , programs average
coverage https » coverage status , coverage holes , coverage rates

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

Published 2015

Table of Contents: “... -- Testing Functional Requirements in UML Activity Diagrams -- Coverage of OCL Operation Specifications...”
View full text

Electronic eBook

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings /

Published 2012

Table of Contents: “... Test Coverage Criteria Using Mutation Analysis -- Seeing Errors: Model Driven Simulation Trace...”
View full text

Electronic eBook

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings /

Published 2014

Table of Contents: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
View full text

Electronic eBook

Context in Computing A Cross-Disciplinary Approach for Modeling the Real World /

Published 2014

Table of Contents: “... -- Contextual cognition in social simulation -- SocioPlatform: A Platform for Social Context-Aware Applications...”
View full text

Electronic eBook

MATLAB for Psychologists

by Borgo, Mauro., Borgo, Mauro., Soranzo, Alessandro., Grassi, Massimo.
Published 2012

Table of Contents: “.... Start Programming -- Chapter 5. A Better Sound -- Chapter 6. Create and Process Images -- Chapter 7...”
View full text

Electronic eBook

Formal Approaches to Software Testing 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers /

Published 2006

Table of Contents: “...Proceedings FATES 2005 -- Simulated Time for Testing Railway Interlockings with TTCN-3 -- Model...”
View full text

Electronic eBook

Handbook of Ambient Intelligence and Smart Environments

Published 2010

Table of Contents: “...) in AI Systems Solutions -- Multi-Agents -- Multi-Agent Social Simulation -- Multi-Agent Strategic...”
View full text

Electronic eBook

Advanced Intelligent Computing Theories and Applications With Aspects of Contemporary Intelligent Computing Techniques /

Published 2008

Table of Contents: “... Facility Location Problem -- Fourier Series Chaotic Neural Networks -- Numerical Simulation...”
View full text

Electronic eBook

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 /

Published 2014

Table of Contents: “... of the West Bengal Power Network -- Comparison and Analysis of Node Deployment for Efficient Coverage...”
View full text

Electronic eBook

Information Processing and Management International Conference on Recent Trends in Business Administration and Information Processing, BAIP 2010, Trivandrum, Kerala, India, March 2...

Published 2010

Table of Contents: “... on Effectiveness of Simulation Results for Wireless Sensor Networks -- A Novel Multipath Routing Scheme in Mobile...”
View full text

Electronic eBook

Dynamical Systems with Applications using Maple™

by Lynch, Stephen., Lynch, Stephen.
Published 2010

Table of Contents: “...A Tutorial Introduction to Maple -- Differential Equations -- Planar Systems -- Interacting Species...”
View full text

Electronic eBook

SystemVerilog for Verification A Guide to Learning the Testbench Language Features /

by Spear, Chris., Spear, Chris.
Published 2008

Table of Contents: “... Connecting It All Together -- 4.6 Top-Level Scope -- 4.7 Program — Module Interactions -- 4.8 SystemVerilog...”
View full text

Electronic eBook

Wired/Wireless Internet Communications 4th International Conference, WWIC 2006, Bern, Switzerland, May 10-12, 2006, Proceedings /

Published 2006

Table of Contents: “...Session 1: Mobile Ad-Hoc Networks -- Simulating Mobile Ad-Hoc Networks in City Scenarios -- Context...”
View full text

Electronic eBook

Advanced Electrical and Electronics Engineering Volume 2 /

Published 2011

Table of Contents: “... Satellites -- iCloudMedia: A Business Model for Cloud-Based Interactive Multimedia Services -- Study...”
View full text

Electronic eBook

Intraoperative Imaging and Image-Guided Therapy

Published 2014

Table of Contents: “... and Simulation -- Computational Support for Intraoperative Imaging and IGT -- Registration and Segmentation...”
View full text

Electronic eBook

Knowledge-Based and Intelligent Information and Engineering Systems 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part II /

Published 2010

Table of Contents: “... Interactions among Users in Urban Computing Environments -- Multi-criteria Retrieval in Cultural Heritage...”
View full text

Electronic eBook

Network and Parallel Computing IFIP International Conference, NPC 2007, Dalian, China, September 18-21, 2007, Proceedings /

Published 2007

Table of Contents: “... Techniques -- A Hierarchical Programming Model for Large Parallel Interactive Applications -- Design of a...”
View full text

Electronic eBook

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I /

Published 2013

Table of Contents: “... -- Simulated Annealing Based Real Power Loss Minimization Aspect for a Large Power Network -- Hybrid Artificial...”
View full text

Electronic eBook

Research and Development in Intelligent Systems XXX Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013, The Thirty-third SGAI Internationa...

Published 2013

Table of Contents: “... Analysis in Social Media Using High-Coverage Lexicon -- Profiling Spatial Collectives -- Sentiment...”
View full text

Electronic eBook

Advances in Multimedia Information Processing - PCM 2005 6th Pacific Rim Conference on Multimedia, Jeju Island, Korea, November 11-13, 2005, Proceedings, Part II /

Published 2005

Table of Contents: “... Services in Vertical Handoff -- MPEG-4 FGS Video Traffic Model and Its Application in Simulations...”
View full text

Electronic eBook

Narrow Search