Hakutulokset - interactive simulation program composition programs https

1

Unconventional Programming Paradigms International Workshop UPP 2004, Le Mont Saint Michel, France...

Julkaistu 2005

Sisällysluettelo: “... Algorithms: An Unconventional Programming Paradigm -- Design, Simulation, and Experimental Demonstration...”
Hae kokoteksti

Elektroninen E-kirja

2

Interactive Computation The New Paradigm /

Julkaistu 2006

Sisällysluettelo: “... Interaction -- Modeling Web Interactions and Errors -- Composition of Interacting Computations -- From...”
Hae kokoteksti

Elektroninen E-kirja

3

Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers /

Julkaistu 2005

Sisällysluettelo: “...: A Practical Solution Incorporating Constraint Programming and Heuristics -- An Interactive Tool...”
Hae kokoteksti

Elektroninen E-kirja

4

Simulated Evolution and Learning 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Algorithm with Indirect Representation -- Evolved Look-Up Tables for Simulated DNA Controlled Robots...”
Hae kokoteksti

Elektroninen E-kirja

5

Design and simulation on compressor metal matrix composite by investment casting

Tekijä Sahroni, Taufik Roni, Sulaiman, Shamsuddin, Abdullah, Tajul Ariffin, Subramonian, Sivarao
Julkaistu 2011

“... presents the tasks pertaining to metal matrix composites and their interactions in designing of compressor...”
Hae kokoteksti

Artikkeli

6

Design and simulation on cast metal matrix composite by investment casting

Tekijä Sahroni, Taufik Roni, Sulaiman, Shamsuddin, Abdullah, Tajul Ariffin, Subramonian, Sivarao
Julkaistu 2011

“.... Therefore, this study presents the tasks pertaining to metal matrix composites and their interactions. As a...”
Hae kokoteksti

Artikkeli

7

Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “... UML to Interaction and Coordination -- Compositional MDA -- CUP 2.0: High-Level Modeling of Context...”
Hae kokoteksti

Elektroninen E-kirja

8

Simulating Complex Systems by Cellular Automata

Julkaistu 2010

Sisällysluettelo: “... with Coupled Cellular Automata -- Hierarchical Cellular Automata Methods -- Cellular Automata Composition...”
Hae kokoteksti

Elektroninen E-kirja

9

Climate and Weather of the Sun-Earth System (CAWSES) Highlights from a Priority Program /

Julkaistu 2013

Sisällysluettelo: “...1. Scientific summary of the German CAWSES priority program -- 2. Models of solar total...”
Hae kokoteksti

Elektroninen E-kirja

10

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Checking Component Interactions -- Formal Definition of MOF 2.0 Metamodel Components and Composition...”
Hae kokoteksti

Elektroninen E-kirja

11

Models in Software Engineering Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers /

Tekijä Giese, Holger., Giese, Holger.
Julkaistu 2008

Sisällysluettelo: “... Approach for Automatic Model Composition -- MATA: A Tool for Aspect-Oriented Modeling Based on Graph...”
Hae kokoteksti

Elektroninen E-kirja

12

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers /

Julkaistu 2010

Sisällysluettelo: “... Computation, Communication and Resource Interaction -- Regular Papers -- Simulation of Kohn’s Molecular...”
Hae kokoteksti

Elektroninen E-kirja

13

Conceptual Modeling – ER 2010 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010, Proceedings /

Julkaistu 2010

Sisällysluettelo: “... Dynamic Models of Service Compositions with Simulation of Provision Resources -- Consistency...”
Hae kokoteksti

Elektroninen E-kirja

14

Advances in Artificial Intelligence - IBERAMIA 2008 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings /

Julkaistu 2008

Sisällysluettelo: “... and Ontology Concept Ranking for Semantic Web Service Composition -- Towards the Use of XPDL as Planning...”
Hae kokoteksti

Elektroninen E-kirja

15

Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “...-Based Program Inspection -- Visualizing and Simulating Semantic Web Services Ontologies -- A Model...”
Hae kokoteksti

Elektroninen E-kirja

16

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

Julkaistu 2008

Sisällysluettelo: “... Improvement Via Pattern Matching -- Object Composition in Scenario-Based Programming -- Regular Inference...”
Hae kokoteksti

Elektroninen E-kirja

17

From Animals to Animats 11 11th International Conference on Simulation of Adaptive Behavior, SAB...

Julkaistu 2010

Sisällysluettelo: “... of Robot-Environment Interaction Have a Meaning? -- Information Dynamics of Evolved Agents -- Taming...”
Hae kokoteksti

Elektroninen E-kirja

18

Formal Modeling: Actors; Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday /

Julkaistu 2011

Sisällysluettelo: “... Feasible Interactions in Distributed Real-Time Systems -- Puff, The Magic Protocol -- A Formal Methodology...”
Hae kokoteksti

Elektroninen E-kirja

19

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings /

Julkaistu 2014

Sisällysluettelo: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Hae kokoteksti

Elektroninen E-kirja

20

Task Models and Diagrams for User Interface Design 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... Extensions for Task Models -- Towards Developing Task-Based Models of Creativity -- Articulating Interaction...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua