Search Results - interface composing programming programming constraint https

Search alternatives:
programming programming » programming programmed , programming program
programming constraint » programming constrained , programming unconstrained , programming constructs
composing programming » computing programming , component programming , compositive programming
interface composing » interface comparing , interfaces comparing , interface composition
constraint https » constraint atoms , constraint graphs , constraint codes

Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings /

Published 2007

Table of Contents: “... of Component-Based Systems -- Performance-Driven Interface Contract Enforcement for Scientific Components...”
View full text

Electronic eBook

Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2...

Published 2006

Table of Contents: “... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...”
View full text

Electronic eBook

Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings /

Published 2012

Table of Contents: “... Composable Mixed Mode Concurrency Control Semantics for Transactional Programs -- Towards a Formal...”
View full text

Electronic eBook

Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings /

Published 2005

Table of Contents: “... and Embedded Systems -- Process -- Activity Diagram Patterns for Modeling Quality Constraints in Business...”
View full text

Electronic eBook

Applications of Evolutionary Computing EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog /

Published 2008

Table of Contents: “... Interface -- Composing Music with Neural Networks and Probabilistic Finite-State Machines -- TransFormer #13...”
View full text

Electronic eBook

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part III /

Published 2007

Table of Contents: “... Recognition by Immune Neural Network -- Composing Different Models of Computation in Kepler and Ptolemy II...”
View full text

Electronic eBook

Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday /

Published 2006

Table of Contents: “... Functorial Framework for Constraint Normal Logic Programming -- A Stochastic Theory of Black-Box Software...”
View full text

Electronic eBook

Computational Collective Intelligence. Technologies and Applications Second International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 10-12, 2010. Proceedings, Part II /

Published 2010

Table of Contents: “... Association Rules with Quantitative Data under Multiple Support Constraints -- Intelligent Technologies...”
View full text

Electronic eBook

Service-Oriented Computing - ICSOC 2008 6th International Conference, Sydney, Australia, December 1-5, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Transparent Runtime Adaptability for BPEL Processes -- Organizational Constraints to Realizing Business Value...”
View full text

Electronic eBook

Digital Enterprise Technology Perspectives and Future Challenges /

Published 2007

Table of Contents: “... And Component Clusters -- Constraint Programming Approach To Designing Conflict-Free Schedules For Repetitive...”
View full text

Electronic eBook

Narrow Search