Výsledky vyhledávání - program generation https function monitoring https

Alternativní vyhledávání:
function monitoring » reaction monitoring , election monitoring , condition monitoring
program generation » program execution
generation https » degeneration https , generation hts , generation helps
monitoring https » monitoring hosts , monitoring holter , monitoring human
https function » its function , sites function , ups function

Database Theory and Application, Bio-Science and Bio-Technology International Conferences, DTA / BSBT 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju...

Vydáno 2010

Obsah: “... Representation and Reasoning -- On Defining Functional Dependencies in XML Schema -- The Lower and the Upper...”
Získat plný text

Elektronický zdroj E-kniha

Long-Term Ecological Research Between Theory and Application /

Vydáno 2010

Obsah: “... the Next Generation of Ecosystem Research in Europe: LTER-Europe’s Multi-Functional and Multi-Scale...”
Získat plný text

Elektronický zdroj E-kniha

Computer Aided Architectural Design Futures 2005 Proceedings of the 11th International CAAD Futures Conference held at the Vienna University of Technology, Vienna, Austria, on June...

Vydáno 2005

Obsah: “... Integer Programming -- Design Methods, Process and Creativity -- Examining Learning in Multiple Settings...”
Získat plný text

Elektronický zdroj E-kniha

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings /

Vydáno 2014

Obsah: “... Systems -- A Language-Independent Proof System for Mutual Program Equivalence -- PHASE: A Stochastic...”
Získat plný text

Elektronický zdroj E-kniha

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

Vydáno 2006

Obsah: “... in Applications Mapped to Configurable Architectures -- Generation of Control and Data Flow Graphs from Scheduled...”
Získat plný text

Elektronický zdroj E-kniha

AI 2008: Advances in Artificial Intelligence 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 3-5, 2008, Proceedings /

Vydáno 2008

Obsah: “... Solution -- Re-representation in a Logic-Based Model for Analogy Making -- Knowledge Generation...”
Získat plný text

Elektronický zdroj E-kniha

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings /

Vydáno 2005

Obsah: “... Algorithms -- From Logic to Games -- Proving Lower Bounds Via Pseudo-random Generators -- Erd?s Magic...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2008

Obsah: “... Automaton Model Checking -- Program Verification by Reduction to Semi-algebraic Systems Solving -- Debugging...”
Získat plný text

Elektronický zdroj E-kniha

Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings /

Vydáno 2014

Obsah: “... Monitoring in Practice – Checking Correctness of an Automotive Sensor Interface -- Analysis of Real-Time...”
Získat plný text

Elektronický zdroj E-kniha

Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009. Reports and Revised Selected Papers /

Vydáno 2010

Obsah: “... for Efficient Run-Time Monitoring -- Generating Synchronization Engines between Running Systems and Their Model...”
Získat plný text

Elektronický zdroj E-kniha

Software Architecture 4th European Conference , ECSA 2010, Copenhagen, Denmark, August 23-26, 2010, Proceedings /

Vydáno 2010

Obsah: “... Process of Students -- Towards Architecture-Centric Software Generation -- An Architectural Blueprint...”
Získat plný text

Elektronický zdroj E-kniha

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Vydáno 2013

Obsah: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Získat plný text

Elektronický zdroj E-kniha

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Vydáno 2014

Obsah: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Získat plný text

Elektronický zdroj E-kniha

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Vydáno 2010

Obsah: “... -- Designing Execution Control in Programs with Global Application States Monitoring -- Distributed MIND – A...”
Získat plný text

Elektronický zdroj E-kniha

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Vydáno 2015

Obsah: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Získat plný text

Elektronický zdroj E-kniha

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Vydáno 2010

Obsah: “...Invited Talks -- Policy Monitoring in First-Order Temporal Logic -- Retrofitting Legacy Code...”
Získat plný text

Elektronický zdroj E-kniha

Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings /

Vydáno 2008

Obsah: “... -- Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis -- Monitoring Atomicity...”
Získat plný text

Elektronický zdroj E-kniha

Progress in Artificial Intelligence 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings /

Vydáno 2005

Obsah: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
Získat plný text

Elektronický zdroj E-kniha

Innovations in Computing Sciences and Software Engineering

Vydáno 2010

Obsah: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
Získat plný text

Elektronický zdroj E-kniha

Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings /

Vydáno 2014

Obsah: “...Testing Methodologies -- A Framework for Genetic Test-Case Generation for WS-BPEL Compositions...”
Získat plný text

Elektronický zdroj E-kniha

1
2
3
4
5
Další »
[5]

Upřesnit hledání