Resultados da busca - interactions expression programming programming contract nets

Buscas alternativas:
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 nets » contract net , contract need , contract new

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

Publicado em 2005

Sumário: “... -- Contributed Papers -- Games Other People Play -- Type-Directed Concurrency -- Multiport Interaction Nets...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2010

Sumário: “... -- Representations of Petri Net Interactions -- Communicating Transactions -- Consistent Correlations...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Information Systems Development Asian Experiences /

Publicado em 2011

Sumário: “... -- A Petri Net-based Software Process Model for Developing Process-Oriented Information Systems...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2007

Sumário: “... Programs in an SMT Framework -- A Generic Constructive Solution for Concurrent Games with Expressive...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2013

Sumário: “... Expressions with Distributed Semantics -- Genetic Programming for Wind Power Forecasting and Ramp Detection...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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...

Publicado em 2005

Sumário: “... -- Let’s Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2010

Sumário: “... towards Speaker for Human-Robot Interaction -- Dialogue Model Specification and Interpretation...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2005

Sumário: “... Functions in Probabilistic Space -- Circular SOM for Temporal Characterisation of Modelled Gene Expressions...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Refinar a Busca