Rezultati - location verification programming programming control https

Poišči alternative:
verification programming » specification programming , identification programming , verification program
programming programming » programming programmed , programming program
location verification » calculations verification
programming control » programming contract , programming contest , programming context
https » http

Aliasing in Object-Oriented Programming Types, Analysis and Verification /

Izdano 2013

Kazalo: “... Control for Deterministic Parallelism.- Alias Analysis for Object-Oriented Programs.- Immutability...”
Polni tekst

Elektronski eKnjiga

Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings /

Izdano 2005

Kazalo: “... and Invariance Analysis of Loops -- Some Perspectives of Infinite-State Verification -- Model Checking...”
Polni tekst

Elektronski eKnjiga

Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings /

Izdano 2006

Kazalo: “... Actions for External Prolog Predicates -- Controlling Search Space Materialization in a Practical...”
Polni tekst

Elektronski eKnjiga

Hybrid Systems: Computation and Control 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings /

Izdano 2006

Kazalo: “... Location and Control Computation -- Approximate Reachability Computation for Polynomial Systems -- A...”
Polni tekst

Elektronski eKnjiga

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings /

Izdano 2008

Kazalo: “... Hybrid System Identification -- Verification of Supervisory Control Software Using State Proximity...”
Polni tekst

Elektronski eKnjiga

Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers /

Izdano 2008

Kazalo: “...Trustworthy Global Computing -- Elimination of Ghost Variables in Program Logics -- Web Service...”
Polni tekst

Elektronski eKnjiga

Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings /

Izdano 2008

Kazalo: “... Linear Constraints for Moding CLP( ) Programs -- On Polymorphic Recursion, Type Systems, and Abstract...”
Polni tekst

Elektronski eKnjiga

Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings /

Izdano 2006

Kazalo: “... Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System...”
Polni tekst

Elektronski eKnjiga

Rigorous Development of Complex Fault-Tolerant Systems

Izdano 2006

Kazalo: “... at the Architectural Level -- Are Practitioners Writing Contracts? -- Determining the Specification of a Control System...”
Polni tekst

Elektronski eKnjiga

Informatics in Control, Automation and Robotics I

Izdano 2006

Kazalo: “...”? Applying formal verification methods and real-time rule-based systems to control systems and robotics...”
Polni tekst

Elektronski eKnjiga

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Izdano 2007

Kazalo: “... Tree in Peer to Peer Systems -- Efficient Race Verification for Debugging Programs with OpenMP...”
Polni tekst

Elektronski eKnjiga

Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings /

Izdano 2007

Kazalo: “... -- Efficient Detection of Zeno Runs in Timed Automata -- Partial Order Reduction for Verification of Real-Time...”
Polni tekst

Elektronski eKnjiga

Principles of Distributed Systems 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers /

Izdano 2005

Kazalo: “... for Energy Consumption and k-Connectivity of Networks of Sensors -- Secure Location Verification Using Radio...”
Polni tekst

Elektronski eKnjiga

Distributed Computing and Networking 8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006, Proceedings /

Izdano 2006

Kazalo: “... Coding -- Session VII A: Sensor Networks -- Location Verification Based Defense Against Sybil Attack...”
Polni tekst

Elektronski eKnjiga

Image and Signal Processing 3rd International Conference, ICISP 2008, Cherbourg-Octeville, France, July 1-3, 2008, Proceedings /

Izdano 2008

Kazalo: “... -- Markerless Augmented Reality Using Image Mosaics -- Retracted: A Novel Text-Independent Speaker Verification...”
Polni tekst

Elektronski eKnjiga

Algorithms - ESA 2008 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008, Proceedings /

Izdano 2008

Kazalo: “... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...”
Polni tekst

Elektronski eKnjiga

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Izdano 2005

Kazalo: “... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”
Polni tekst

Elektronski eKnjiga

Intelligent Agents and Multi-Agent Systems 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008, Proceedings /

Izdano 2008

Kazalo: “... Reinforcement Learning -- Reo Connectors as Coordination Artifacts in 2APL Systems -- A Verification Framework...”
Polni tekst

Elektronski eKnjiga

Air Pollution Modeling and Its Application XIX

Izdano 2008

Kazalo: “... Decision Support System for Airborne Animal Diseases -- 2.13 Development and Verification of TAPM -- 2.14...”
Polni tekst

Elektronski eKnjiga

Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering

Izdano 2013

Kazalo: “... Database Schemas -- Pareto Front Investigation of Multivariable Control Systems -- Multi-objective...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje