Sökresultat - interactive simulations programs program coverage https

1

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

Publicerad 2015

Innehållsförteckning: “... -- Testing Functional Requirements in UML Activity Diagrams -- Coverage of OCL Operation Specifications...”
Hämta fulltext

Elektronisk E-bok

2

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

Publicerad 2012

Innehållsförteckning: “... Test Coverage Criteria Using Mutation Analysis -- Seeing Errors: Model Driven Simulation Trace...”
Hämta fulltext

Elektronisk E-bok

3

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

Publicerad 2014

Innehållsförteckning: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Hämta fulltext

Elektronisk E-bok

4

MATLAB for Psychologists

av Borgo, Mauro., Borgo, Mauro., Soranzo, Alessandro., Grassi, Massimo.
Publicerad 2012

Innehållsförteckning: “.... Start Programming -- Chapter 5. A Better Sound -- Chapter 6. Create and Process Images -- Chapter 7...”
Hämta fulltext

Elektronisk E-bok

5

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

Publicerad 2014

Innehållsförteckning: “... -- Contextual cognition in social simulation -- SocioPlatform: A Platform for Social Context-Aware Applications...”
Hämta fulltext

Elektronisk E-bok

6

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

Publicerad 2006

Innehållsförteckning: “...Proceedings FATES 2005 -- Simulated Time for Testing Railway Interlockings with TTCN-3 -- Model...”
Hämta fulltext

Elektronisk E-bok

7

Handbook of Ambient Intelligence and Smart Environments

Publicerad 2010

Innehållsförteckning: “...) in AI Systems Solutions -- Multi-Agents -- Multi-Agent Social Simulation -- Multi-Agent Strategic...”
Hämta fulltext

Elektronisk E-bok

8

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

Publicerad 2008

Innehållsförteckning: “... Facility Location Problem -- Fourier Series Chaotic Neural Networks -- Numerical Simulation...”
Hämta fulltext

Elektronisk E-bok

9

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

Publicerad 2014

Innehållsförteckning: “... of the West Bengal Power Network -- Comparison and Analysis of Node Deployment for Efficient Coverage...”
Hämta fulltext

Elektronisk E-bok

10

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

Publicerad 2010

Innehållsförteckning: “... on Effectiveness of Simulation Results for Wireless Sensor Networks -- A Novel Multipath Routing Scheme in Mobile...”
Hämta fulltext

Elektronisk E-bok

11

Dynamical Systems with Applications using Maple™

av Lynch, Stephen., Lynch, Stephen.
Publicerad 2010

Innehållsförteckning: “...A Tutorial Introduction to Maple -- Differential Equations -- Planar Systems -- Interacting Species...”
Hämta fulltext

Elektronisk E-bok

12

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

av Spear, Chris., Spear, Chris.
Publicerad 2008

Innehållsförteckning: “... Connecting It All Together -- 4.6 Top-Level Scope -- 4.7 Program — Module Interactions -- 4.8 SystemVerilog...”
Hämta fulltext

Elektronisk E-bok

13

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

Publicerad 2006

Innehållsförteckning: “...Session 1: Mobile Ad-Hoc Networks -- Simulating Mobile Ad-Hoc Networks in City Scenarios -- Context...”
Hämta fulltext

Elektronisk E-bok

14

Intraoperative Imaging and Image-Guided Therapy

Publicerad 2014

Innehållsförteckning: “... and Simulation -- Computational Support for Intraoperative Imaging and IGT -- Registration and Segmentation...”
Hämta fulltext

Elektronisk E-bok

15

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

Publicerad 2010

Innehållsförteckning: “... Interactions among Users in Urban Computing Environments -- Multi-criteria Retrieval in Cultural Heritage...”
Hämta fulltext

Elektronisk E-bok

16

Advanced Electrical and Electronics Engineering Volume 2 /

Publicerad 2011

Innehållsförteckning: “... Satellites -- iCloudMedia: A Business Model for Cloud-Based Interactive Multimedia Services -- Study...”
Hämta fulltext

Elektronisk E-bok

17

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

Publicerad 2007

Innehållsförteckning: “... Techniques -- A Hierarchical Programming Model for Large Parallel Interactive Applications -- Design of a...”
Hämta fulltext

Elektronisk E-bok

18

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

Publicerad 2005

Innehållsförteckning: “... Services in Vertical Handoff -- MPEG-4 FGS Video Traffic Model and Its Application in Simulations...”
Hämta fulltext

Elektronisk E-bok

19

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

Publicerad 2013

Innehållsförteckning: “... -- Simulated Annealing Based Real Power Loss Minimization Aspect for a Large Power Network -- Hybrid Artificial...”
Hämta fulltext

Elektronisk E-bok

20

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

Publicerad 2013

Innehållsförteckning: “... Analysis in Social Media Using High-Coverage Lexicon -- Profiling Spatial Collectives -- Sentiment...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen