Hakutulokset - function action program development paper https

1

Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers /

Julkaistu 2006

Sisällysluettelo: “... Constraints in the Biochemical Abstract Machine BIOCHAM -- Tools for Program Development -- Declarative...”
Hae kokoteksti

Elektroninen E-kirja

2

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Julkaistu 2008

Sisällysluettelo: “... -- Regular Papers -- Detecting Inconsistencies in Large Biological Networks with Answer Set Programming -- A...”
Hae kokoteksti

Elektroninen E-kirja

3

Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers /

Julkaistu 2006

Sisällysluettelo: “... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...”
Hae kokoteksti

Elektroninen E-kirja

4

Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “...Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine -- Generic Cut...”
Hae kokoteksti

Elektroninen E-kirja

5

Fuzzy Logic and Applications 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers /

Julkaistu 2006

Sisällysluettelo: “... to Image Compression -- Neuro-fuzzy Systems -- Development of Neuro-fuzzy System for Image Mining...”
Hae kokoteksti

Elektroninen E-kirja

6

AI 2008: Advances in Artificial Intelligence 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 3-5, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “...Invited Paper -- Stereo-Vision-Support for Intelligent Vehicles - The Need for Quantified Evidence...”
Hae kokoteksti

Elektroninen E-kirja

7

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

Julkaistu 2008

Sisällysluettelo: “..., and Compliant Action -- Keynote -- Modelling Coordination and Compensation -- Tools and Applications...”
Hae kokoteksti

Elektroninen E-kirja

8

Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 Pr...

Julkaistu 2008

Sisällysluettelo: “... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...”
Hae kokoteksti

Elektroninen E-kirja

9

Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “...Tutorials and Invited Lectures -- Inter-deriving Semantic Artifacts for Object-Oriented Programming...”
Hae kokoteksti

Elektroninen E-kirja

10

Theoretical Aspects of Computing -- ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings /

Julkaistu 2013

Sisällysluettelo: “...-Physical Systems -- Embedding Functions into Disjunctive Logic Programs -- Reactive Designs of Interrupts...”
Hae kokoteksti

Elektroninen E-kirja

11

Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “...KEYNOTE SPEECHES -- Ranking Abstraction as Companion to Predicate Abstraction -- Developing High...”
Hae kokoteksti

Elektroninen E-kirja

12

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Braz...

Julkaistu 2006

Sisällysluettelo: “... Patterns in Action Sequences with Noise in Programming by Demonstration -- Knowledge Engineering...”
Hae kokoteksti

Elektroninen E-kirja

13

Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... -- Resources for Situated Actions -- An Architecture and a Formal Description Technique for the Design...”
Hae kokoteksti

Elektroninen E-kirja

14

Service-Oriented Computing - ICSOC 2007 Fifth International Conference, Vienna, Austria, September 17-20, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “...Research Track Full Papers -- Pattern Based SOA Deployment -- A Domain-Specific Language for Web...”
Hae kokoteksti

Elektroninen E-kirja

15

21st Century Learning for 21st Century Skills 7th European Conference on Technology Enhanced Learning, EC-TEL 2012, Saarbrücken, Germany, September 18-21, 2012, Proceedings /

Julkaistu 2012

Sisällysluettelo: “... Annotated Model Solutions in a Functional Programming Tutor -- The Effect of Predicting Expertise in Open...”
Hae kokoteksti

Elektroninen E-kirja

16

Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... of BCK-?-Terms -- A Finite-State Functional Grammar Architecture -- Pregroup Calculus as a Logic Functor...”
Hae kokoteksti

Elektroninen E-kirja