Search Results - alternating specifications programming programming control https

Search alternatives:
alternating specifications » alternative specifications , integrating specification , lighting specifications
specifications programming » specification programming , specifications program , verification programming
programming programming » programming programmed , programming program
programming control » programming contract , programming contest , programming context
https » http

Programming Languages and Systems 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings /

Published 2013

Table of Contents: “... Theories.-Bi-abduction with Pure Properties for Specification Inference -- Laws of Programming...”
View full text

Electronic eBook

Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings /

Published 2010

Table of Contents: “... Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating...”
View full text

Electronic eBook

Conceptual Modeling - ER 2008 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008, Proceedings /

Published 2008

Table of Contents: “... Identity Management Based on Privacy Attribute Ontology -- Process mgt and Design -- Beyond Control-Flow...”
View full text

Electronic eBook

Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings /

Published 2005

Table of Contents: “... for Control Systems -- SVG Web Environment for Z Specification Language....”
View full text

Electronic eBook

Software Architecture First European Conference, ECSA 2007, Madrid, Spain, September 24-26, 2007, Proceedings /

Published 2007

Table of Contents: “... of Alternative Architectures -- Hierarchical Verification in Maude of LfP Software Architectures -- First Class...”
View full text

Electronic eBook

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings /

Published 2005

Table of Contents: “... File System for Cluster Grids -- Cooperative Write-Behind Data Buffering for MPI I/O -- Hint Controlled...”
View full text

Electronic eBook

Reliable Software Technology – Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings /

Published 2005

Table of Contents: “...Applications -- ILTIS – The Legacy of a Successful Product -- A Reference Control Architecture...”
View full text

Electronic eBook

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

Published 2014

Table of Contents: “... Alternative for SMT-Based Verification of Scade Models -- Improving Static Analyses of C Programs...”
View full text

Electronic eBook

Multiagent System Technologies Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005, Proceedings /

Published 2005

Table of Contents: “... Management in Distributed Systems -- Semantic Methods for P2P Query Routing -- Programming Cognitive Agents...”
View full text

Electronic eBook

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

Published 2014

Table of Contents: “... Evidence -- GRASShopper: Complete Heap Verification with Mixed Specifications -- Alternating Runtime...”
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: “...Quantitative Reactive -- Bottom-Up Meta-Modelling: An Interactive -- T_: A Domain Specific Language...”
View full text

Electronic eBook

Probabilistic Reasoning and Decision Making in Sensory-Motor Systems

Published 2008

Table of Contents: “...Probability as an Alternative to Logic for Rational Sensory–Motor Reasoning and Decision -- Basic...”
View full text

Electronic eBook

Quality of Software Architectures Second International Conference on Quality of Software Architectures, QoSA 2006, Västeras, Schweden, June 27-29, 2006, Revised Papers /

Published 2006

Table of Contents: “... and Alternative Approaches -- Composing with Style – Components Meet Architecture -- Abstracts of the Tutorials...”
View full text

Electronic eBook

Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings /

Published 2007

Table of Contents: “... to DA Research -- Toward Property-Driven Abstraction for Heap Manipulating Programs -- Branching vs...”
View full text

Electronic eBook

Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings /

Published 2006

Table of Contents: “... of Motifs in Brain-Specific and Muscle-Specific Alternative Splicing -- On Probe Permutation Graphs...”
View full text

Electronic eBook

Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007, Proceedings /

Published 2007

Table of Contents: “... for Whole Programs in Scratchpad Memory Allocation -- Evolution of NAND Flash Memory Interface -- FCC-SDP: A...”
View full text

Electronic eBook

Public Health Behind Bars From Prisons to Communities /

Published 2007

Table of Contents: “... Prisoners and the Case for Gender-Specific Treatment and Reentry Programs -- Building the Case for Oral...”
View full text

Electronic eBook

Practical Handbook of Thoracic Anesthesia

Published 2012

Table of Contents: “..., & Airway Exchange Catheters -- 11. Alternative Ventilatory Techniques -- 12. Respiratory Therapy Devices...”
View full text

Electronic eBook

Information Security and Cryptology Second SKLOIS Conference, Inscrypt 2006, Beijing, China, November 29 - December 1, 2006, Proceedings /

Published 2006

Table of Contents: “... -- Access Control -- A Verifiable Formal Specification for RBAC Model with Constraints of Separation of Duty...”
View full text

Electronic eBook

Advances in Computer Systems Architecture 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings /

Published 2005

Table of Contents: “... -- Session 1B: Methodologies and Architectures for Application-Specific Systems -- Design of an Efficient...”
View full text

Electronic eBook

Narrow Search