Search Results - integrating identification programming program contracts https

Search alternatives:
integrating identification » integration identification , interactions identification , interaction identification
identification programming » identification programmes , specification programming , verification programming
programming program » programming programmed , programming problem , programming problems
program contracts » programme contract , program abstracts , program controls
https » http

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Published 2010

Table of Contents: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
View full text

Electronic eBook

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

Published 2014

Table of Contents: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
View full text

Electronic eBook

Information Systems Development Asian Experiences /

Published 2011

Table of Contents: “... and Negative Examples on Object Modeling -- Part 2 IS/IT Project Management -- A Social Contract for University...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...”
View full text

Electronic eBook

Balancing Agility and Formalism in Software Engineering Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, Octo...

Published 2008

Table of Contents: “... of Software Metrics -- Automatic Transactions Identification in Use Cases -- Processes -- A Collaborative...”
View full text

Electronic eBook

Autonomic and Trusted Computing Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006 /

Published 2006

Table of Contents: “... Using Negotiable Contracts -- Self-configuration Via Cooperative Social Behavior -- Towards Ontology...”
View full text

Electronic eBook

Service-Oriented Computing 8th International Conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings /

Published 2010

Table of Contents: “... Service Planning -- Integrated Service Process Adaptation -- Contract Based, Non-invasive, Black-Box...”
View full text

Electronic eBook

Three Decades of Progress in Control Sciences Dedicated to Chris Byrnes and Anders Lindquist /

Published 2010

Table of Contents: “... -- Semi-supervised Regression and System Identification, -- Path Integrals and Bézoutians for a Class...”
View full text

Electronic eBook

Generalized Convexity, Generalized Monotonicity and Applications Proceedings of the 7th International Symposium on Generalized Convexity and Generalized Monotonicity /

Published 2005

Table of Contents: “... Hydrothermal Scheduling -- ?-Optimality for Nonsmooth Programming on a Hilbert Space -- Identification...”
View full text

Electronic eBook

The Semantic Web: Research and Applications 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings /

Published 2007

Table of Contents: “... Deductive Systems for RDF -- Semantic Web Services -- Web Service Contracting: Specification and Reasoning...”
View full text

Electronic eBook

Bioinformatics and Biomedical Engineering Third International Conference, IWBBIO 2015, Granada, Spain, April 15-17, 2015. Proceedings, Part I /

Published 2015

Table of Contents: “... programming model for genome rearrangement problems -- Statistical integration of p-values for enhancing...”
View full text

Electronic eBook

Process Automation Handbook A Guide to Theory and Practice /

by Love, Jonathan., Love, Jonathan.
Published 2007

Table of Contents: “... Interface -- Integrated Alarm Environment -- Analogue Control Loop -- Database Operations and Structure...”
View full text

Electronic eBook

Emerging Technologies for Information Systems, Computing, and Management

Published 2013

Table of Contents: “... -- Anomaly Detection Algorithm Based on Pattern Density in Time Series -- Integrative Optimal Design...”
View full text

Electronic eBook

Progress in Pattern Recognition, Image Analysis and Applications 11th Iberoamerican Congress on Pattern Recognition, CIARP 2006, Cancún, Mexico, November 14-17, 2006, Proce...

Published 2006

Table of Contents: “... Translucency Using Dynamic Programming -- A Method for Detection and Modeling of the Human Spine Based...”
View full text

Electronic eBook

Public Key Infrastructure 4th European PKI Workshop: Theory and Practice, EuroPKI 2007, Palma de Mallorca, Spain, June 28-30, 2007, Proceedings /

Published 2007

Table of Contents: “... Problem and Concurrent Secure Identification -- An Efficient Signcryption Scheme with Key Privacy...”
View full text

Electronic eBook

Digital Enterprise Technology Perspectives and Future Challenges /

Published 2007

Table of Contents: “... Smes -- Production Monitoring Linked To Object Identification And Tracking– A Step Towards Real Time...”
View full text

Electronic eBook

New Trends in Networking, Computing, E-learning, Systems Sciences, and Engineering

Published 2015

Table of Contents: “... on receiving side -- Clustering-Based Topic Identification of Transcribed Arabic Broadcast News -- Epilepsy...”
View full text

Electronic eBook

Industrial Engineering, Management Science and Applications 2015

Published 2015

Table of Contents: “...; Markus Philipp Roessler, et al -- Automatic Oil Palm Detection and Identification from Multi-scale...”
View full text

Electronic eBook

Proceedings of International Conference on Computer Science and Information Technology CSAIT 2013, September 21-23, 2013, Kunming, China /

Published 2014

Table of Contents: “... with Spatially Adapted Parameter Selection -- Research of Vehicle Identification Based on Adaptive Corner...”
View full text

Electronic eBook

Narrow Search