Search Results - interactions expression programming programming contract https

Search alternatives:
interactions expression » interaction expression , integration expression , interaction expressive
programming programming » programming programmed , programming program
expression programming » expression profiling
programming contract » programming contracts , programming constructs , programming constraint
contract https » control https , conflict https , contract nets

CONCUR 2005 - Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings /

Published 2005

Table of Contents: “... -- Contributed Papers -- Games Other People Play -- Type-Directed Concurrency -- Multiport Interaction Nets...”
View full text

Electronic eBook

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

CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings /

Published 2010

Table of Contents: “... Monotonic Abstraction: A CEGAR for Parameterized Verification -- Information Flow in Interactive Systems...”
View full text

Electronic eBook

CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Taming Concurrency: A Program Verification Perspective -- Contributed Papers -- A Model of Dynamic...”
View full text

Electronic eBook

Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings /

Published 2007

Table of Contents: “... Lines and Feature Interaction Detection Using Critical Pair Analysis -- Automated Semantic Analysis...”
View full text

Electronic eBook

Advances in Artificial Intelligence: Theories, Models, and Applications 6th Hellenic Conference on AI, SETN 2010, Athens, Greece, May 4-7, 2010. Proceedings /

Published 2010

Table of Contents: “... and Web Resources -- Short Papers -- A Gene Expression Programming Environment for Fatigue Modeling...”
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

The Semantic Web - ISWC 2008 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008, Proceedings /

Published 2008

Table of Contents: “... through Evolutionary Algorithms -- The Expressive Power of SPARQL -- Integrating Object-Oriented...”
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: “... Programs in an SMT Framework -- A Generic Constructive Solution for Concurrent Games with Expressive...”
View full text

Electronic eBook

COTS-Based Software Systems 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005, Proceedings /

Published 2005

Table of Contents: “...: Getting a Good Contract -- Integration and Interoperability -- Specifying Interaction Constraints...”
View full text

Electronic eBook

Sodium Calcium Exchange: A Growing Spectrum of Pathophysiological Implications Proceedings of the 6th International Conference on Sodium Calcium Exchange /

Published 2013

Table of Contents: “... Regulator of Human Skin Colour Variation Regulates the Expression of Key Pigment Genes mc1r and alpha-MSH...”
View full text

Electronic eBook

Intelligent Data Engineering and Automated Learning - IDEAL 2005 6th International Conference, Brisbane, Australia, July 6-8, 2005, Proceedings /

Published 2005

Table of Contents: “... Functions in Probabilistic Space -- Circular SOM for Temporal Characterisation of Modelled Gene Expressions...”
View full text

Electronic eBook

Research and Development in Intelligent Systems XXX Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013, The Thirty-third SGAI Internationa...

Published 2013

Table of Contents: “... Expressions with Distributed Semantics -- Genetic Programming for Wind Power Forecasting and Ramp Detection...”
View full text

Electronic eBook

Advances in Visual Computing First International Symposium, ISVC 2005, Lake Tahoe, NV, USA, December 5-7, 2005, Proceedings /

Published 2005

Table of Contents: “... -- Emotional Expression in Virtual Agents Through Body Language -- Visual Tracking for Seamless 3D Interactions...”
View full text

Electronic eBook

Advances in Artificial Intelligence - IBERAMIA 2010 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010, Proceedings /

Published 2010

Table of Contents: “... towards Speaker for Human-Robot Interaction -- Dialogue Model Specification and Interpretation...”
View full text

Electronic eBook

On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - N...

Published 2005

Table of Contents: “... System -- A Service-Oriented Workflow Language for Robust Interacting Applications -- Balancing...”
View full text

Electronic eBook

Narrow Search