Risultati della ricerca - interactive revision programs developing complexity https

Cerca anche:
developing complexity » development complexity , developing complex , exploring complexity
interactive revision » interactive decision , interaction revision , iterative revision
programs developing » projects developing , program development , process developing
revision programs » television programs , revision problems , pension programs
https » http

Rigorous Development of Complex Fault-Tolerant Systems

Pubblicazione 2006

Sommario: “...-Oriented Development of Fault Tolerant Communicating Systems -- Programming-Logic Analysis of Fault...”
Testo

Elettronico eBook

Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings /

Pubblicazione 2012

Sommario: “... on Complex Data -- Bag Equivalence via a Proof-Relevant Membership Relation -- Applying Data Refinement...”
Testo

Elettronico eBook

Engineering Interactive Systems EIS 2007 Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers /

Pubblicazione 2008

Sommario: “... of Complexity and Reasons for Muddling through -- Applying Graph Theory to Interaction Design -- Mathematical...”
Testo

Elettronico eBook

Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD...

Pubblicazione 2008

Sommario: “... for Vehicle Motion Control -- A Software and System Modeling Facility for Vehicle Environment Interactions...”
Testo

Elettronico eBook

Languages, Methodologies and Development Tools for Multi-Agent Systems First International Workshop...

Pubblicazione 2008

Sommario: “... and Design -- Extending the MaSE Methodology for the Development of Embedded Real-Time Systems -- Measuring...”
Testo

Elettronico eBook

Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012, Proceedings /

Pubblicazione 2012

Sommario: “... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”
Testo

Elettronico eBook

OpenMP Shared Memory Parallel Programming International Workshop, IWOMP 2005 and IWOMP 2006, Eugene...

Pubblicazione 2008

Sommario: “... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...”
Testo

Elettronico eBook

Bioinspired Models of Network, Information, and Computing Systems 4th International Conference, December 9-11, 2009, Revised Selected Papers /

Pubblicazione 2010

Sommario: “... Based Approach for Developing Ontogenetic Software Systems -- Embryonic Models for Self–healing...”
Testo

Elettronico eBook

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

Pubblicazione 2005

Sommario: “... Grid Developments in the OpenMolGRID Project -- ATLAS Data Challenge 2: A Massive Monte Carlo...”
Testo

Elettronico eBook

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /

Pubblicazione 2010

Sommario: “... Driven Development -- Session 2. Regular Papers -- Termination in Higher-Order Concurrent Calculi...”
Testo

Elettronico eBook

Globalizing Domain-Specific Languages International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers /

Pubblicazione 2015

Soggetti: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Testo

Elettronico eBook

High Performance Computing Systems and Applications 23rd International Symposium, HPCS 2009, Kingston, Ontario, Canada, June 14-17, 2009, Revised Selected Papers /

Pubblicazione 2010

Sommario: “...Turbulence -- Direct Numerical Simulation of Fully-Developed Turbulent Channel Flow Using...”
Testo

Elettronico eBook

Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers /

Pubblicazione 2007

Sommario: “...Modelling and Design of Agent Systems -- An Agent-Environment Interaction Model -- Allocating Goals...”
Testo

Elettronico eBook

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised Selected Papers /

Pubblicazione 2008

Sommario: “...-Based Rendering -- Development of an Interactive Visual Data Mining System for Atmospheric Science -- A...”
Testo

Elettronico eBook

Agent-Oriented Software Engineering VIII 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers /

Pubblicazione 2008

Sommario: “...AOSE Methodology and Processes -- O-MaSE: A Customizable Approach to Developing Multiagent...”
Testo

Elettronico eBook

Task Models and Diagrams for Users Interface Design 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006, Revised Papers /

Pubblicazione 2007

Sommario: “...-Based Approach to Develop Interactive System Using IMML -- User Interface Patterns -- PIM Tool: Support...”
Testo

Elettronico eBook

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers /

Pubblicazione 2014

Sommario: “...Towards Global and Local Types for Adaptation.- A Concurrent Programming Language with Refined...”
Testo

Elettronico eBook

Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers /

Pubblicazione 2007

Sommario: “... and Policies in Complex Socio-technical Safety-Critical Domains: An Analysis of the Air Traffic Management...”
Testo

Elettronico eBook

Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers /

Pubblicazione 2005

Sommario: “... Complexity -- Applying Story Driven Modeling to the Paderborn Shuttle System Case Study -- Traceability...”
Testo

Elettronico eBook

Information Security and Cryptology - ICISC 2009 12th International Conference, Seoul, Korea, December 2-4. 2009. Revised Selected Papers /

Pubblicazione 2010

Soggetti: “...Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product...”
Testo

Elettronico eBook

Restringi la ricerca