Search Results - interactions evolution programming programming contracts https

Search alternatives:
programming programming » programming programmed , programming program
interactions evolution » interactions evaluation , interactions solution , interactions evolutionary
evolution programming » evolutionary programming , evolutionary programing , production programming
programming contracts » programming contract , programming constructs , programming constraints
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

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Published 2010

Table of Contents: “... Evolution Learned by Listening to Smalltalk -- The Web of Things: Extending the Web into the Real World...”
View full text

Electronic eBook

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

Published 2010

Table of Contents: “... for Embedded Systems: The Octopus Toolset -- Contract-Based Slicing -- Worst-Case Traversal Time (WCTT...”
View full text

Electronic eBook

Electrical Engineering and Applied Computing

Published 2011

Table of Contents: “...: Performance Studies of IEEE 802.11 a,b,g Laboratory Links -- 10. Interaction between the Mobile Phone...”
View full text

Electronic eBook

Advanced Information Systems Engineering 20th International Conference, CAiSE 2008 Montpellier, France, June 18-20, 2008, Proceedings /

Published 2008

Table of Contents: “... -- SpreadMash: A Spreadsheet-Based Interactive Browsing and Analysis Tool for Data Services -- Service Evolution...”
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

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings /

Published 2014

Table of Contents: “...Validity Checking of Put back Transformations in Bidirectional Programming -- Proof Engineering...”
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: “... in the Semantic Web -- Semantic Web Service Choreography: Contracting and Enactment -- Formal Model for Semantic...”
View full text

Electronic eBook

Business Process Management 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005, Proceedings /

Published 2005

Table of Contents: “... Coordination of Process-Oriented Composite Applications -- Integrating Process Learning and Process Evolution...”
View full text

Electronic eBook

Service-Oriented Computing - ICSOC 2006 4th International Conference, Chicago, IL, USA, December 4-7, Proceedings /

Published 2006

Table of Contents: “... with Differential Parsing -- Web Browsers as Service-Oriented Clients Integrated with Web Services -- Interaction...”
View full text

Electronic eBook

Economics and Management of Networks Franchising, Strategic Alliances, and Cooperatives /

Published 2007

Table of Contents: “... Training Program — Empirical Evidence from a Follow-up Study -- Understanding Strategic Interactions...”
View full text

Electronic eBook

Proceedings of the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems - Volume 2

Published 2015

Table of Contents: “...A New Grammatical Evolution Based on Probabilistic Context-free Grammar -- An Adaptive Cauchy...”
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: “... Learning and Constraint Programming -- The Importance of Topology Evolution in NeuroEvolution: A Case Study...”
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: “... -- Recursive Self-organizing Map as a Contractive Iterative Function System -- Differential Priors for Elastic...”
View full text

Electronic eBook

Emerging Technologies for Information Systems, Computing, and Management

Published 2013

Table of Contents: “... -- P-Hub Airline Network Design Incorporating Interaction Between Elastic Demand and Network Structure...”
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 2007: CoopIS, DOA, ODBASE, GADA, and IS OTM Confederated International Conferences, CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Po...

Published 2007

Table of Contents: “... Mobility and Portability of Trust in Cooperative Information Systems -- Organizing Meaning Evolution...”
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

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

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

Published 2014

Table of Contents: “... Secret Key Sequence -- Interactive Satellite Remote Education System Based on Bluetooth and GPRS -- A...”
View full text

Electronic eBook

Narrow Search