Bilaketaren emaitzak - services evaluating programming programming contracts https

Iradokizunak:
programming programming » programming programmed , programming program
evaluating programming » computing programming , exploring programming
programming contracts » programming contract , programming constructs , programming constraints
services evaluating » services evaluation , service evaluation , devices evaluation
https » http

Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected papers /

Argitaratua 2013

Aurkibidea: “... with Relational Features for Drug Design -- Pairwise Markov Logic -- Evaluating Inference Algorithms...”
Testu osoa

Baliabide elektronikoa eBook

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

Argitaratua 2006

Aurkibidea: “... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”
Testu osoa

Baliabide elektronikoa eBook

Rigorous Software Engineering for Service-Oriented Systems Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing /

Argitaratua 2011

Aurkibidea: “... Calculi -- Static Analysis Techniques for Session-Oriented Calculi -- Call-by-Contract for Service...”
Testu osoa

Baliabide elektronikoa eBook

Genetic Programming Theory and Practice XI

Argitaratua 2014

Aurkibidea: “... System for the Genome-Wide Genetic Analysis of Alzheimer's Disease -- Optimizing a Cloud Contract...”
Testu osoa

Baliabide elektronikoa eBook

Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings /

Argitaratua 2005

Aurkibidea: “... of the Equator: An eXPerience Implementing XP in Brazil -- Introducing Extreme Programming into a Software...”
Testu osoa

Baliabide elektronikoa eBook

Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings /

Argitaratua 2014

Aurkibidea: “... System Development -- Agile Software Development in Practice -- Part Agile Challenges and Contracting...”
Testu osoa

Baliabide elektronikoa eBook

Web Services and Formal Methods Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings /

Argitaratua 2006

Aurkibidea: “... and the Join Calculus -- Dynamic Constraint-Based Invocation of Web Services -- A Formal Account of Contracts...”
Testu osoa

Baliabide elektronikoa eBook

Service-Oriented Computing 8th International Conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings /

Argitaratua 2010

Aurkibidea: “... Service Compatibility: A Step beyond the Boolean Approaches -- Consistency Benchmarking: Evaluating...”
Testu osoa

Baliabide elektronikoa eBook

Implementation and Application of Functional Languages 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007 Revised Selected Papers /

Argitaratua 2008

Aurkibidea: “... -- Lazy Contract Checking for Immutable Data Structures -- The Reduceron: Widening the von Neumann...”
Testu osoa

Baliabide elektronikoa eBook

Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 /

Argitaratua 2005

Aurkibidea: “... -- Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations -- Optimizing...”
Testu osoa

Baliabide elektronikoa eBook

Service-Oriented and Cloud Computing Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013, Proceedings /

Argitaratua 2013

Aurkibidea: “... and Fault-Tolerant Restful Service Consumption.- Contract Compliance Monitoring of Web Services.- Service...”
Testu osoa

Baliabide elektronikoa eBook

Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings /

Argitaratua 2010

Aurkibidea: “...Invited Papers -- Automatic Requirement Extraction from Test Cases -- Code Contracts for .NET...”
Testu osoa

Baliabide elektronikoa eBook

Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...

Argitaratua 2010

Aurkibidea: “... -- Graph Transformation -- Incremental Service Composition Based on Partial Matching of Visual Contracts...”
Testu osoa

Baliabide elektronikoa eBook

FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings /

Argitaratua 2008

Aurkibidea: “... Evaluation -- Secret Ninja Formal Methods -- Specification and Checking of Software Contracts for Conditional...”
Testu osoa

Baliabide elektronikoa eBook

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

Argitaratua 2006

Aurkibidea: “...: Building a Transaction Framework for Contract-Driven, Service-Oriented Business Processes -- Securing Web...”
Testu osoa

Baliabide elektronikoa eBook

Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers /

Argitaratua 2015

Aurkibidea: “...Towards Smart Systems of Systems -- Automated Integration of Service-oriented Software Systems...”
Testu osoa

Baliabide elektronikoa eBook

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

Argitaratua 2015

Aurkibidea: “...Abstracts of Invited Talks -- Testing, Fixing and Proving with Contracts -- Mind the Gap...”
Testu osoa

Baliabide elektronikoa eBook

Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems,...

Argitaratua 2006

Aurkibidea: “...Modelling, Analyzing and Programming Organizations -- A Coordination Framework Based...”
Testu osoa

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

Argitaratua 2010

Aurkibidea: “...-Based Equality with Lazy Evaluation -- Progressive Reasoning for Complex Dialogues among Agents...”
Testu osoa

Baliabide elektronikoa eBook

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

Argitaratua 2005

Aurkibidea: “... Pseudometric for Metric Labelled Transition Systems -- On Probabilistic Program Equivalence and Refinement...”
Testu osoa

Baliabide elektronikoa eBook

1
2
3
4
5
Hurrengoa »
[5]

Emaitzak murriztu