Resultados da busca - integrated simulation program processing contracts https

1

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

Publicado em 2005

Sumário: “... Integration of Jester – The JUnit Test Tester -- Extreme Programming: The Genesys Experience -- Shared Code...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

2

Rapid Integration of Software Engineering Techniques Second International Workshop, RISE 2005...

Publicado em 2006

Sumário: “... Aspects Implement Contracts? -- Aspects-Classes Integration Testing Strategy: An Incremental Approach...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

3

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International...

Publicado em 2010

Sumário: “... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

4

Business Process Management Workshops BPM 2009 International Workshops, Ulm, Germany, September 7, 2009, Revised Papers /

Publicado em 2010

Sumário: “... and a Use Case -- Integrating Users in Object-Aware Process Management Systems: Issues and Challenges...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

5

Process Automation Handbook A Guide to Theory and Practice /

por Love, Jonathan., Love, Jonathan.
Publicado em 2007

Sumário: “... Systems -- Electro-Mechanical Systems -- Numerical Integration -- Procedural Simulation -- Block...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

6

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

Publicado em 2005

Sumário: “...: Efficient Calculation and Simulation -- Towards Integrating Business Policies with Business Processes -- A...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

7

Euro-Par 2006 Workshops: Parallel Processing CoreGRID 2006, UNICORE Summit 2006, Petascale...

Publicado em 2007

Sumário: “...: Incorporating the DynaSOAr Framework in Distributed Query Processing -- Review of Security Models Applied...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

8

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Publicado em 2008

Sumário: “... -- A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

9

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: “...-agent Simulation -- Natural Language Processing -- Revisiting the Readability Assessment of Texts...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

10

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings /

Publicado em 2014

Sumário: “... Sense -- Streaming Model Transformations by Complex Event Processing -- On the Use of Signatures...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

11

Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings /

Publicado em 2007

Sumário: “... Contracts from UML Class Diagrams -- Finding the Pattern You Need: The Design Pattern Intent Ontology...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

12

New Trends in Networking, Computing, E-learning, Systems Sciences, and Engineering

Publicado em 2015

Sumário: “... Core Environment on the Basis of Image Processing in 3D Space -- Evaluation of the Contract-Aware...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

13

Conceptual Modeling 31st International Conference on Conceptual Modeling, Florence, Italy, October 15-18, 2012, Proceeding /

Publicado em 2012

Sumário: “... Model for Dynamic Environment -- Process Modeling II.-Contracts+Goals=Roles? -- Specialization in i...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

14

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

Publicado em 2015

Sumário: “... Format for XY-simulation -- Tooled Process for Early Validation of SysML Models using Modelica Simulation...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

15

Advances in Visual Computing First International Symposium, ISVC 2005, Lake Tahoe, NV, USA, December 5-7, 2005, Proceedings /

Publicado em 2005

Sumário: “... Detection -- Simulating Complex Organ Interactions: Evaluation of a Soft Tissue Discrete Model -- Face...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

16

Bioinformatics and Biomedical Engineering Third International Conference, IWBBIO 2015, Granada, Spain, April 15-17, 2015. Proceedings, Part I /

Publicado em 2015

Sumário: “... Contraction -- From Single Fibre Action Potential to Surface Electromyographic Signal: A Simulation Study...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

17

Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Paper...

Publicado em 2008

Sumário: “... in Business-Driven Development -- Assuring Consistency of Business Process Models and Web Services Using...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

18

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

Publicado em 2005

Sumário: “... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

19

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

Publicado em 2014

Sumário: “... in Traffic Accidents Occurred at the Road Intersection Based on Image Processing -- A Hybrid Method...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

20

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings /

Publicado em 2008

Sumário: “... Nonlinear Systems Using a Nonlinear Hybridization -- Modeling and Simulation of Biochemical Processes Using...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Refinar a Busca