Search Results - integration declarative programming programming constructs https

Search alternatives:
integration declarative » interaction declarative , integration comparative , integration collaborative
declarative programming » recursive programming
programming programming » programming programmed , programming program
programming constructs » programming concepts , programming contest
constructs https » construction https , constructs loops , constructs arti

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings /

Published 2008

Table of Contents: “... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...”
View full text

Electronic eBook

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /

Published 2013

Table of Contents: “...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”
View full text

Electronic eBook

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference...

Published 2014

Table of Contents: “... Engineering of Supervisory Controllers -- EDD: A Declarative Debugger for Sequential Erlang Programs -- APTE...”
View full text

Electronic eBook

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007...

Published 2007

Table of Contents: “... Demonstrations -- Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More...”
View full text

Electronic eBook

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings /

Published 2008

Table of Contents: “... for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from...”
View full text

Electronic eBook

Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers /

Published 2014

Table of Contents: “...Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification...”
View full text

Electronic eBook

Interactive Theorem Proving First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings /

Published 2010

Table of Contents: “... for Declarative Proofs -- Programming Language Techniques for Cryptographic Proofs -- Nitpick: A Counterexample...”
View full text

Electronic eBook

Business Process Management Workshops BPM 2009 International Workshops, Ulm, Germany, September 7, 2009, Revised Papers /

Published 2010

Table of Contents: “... and a Use Case -- Integrating Users in Object-Aware Process Management Systems: Issues and Challenges...”
View full text

Electronic eBook

Advanced Information Systems Engineering 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005, Proceedings /

Published 2005

Table of Contents: “... -- The Association Construct in Conceptual Modelling – An Analysis Using the Bunge Ontological Model -- Computing...”
View full text

Electronic eBook

Conceptual Modeling - ER 2007 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007, Proceedings /

Published 2007

Table of Contents: “... Integration -- Generic Schema Mappings -- Relational Data Tailoring Through View Composition...”
View full text

Electronic eBook

Knowledge Science, Engineering and Management 4th International Conference, KSEM 2010, Belfast, Northern Ireland, UK, September 1-3, 2010, Proceedings /

Published 2010

Table of Contents: “... Itemsets and Rare Association Rules -- Background Knowledge Integration in Clustering Using Purity Indexes...”
View full text

Electronic eBook

On the Move to Meaningful Internet Systems: OTM 2014 Conferences Confederated International Conferences: CoopIS and ODBASE 2014, Amantea, Italy, October 27-31, 2014. Proceedings /

Published 2014

Table of Contents: “... -- Improving Alignment -- Prognosing the Compliance of Declarative Business Processes Using Event Trace...”
View full text

Electronic eBook

Business Process Management Workshops BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM, semantics4ws, Vienna, Austria, September 4-7, 2006, Proceedings /

Published 2006

Table of Contents: “... Protocol Construction as a Basis for Integration Architecture Configuration -- A P2P Approach for Business...”
View full text

Electronic eBook

Research and Advanced Technology for Digital Libraries 9th European Conference, ECDL 2005, Vienna, Austria, September 18-23, 2005, Proceedings /

Published 2005

Table of Contents: “..., Mapping-Based Integration of Heterogeneous Collections into Archaeological Digital Libraries: Megiddo Case...”
View full text

Electronic eBook

Narrow Search