Resultados da pesquisa - spaces evaluating programming programming contracts https

1

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

Publicado em 2013

Sumário: “... Logic Programming -- Opening Doors: An Initial SRL Approach -- Probing the Space of Optimal Markov Logic...”
Obter o texto integral

Recurso Electrónico livro electrónico

2

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Publicado em 2010

Sumário: “...-Based Equality with Lazy Evaluation -- Progressive Reasoning for Complex Dialogues among Agents...”
Obter o texto integral

Recurso Electrónico livro electrónico

3

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

Publicado em 2010

Sumário: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Obter o texto integral

Recurso Electrónico livro electrónico

4

Algorithmic Aspects in Information and Management 6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010. Proceedings /

Publicado em 2010

Sumário: “... Instances by Iterative Backbone Contraction -- Point Location in the Continuous-Time Moving Network...”
Obter o texto integral

Recurso Electrónico livro electrónico

5

Experimental Algorithms 9th International Symposium, SEA 2010, Ischia Island, Naples, Italy, May 20-22, 2010. Proceedings /

Publicado em 2010

Sumário: “... for Distributed Shortest Paths and Its Experimental Evaluation -- Contraction of Timetable Networks with Realistic...”
Obter o texto integral

Recurso Electrónico livro electrónico

6

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Publicado em 2014

Sumário: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Obter o texto integral

Recurso Electrónico livro electrónico

7

Algorithmic Applications in Management First International Conference, AAIM 2005, Xian, China, June 22-25, 2005, Proceedings /

Publicado em 2005

Sumário: “... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...”
Obter o texto integral

Recurso Electrónico livro electrónico

8

Algorithms – ESA 2005 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings /

Publicado em 2005

Sumário: “... -- Linear-Time Enumeration of Isolated Cliques -- Finding Shortest Non-separating and Non-contractible...”
Obter o texto integral

Recurso Electrónico livro electrónico

9

Component-Based Software Development for Embedded Systems An Overview of Current Research Trends /

Publicado em 2005

Sumário: “... -- Assessing Real-Time Component Contracts Through Built-in Evolutionary Testing -- Component Architectures...”
Obter o texto integral

Recurso Electrónico livro electrónico

10

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

Publicado em 2008

Sumário: “... Answering on OWL Ontologies -- Optimization and Evaluation of Reasoning in Probabilistic Description Logic...”
Obter o texto integral

Recurso Electrónico livro electrónico

11

Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings /

Publicado em 2006

Sumário: “... -- Effective Contraction of Timed STGs for Decomposition Based Timed Circuit Synthesis -- Synthesis...”
Obter o texto integral

Recurso Electrónico livro electrónico

12

From Model-Driven Design to Resource Management for Distributed Embedded Systems IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006) October 11-...

Publicado em 2006

Sumário: “... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...”
Obter o texto integral

Recurso Electrónico livro electrónico

13

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

Publicado em 2005

Sumário: “...: Getting a Good Contract -- Integration and Interoperability -- Specifying Interaction Constraints...”
Obter o texto integral

Recurso Electrónico livro electrónico

14

Parameterized and Exact Computation 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers /

Publicado em 2013

Sumário: “... and Bases in Permutation Groups.- Parameterized Complexity of Two Edge Contraction Problems with Degree...”
Obter o texto integral

Recurso Electrónico livro electrónico

15

Topics in Operator Theory Volume 1: Operators, Matrices and Analytic functions /

Publicado em 2010

Sumário: “...A Quantitative Estimate for Bounded Point Evaluations in Pt(?)-spaces -- WEighted Composition...”
Obter o texto integral

Recurso Electrónico livro electrónico

16

SOFSEM 2007: Theory and Practice of Computer Science 33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, P...

Publicado em 2007

Sumário: “... -- Spatial Selection of Sparse Pivots for Similarity Search in Metric Spaces -- A Model of an Amorphous...”
Obter o texto integral

Recurso Electrónico livro electrónico

17

Applied Computing and Information Technology

Publicado em 2014

Sumário: “... Application to Library Data Mining -- Hard Optimization Problems in Learning Tree Contraction Patterns -- A...”
Obter o texto integral

Recurso Electrónico livro electrónico

18

Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering

Publicado em 2013

Sumário: “... On Automated Rout Card Scheme -- On Using a Semiotic Quality Framework to Evaluate the Quality of Conceptual...”
Obter o texto integral

Recurso Electrónico livro electrónico

19

Multi-Agent Systems and Applications IV 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Pro...

Publicado em 2005

Sumário: “...-agent System Based on Policies and Contracts -- Case-Based Student Modeling in Multi-agent Learning...”
Obter o texto integral

Recurso Electrónico livro electrónico

20

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: “... Classification using Supervised Sub-Spacing -- Intelligent Agents -- On Applying Adaptive Data Structures...”
Obter o texto integral

Recurso Electrónico livro electrónico

Refinar a Pesquisa