Automatically assigned DDC number: 006333

Manually assigned DDC number: 006333

Number of references: 8

Title: Towards Exploiting Generic Procedures in Model-Based Computing

Author:

Subject: Sheila A. Mcilraith Towards Exploiting Generic Procedures in Model-Based Computing

Description: Doctors have patient-independent protocols that prescribe the general steps to follow in treating patients with particular ailments. Service technicians follow general procedures for trouble-shooting and repairing different computer hardware. Indeed, experts often develop generic procedures or heuristics that they instantiate in the context of a particular system/device and state of the world in order to realize some goal. In this paper we present preliminary results towards integrating such a notion of generic procedures with traditional model-based representations of system behaviour. This enables us to transform high-level system-independent procedural knowledge into a system-specific sequence of actions that can be performed by an agent to control the behaviour of a system, be that agent a computer program, or a human being. Not only does this integration enable synthesis of system-specific action sequences, for some procedures, it also enables verification that a generic procedure...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1998-11-25

Pubyear: unknown

Format: ps

Identifier: http://citeseer.ist.psu.edu/163759.html

Source: http://salustri.esxf.uwindsor.ca/~fil/Library/KSL-98-20.ps.gz

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

<?xml   version="1.0"   encoding="UTF-8"?>

<references_metadata>

      <rec   ID="/287100.html"   Type="inproceedings"   CiteSeer_Book="IJCAI"   CiteSeer_Volume=""   Title="Let's   Plan   It   Deductively!,">

            <identifier   Org="ISBN:0792362616"   Paper_ID="/287100.html"   Extracted="0792362616"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1402030681"   Paper_ID="/287100.html"   Extracted="1402030681"   DDC="629.8/9251"   Normalized_DDC="62989251"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1558604804"   Paper_ID="/287100.html"   Extracted="1558604804"   />

            <identifier   Org="ISBN:1599041111"   Paper_ID="/287100.html"   Extracted="1599041111"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540232370"   Paper_ID="/287100.html"   Extracted="3540232370"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540250514"   Paper_ID="/287100.html"   Extracted="3540250514"   DDC="511.3/6/028563"   Normalized_DDC="51136028563"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540407251"   Paper_ID="/287100.html"   Extracted="3540407251"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540412859"   Paper_ID="/287100.html"   Extracted="3540412859"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540426124"   Paper_ID="/287100.html"   Extracted="3540426124"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540429603"   Paper_ID="/287100.html"   Extracted="3540429603"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540441859"   Paper_ID="/287100.html"   Extracted="3540441859"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540650806"   Paper_ID="/287100.html"   Extracted="3540650806"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540651411"   Paper_ID="/287100.html"   Extracted="3540651411"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540660860"   Paper_ID="/287100.html"   Extracted="3540660860"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540664955"   Paper_ID="/287100.html"   Extracted="3540664955"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540674551"   Paper_ID="/287100.html"   Extracted="3540674551"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3642016383"   Paper_ID="/287100.html"   Extracted="3642016383"   />

      </rec>

      <rec   ID="/43311.html"   Type="inproceedings"   CiteSeer_Book="AAAIIAAI"   CiteSeer_Volume=""   Title="The   Interactive   Museum   Tour-Guide   Robot,">

            <identifier   Org="ISBN:0262072254"   Paper_ID="/43311.html"   Extracted="0262072254"   DDC="629.8/92"   Normalized_DDC="629892"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0262510987"   Paper_ID="/43311.html"   Extracted="0262510987"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0262524317"   Paper_ID="/43311.html"   Extracted="0262524317"   DDC="629.89263"   Normalized_DDC="62989263"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0780351843"   Paper_ID="/43311.html"   Extracted="0780351843"   />

            <identifier   Org="ISBN:0780366131"   Paper_ID="/43311.html"   Extracted="0780366131"   />

            <identifier   Org="ISBN:0780392744"   Paper_ID="/43311.html"   Extracted="0780392744"   />

            <identifier   Org="ISBN:1420054996"   Paper_ID="/43311.html"   Extracted="1420054996"   DDC="658.7/87"   Normalized_DDC="658787"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:1586030787"   Paper_ID="/43311.html"   Extracted="1586030787"   DDC="629.8/9263"   Normalized_DDC="62989263"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:1586034146"   Paper_ID="/43311.html"   Extracted="1586034146"   DDC="629.8/9263"   Normalized_DDC="62989263"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:1586035959"   Paper_ID="/43311.html"   Extracted="1586035959"   />

            <identifier   Org="ISBN:1594545936"   Paper_ID="/43311.html"   Extracted="1594545936"   DDC="629.8/92"   Normalized_DDC="629892"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540001689"   Paper_ID="/43311.html"   Extracted="3540001689"   DDC="629.8/92"   Normalized_DDC="629892"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540003355"   Paper_ID="/43311.html"   Extracted="3540003355"   DDC="629.8/92"   Normalized_DDC="629892"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540220070"   Paper_ID="/43311.html"   Extracted="3540220070"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540250468"   Paper_ID="/43311.html"   Extracted="3540250468"   DDC="629.8932"   Normalized_DDC="6298932"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540404082"   Paper_ID="/43311.html"   Extracted="3540404082"   DDC="006.3/2"   Normalized_DDC="00632"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540433996"   Paper_ID="/43311.html"   Extracted="3540433996"   DDC="629.8/92"   Normalized_DDC="629892"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540664955"   Paper_ID="/43311.html"   Extracted="3540664955"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540698116"   Paper_ID="/43311.html"   Extracted="3540698116"   DDC="621.36"   Normalized_DDC="62136"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540710086"   Paper_ID="/43311.html"   Extracted="3540710086"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.0625"   />

      </rec>

      <rec   ID="/27007.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="The   Ontolingua   server:   A   tool   for   collaborative   ontology   construction,">

            <identifier   Org="ISBN:0262140861"   Paper_ID="/27007.html"   Extracted="0262140861"   DDC="401/.43/0285"   Normalized_DDC="401430285"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:026256212X"   Paper_ID="/27007.html"   Extracted="026256212X"   DDC="004.67/8"   Normalized_DDC="004678"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0387265589"   Paper_ID="/27007.html"   Extracted="0387265589"   DDC="610.28546"   Normalized_DDC="61028546"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1586034529"   Paper_ID="/27007.html"   Extracted="1586034529"   />

            <identifier   Org="ISBN:1586034685"   Paper_ID="/27007.html"   Extracted="1586034685"   DDC="006.3/32"   Normalized_DDC="006332"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1586034928"   Paper_ID="/27007.html"   Extracted="1586034928"   />

            <identifier   Org="ISBN:1591403391"   Paper_ID="/27007.html"   Extracted="1591403391"   DDC="658/.001"   Normalized_DDC="658001"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1591409055"   Paper_ID="/27007.html"   Extracted="1591409055"   DDC="025.04"   Normalized_DDC="02504"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1852333391"   Paper_ID="/27007.html"   Extracted="1852333391"   DDC="658.5"   Normalized_DDC="6585"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1930708017"   Paper_ID="/27007.html"   Extracted="1930708017"   DDC="658.8/4"   Normalized_DDC="65884"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1930708025"   Paper_ID="/27007.html"   Extracted="1930708025"   DDC="025.06/3637"   Normalized_DDC="025063637"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540003029"   Paper_ID="/27007.html"   Extracted="3540003029"   DDC="004.67/8"   Normalized_DDC="004678"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540204075"   Paper_ID="/27007.html"   Extracted="3540204075"   />

            <identifier   Org="ISBN:3540208682"   Paper_ID="/27007.html"   Extracted="3540208682"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540219994"   Paper_ID="/27007.html"   Extracted="3540219994"   DDC="025.04"   Normalized_DDC="02504"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540233407"   Paper_ID="/27007.html"   Extracted="3540233407"   DDC="006.3/31"   Normalized_DDC="006331"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354025207X"   Paper_ID="/27007.html"   Extracted="354025207X"   DDC="004.67/8"   Normalized_DDC="004678"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540283463"   Paper_ID="/27007.html"   Extracted="3540283463"   DDC="025.04"   Normalized_DDC="02504"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354059132X"   Paper_ID="/27007.html"   Extracted="354059132X"   DDC="005.7/3"   Normalized_DDC="00573"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540775803"   Paper_ID="/27007.html"   Extracted="3540775803"   DDC="658.4/038011"   Normalized_DDC="6584038011"   Normalized_Weight="0.058823529411764705"   />

      </rec>

      <rec   ID="/117924.html"   Type="article"   CiteSeer_Book="Journal   of   Logic   and   Computation"   CiteSeer_Volume="4"   Title="State   Constraints   Revisited,">

            <identifier   Org="ISBN:0262510952"   Paper_ID="/117924.html"   Extracted="0262510952"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1558604804"   Paper_ID="/117924.html"   Extracted="1558604804"   />

            <identifier   Org="ISBN:1586030132"   Paper_ID="/117924.html"   Extracted="1586030132"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540221115"   Paper_ID="/117924.html"   Extracted="3540221115"   DDC="004.015113"   Normalized_DDC="004015113"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540410945"   Paper_ID="/117924.html"   Extracted="3540410945"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540424229"   Paper_ID="/117924.html"   Extracted="3540424229"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540426124"   Paper_ID="/117924.html"   Extracted="3540426124"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540429603"   Paper_ID="/117924.html"   Extracted="3540429603"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540435425"   Paper_ID="/117924.html"   Extracted="3540435425"   />

            <identifier   Org="ISBN:3540604375"   Paper_ID="/117924.html"   Extracted="3540604375"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:354061057X"   Paper_ID="/117924.html"   Extracted="354061057X"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540618147"   Paper_ID="/117924.html"   Extracted="3540618147"   DDC="005.74/01/5113"   Normalized_DDC="00574015113"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540653058"   Paper_ID="/117924.html"   Extracted="3540653058"   DDC="005.75/7"   Normalized_DDC="005757"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540660127"   Paper_ID="/117924.html"   Extracted="3540660127"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540664955"   Paper_ID="/117924.html"   Extracted="3540664955"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:354067201X"   Paper_ID="/117924.html"   Extracted="354067201X"   DDC="005.75"   Normalized_DDC="00575"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540674551"   Paper_ID="/117924.html"   Extracted="3540674551"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.06666666666666667"   />

      </rec>

      <rec   ID="/509429.html"   Type="incollection"   CiteSeer_Book="KR98   Principles   of   Knowledge   Representation   and   Reasoning"   CiteSeer_Volume=""   Title="Explanatory   Diagnosis:   Conjecturing   Actions   to   Explain   Observations,">

            <identifier   Org="ISBN:0521818028"   Paper_ID="/509429.html"   Extracted="0521818028"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0791408744"   Paper_ID="/509429.html"   Extracted="0791408744"   DDC="375/.0083"   Normalized_DDC="3750083"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:1402074875"   Paper_ID="/509429.html"   Extracted="1402074875"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:1586030132"   Paper_ID="/509429.html"   Extracted="1586030132"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:1586034529"   Paper_ID="/509429.html"   Extracted="1586034529"   />

            <identifier   Org="ISBN:3540425934"   Paper_ID="/509429.html"   Extracted="3540425934"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540426124"   Paper_ID="/509429.html"   Extracted="3540426124"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540427163"   Paper_ID="/509429.html"   Extracted="3540427163"   DDC="629.8/0285/63"   Normalized_DDC="6298028563"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540433708"   Paper_ID="/509429.html"   Extracted="3540433708"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540439412"   Paper_ID="/509429.html"   Extracted="3540439412"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540660127"   Paper_ID="/509429.html"   Extracted="3540660127"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540663290"   Paper_ID="/509429.html"   Extracted="3540663290"   DDC="004/.01/5114"   Normalized_DDC="004015114"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540672591"   Paper_ID="/509429.html"   Extracted="3540672591"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540929657"   Paper_ID="/509429.html"   Extracted="3540929657"   />

            <identifier   Org="ISBN:4274905187"   Paper_ID="/509429.html"   Extracted="4274905187"   DDC="629.8"   Normalized_DDC="6298"   Normalized_Weight="0.07692307692307693"   />

      </rec>

      <rec   ID="/369505.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   14th   National   Conference   on   Artificial   Intelligence   AAAI97"   CiteSeer_Volume=""   Title="Abductive   Completion   of   Plan   Sketches,">

            <identifier   Org="ISBN:0262510952"   Paper_ID="/369505.html"   Extracted="0262510952"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:1577351878"   Paper_ID="/369505.html"   Extracted="1577351878"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:1591404509"   Paper_ID="/369505.html"   Extracted="1591404509"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540427163"   Paper_ID="/369505.html"   Extracted="3540427163"   DDC="629.8/0285/63"   Normalized_DDC="6298028563"   Normalized_Weight="0.25"   />

      </rec>

      <rec   ID="/444393.html"   Type="inproceedings"   CiteSeer_Book="Artificial   Intelligence   Planning   Systems   Proceedings   of   the   First   International   Conference   AIPS   92"   CiteSeer_Volume=""   Title="The   Projection   Problem   in   the   Situation   Calculus:   {A}   Soundness   and   Completeness   Result,   with   an   Application   to   Database   Updates,">

            <identifier   Org="ISBN:0792347161"   Paper_ID="/444393.html"   Extracted="0792347161"   />

            <identifier   Org="ISBN:155860250X"   Paper_ID="/444393.html"   Extracted="155860250X"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540604375"   Paper_ID="/444393.html"   Extracted="3540604375"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540660127"   Paper_ID="/444393.html"   Extracted="3540660127"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540671005"   Paper_ID="/444393.html"   Extracted="3540671005"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:4274077241"   Paper_ID="/444393.html"   Extracted="4274077241"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.2"   />

      </rec>

      <rec   ID="/43664.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Thirteenth   National   Conference   on   Artificial   Intelligence   and   the   Eighth   Innovative   Applications   of   Artificial   Intelligence   Conference   Vol   2"   CiteSeer_Volume=""   Title="Toward   a   Semantics   for   an   Agent   Communication   Language   Based   on   Speech   Acts,">

            <identifier   Org="ISBN:3540207694"   Paper_ID="/43664.html"   Extracted="3540207694"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540214313"   Paper_ID="/43664.html"   Extracted="3540214313"   DDC="658.8'4"   Normalized_DDC="65884"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540231706"   Paper_ID="/43664.html"   Extracted="3540231706"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540411445"   Paper_ID="/43664.html"   Extracted="3540411445"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540647694"   Paper_ID="/43664.html"   Extracted="3540647694"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:9812381260"   Paper_ID="/43664.html"   Extracted="9812381260"   DDC="371.33/44678"   Normalized_DDC="3713344678"   Normalized_Weight="0.16666666666666666"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Towards   Exploiting   Generic   Procedures   in   Model-Based   Computing"   />

</references_metadata>