Engineering of Software-Intensive Systems: State of the Art and Research Challenges
Identifieur interne : 003A72 ( Istex/Corpus ); précédent : 003A71; suivant : 003A73Engineering of Software-Intensive Systems: State of the Art and Research Challenges
Auteurs : Matthias Hölzl ; Axel Rauschmayer ; Martin WirsingSource :
- Lecture Notes in Computer Science [ 0302-9743 ] ; 2008.
Abstract
Abstract: Software-intensive systems become more and more important in our everyday lives. But their increasing complexity makes it difficult to develop and maintain them. This chapter gives an overview of the state of the art of building software-intensive systems and outlines research challenges that have been identified by the InterLink working group “software-intensive systems and new computing paradigms”.
Url:
DOI: 10.1007/978-3-540-89437-7_1
Links to Exploration step
ISTEX:E11ACF7DE9BCE7FCE017AB97D2DFAB71791595E3Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Engineering of Software-Intensive Systems: State of the Art and Research Challenges</title><author><name sortKey="Holzl, Matthias" sort="Holzl, Matthias" uniqKey="Holzl M" first="Matthias" last="Hölzl">Matthias Hölzl</name><affiliation><mods:affiliation>Institut für Informatik, Ludwig-Maximilians-Universität München</mods:affiliation></affiliation></author><author><name sortKey="Rauschmayer, Axel" sort="Rauschmayer, Axel" uniqKey="Rauschmayer A" first="Axel" last="Rauschmayer">Axel Rauschmayer</name><affiliation><mods:affiliation>Institut für Informatik, Ludwig-Maximilians-Universität München</mods:affiliation></affiliation></author><author><name sortKey="Wirsing, Martin" sort="Wirsing, Martin" uniqKey="Wirsing M" first="Martin" last="Wirsing">Martin Wirsing</name><affiliation><mods:affiliation>Institut für Informatik, Ludwig-Maximilians-Universität München</mods:affiliation></affiliation></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:E11ACF7DE9BCE7FCE017AB97D2DFAB71791595E3</idno><date when="2008" year="2008">2008</date><idno type="doi">10.1007/978-3-540-89437-7_1</idno><idno type="url">https://api.istex.fr/document/E11ACF7DE9BCE7FCE017AB97D2DFAB71791595E3/fulltext/pdf</idno><idno type="wicri:Area/Istex/Corpus">003A72</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Engineering of Software-Intensive Systems: State of the Art and Research Challenges</title><author><name sortKey="Holzl, Matthias" sort="Holzl, Matthias" uniqKey="Holzl M" first="Matthias" last="Hölzl">Matthias Hölzl</name><affiliation><mods:affiliation>Institut für Informatik, Ludwig-Maximilians-Universität München</mods:affiliation></affiliation></author><author><name sortKey="Rauschmayer, Axel" sort="Rauschmayer, Axel" uniqKey="Rauschmayer A" first="Axel" last="Rauschmayer">Axel Rauschmayer</name><affiliation><mods:affiliation>Institut für Informatik, Ludwig-Maximilians-Universität München</mods:affiliation></affiliation></author><author><name sortKey="Wirsing, Martin" sort="Wirsing, Martin" uniqKey="Wirsing M" first="Martin" last="Wirsing">Martin Wirsing</name><affiliation><mods:affiliation>Institut für Informatik, Ludwig-Maximilians-Universität München</mods:affiliation></affiliation></author></analytic><monogr></monogr><series><title level="s">Lecture Notes in Computer Science</title><imprint><date>2008</date></imprint><idno type="ISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="ISSN">0302-9743</idno></series><idno type="istex">E11ACF7DE9BCE7FCE017AB97D2DFAB71791595E3</idno><idno type="DOI">10.1007/978-3-540-89437-7_1</idno><idno type="ChapterID">1</idno><idno type="ChapterID">Chap1</idno></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass><langUsage><language ident="en">en</language></langUsage></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: Software-intensive systems become more and more important in our everyday lives. But their increasing complexity makes it difficult to develop and maintain them. This chapter gives an overview of the state of the art of building software-intensive systems and outlines research challenges that have been identified by the InterLink working group “software-intensive systems and new computing paradigms”.</div></front></TEI><istex><corpusName>springer</corpusName><author><json:item><name>Matthias Hölzl</name><affiliations><json:string>Institut für Informatik, Ludwig-Maximilians-Universität München,</json:string></affiliations></json:item><json:item><name>Axel Rauschmayer</name><affiliations><json:string>Institut für Informatik, Ludwig-Maximilians-Universität München,</json:string></affiliations></json:item><json:item><name>Martin Wirsing</name><affiliations><json:string>Institut für Informatik, Ludwig-Maximilians-Universität München,</json:string></affiliations></json:item></author><language><json:string>eng</json:string></language><abstract>Abstract: Software-intensive systems become more and more important in our everyday lives. But their increasing complexity makes it difficult to develop and maintain them. This chapter gives an overview of the state of the art of building software-intensive systems and outlines research challenges that have been identified by the InterLink working group “software-intensive systems and new computing paradigms”.</abstract><qualityIndicators><score>7.196</score><pdfVersion>1.6</pdfVersion><pdfPageSize>430 x 660 pts</pdfPageSize><refBibsNative>false</refBibsNative><keywordCount>0</keywordCount><abstractCharCount>413</abstractCharCount><pdfWordCount>18178</pdfWordCount><pdfCharCount>119144</pdfCharCount><pdfPageCount>44</pdfPageCount><abstractWordCount>58</abstractWordCount></qualityIndicators><title>Engineering of Software-Intensive Systems: State of the Art and Research Challenges</title><genre.original><json:string>OriginalPaper</json:string></genre.original><chapterId><json:string>1</json:string><json:string>Chap1</json:string></chapterId><genre><json:string>collection [research-article]</json:string></genre><serie><editor><json:item><name>David Hutchison</name></json:item><json:item><name>Takeo Kanade</name></json:item><json:item><name>Josef Kittler</name></json:item><json:item><name>Jon M. Kleinberg</name></json:item><json:item><name>Friedemann Mattern</name></json:item><json:item><name>John C. Mitchell</name></json:item><json:item><name>Moni Naor</name></json:item><json:item><name>Oscar Nierstrasz</name></json:item><json:item><name>C. Pandu Rangan</name></json:item><json:item><name>Bernhard Steffen</name></json:item><json:item><name>Madhu Sudan</name></json:item><json:item><name>Demetri Terzopoulos</name></json:item><json:item><name>Doug Tygar</name></json:item><json:item><name>Moshe Y. Vardi</name></json:item><json:item><name>Gerhard Weikum</name></json:item></editor><issn><json:string>0302-9743</json:string></issn><language><json:string>unknown</json:string></language><eissn><json:string>1611-3349</json:string></eissn><title>Lecture Notes in Computer Science</title><copyrightDate>2008</copyrightDate></serie><host><editor><json:item><name>Martin Wirsing</name><affiliations><json:string>Institute of Computer Science, LMU Munich, Munich, Germany</json:string><json:string>E-mail: wirsing@pst.ifi.lmu.de</json:string></affiliations></json:item><json:item><name>Jean-Pierre Banâtre</name><affiliations><json:string>Université de Rennes I and INRIA/IRISA, Campus de Beaulieu, 35042, Rennes Cedex, France</json:string><json:string>E-mail: jean-pierre.banatre@irisa.fr</json:string></affiliations></json:item><json:item><name>Matthias Hölzl</name><affiliations><json:string>Ludwig-Maximilians-Universität München, Germany</json:string><json:string>E-mail: matthias.hoelzl@pst.ifi.lmu.de</json:string></affiliations></json:item><json:item><name>Axel Rauschmayer</name><affiliations><json:string>Institute of Computer Science, LMU Munich, Munich, Germany</json:string><json:string>E-mail: axel.rauschmayer@ifilmu.de</json:string></affiliations></json:item></editor><subject><json:item><value>Computer Science</value></json:item><json:item><value>Computer Science</value></json:item><json:item><value>Software Engineering</value></json:item><json:item><value>Programming Techniques</value></json:item><json:item><value>Programming Languages, Compilers, Interpreters</value></json:item><json:item><value>Logics and Meanings of Programs</value></json:item><json:item><value>Computer Communication Networks</value></json:item></subject><isbn><json:string>978-3-540-89436-0</json:string></isbn><language><json:string>unknown</json:string></language><eissn><json:string>1611-3349</json:string></eissn><title>Software-Intensive Systems and New Computing Paradigms</title><genre.original><json:string>Collected works</json:string></genre.original><bookId><json:string>978-3-540-89437-7</json:string></bookId><volume>5380</volume><pages><last>44</last><first>1</first></pages><issn><json:string>0302-9743</json:string></issn><genre><json:string>Book Series</json:string></genre><eisbn><json:string>978-3-540-89437-7</json:string></eisbn><copyrightDate>2008</copyrightDate><doi><json:string>10.1007/978-3-540-89437-7</json:string></doi></host><publicationDate>2008</publicationDate><copyrightDate>2008</copyrightDate><doi><json:string>10.1007/978-3-540-89437-7_1</json:string></doi><id>E11ACF7DE9BCE7FCE017AB97D2DFAB71791595E3</id><score>1</score><fulltext><json:item><original>true</original><mimetype>application/pdf</mimetype><extension>pdf</extension><uri>https://api.istex.fr/document/E11ACF7DE9BCE7FCE017AB97D2DFAB71791595E3/fulltext/pdf</uri></json:item><json:item><original>false</original><mimetype>application/zip</mimetype><extension>zip</extension><uri>https://api.istex.fr/document/E11ACF7DE9BCE7FCE017AB97D2DFAB71791595E3/fulltext/zip</uri></json:item><istex:fulltextTEI uri="https://api.istex.fr/document/E11ACF7DE9BCE7FCE017AB97D2DFAB71791595E3/fulltext/tei"><teiHeader><fileDesc><titleStmt><title level="a" type="main" xml:lang="en">Engineering of Software-Intensive Systems: State of the Art and Research Challenges</title><respStmt xml:id="ISTEX-API" resp="Références bibliographiques récupérées via GROBID" name="ISTEX-API (INIST-CNRS)"></respStmt></titleStmt><publicationStmt><authority>ISTEX</authority><publisher>Springer Berlin Heidelberg</publisher><pubPlace>Berlin, Heidelberg</pubPlace><availability><p>SPRINGER</p></availability><date>2008</date></publicationStmt><sourceDesc><biblStruct type="inbook"><analytic><title level="a" type="main" xml:lang="en">Engineering of Software-Intensive Systems: State of the Art and Research Challenges</title><author><persName><forename type="first">Matthias</forename><surname>Hölzl</surname></persName><affiliation>Institut für Informatik, Ludwig-Maximilians-Universität München,</affiliation></author><author><persName><forename type="first">Axel</forename><surname>Rauschmayer</surname></persName><affiliation>Institut für Informatik, Ludwig-Maximilians-Universität München,</affiliation></author><author><persName><forename type="first">Martin</forename><surname>Wirsing</surname></persName><affiliation>Institut für Informatik, Ludwig-Maximilians-Universität München,</affiliation></author></analytic><monogr><title level="m">Software-Intensive Systems and New Computing Paradigms</title><title level="m" type="sub">Challenges and Visions</title><idno type="pISBN">978-3-540-89436-0</idno><idno type="eISBN">978-3-540-89437-7</idno><idno type="pISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="DOI">10.1007/978-3-540-89437-7</idno><idno type="BookID">978-3-540-89437-7</idno><idno type="BookTitleID">184241</idno><idno type="BookSequenceNumber">5380</idno><idno type="BookVolumeNumber">5380</idno><idno type="BookChapterCount">16</idno><editor><persName><forename type="first">Martin</forename><surname>Wirsing</surname></persName><email>wirsing@pst.ifi.lmu.de</email><affiliation>Institute of Computer Science, LMU Munich, Munich, Germany</affiliation></editor><editor><persName><forename type="first">Jean-Pierre</forename><surname>Banâtre</surname></persName><email>jean-pierre.banatre@irisa.fr</email><affiliation>Université de Rennes I and INRIA/IRISA, Campus de Beaulieu, 35042, Rennes Cedex, France</affiliation></editor><editor><persName><forename type="first">Matthias</forename><surname>Hölzl</surname></persName><email>matthias.hoelzl@pst.ifi.lmu.de</email><affiliation>Ludwig-Maximilians-Universität München, Germany</affiliation></editor><editor><persName><forename type="first">Axel</forename><surname>Rauschmayer</surname></persName><email>axel.rauschmayer@ifilmu.de</email><affiliation>Institute of Computer Science, LMU Munich, Munich, Germany</affiliation></editor><imprint><publisher>Springer Berlin Heidelberg</publisher><pubPlace>Berlin, Heidelberg</pubPlace><date type="published" when="2008"></date><biblScope unit="volume">5380</biblScope><biblScope unit="page" from="1">1</biblScope><biblScope unit="page" to="44">44</biblScope></imprint></monogr><series><title level="s">Lecture Notes in Computer Science</title><editor><persName><forename type="first">David</forename><surname>Hutchison</surname></persName></editor><editor><persName><forename type="first">Takeo</forename><surname>Kanade</surname></persName></editor><editor><persName><forename type="first">Josef</forename><surname>Kittler</surname></persName></editor><editor><persName><forename type="first">Jon</forename><forename type="first">M.</forename><surname>Kleinberg</surname></persName></editor><editor><persName><forename type="first">Friedemann</forename><surname>Mattern</surname></persName></editor><editor><persName><forename type="first">John</forename><forename type="first">C.</forename><surname>Mitchell</surname></persName></editor><editor><persName><forename type="first">Moni</forename><surname>Naor</surname></persName></editor><editor><persName><forename type="first">Oscar</forename><surname>Nierstrasz</surname></persName></editor><editor><persName><forename type="first">C.</forename><surname>Pandu Rangan</surname></persName></editor><editor><persName><forename type="first">Bernhard</forename><surname>Steffen</surname></persName></editor><editor><persName><forename type="first">Madhu</forename><surname>Sudan</surname></persName></editor><editor><persName><forename type="first">Demetri</forename><surname>Terzopoulos</surname></persName></editor><editor><persName><forename type="first">Doug</forename><surname>Tygar</surname></persName></editor><editor><persName><forename type="first">Moshe</forename><forename type="first">Y.</forename><surname>Vardi</surname></persName></editor><editor><persName><forename type="first">Gerhard</forename><surname>Weikum</surname></persName></editor><biblScope><date>2008</date></biblScope><idno type="pISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="seriesId">558</idno></series><idno type="istex">E11ACF7DE9BCE7FCE017AB97D2DFAB71791595E3</idno><idno type="DOI">10.1007/978-3-540-89437-7_1</idno><idno type="ChapterID">1</idno><idno type="ChapterID">Chap1</idno></biblStruct></sourceDesc></fileDesc><profileDesc><creation><date>2008</date></creation><langUsage><language ident="en">en</language></langUsage><abstract xml:lang="en"><p>Abstract: Software-intensive systems become more and more important in our everyday lives. But their increasing complexity makes it difficult to develop and maintain them. This chapter gives an overview of the state of the art of building software-intensive systems and outlines research challenges that have been identified by the InterLink working group “software-intensive systems and new computing paradigms”.</p></abstract><textClass><keywords scheme="Book Subject Collection"><list><label>SUCO11645</label><item><term>Computer Science</term></item></list></keywords></textClass><textClass><keywords scheme="Book Subject Group"><list><label>I</label><label>I14029</label><label>I14010</label><label>I14037</label><label>I1603X</label><label>I13022</label><item><term>Computer Science</term></item><item><term>Software Engineering</term></item><item><term>Programming Techniques</term></item><item><term>Programming Languages, Compilers, Interpreters</term></item><item><term>Logics and Meanings of Programs</term></item><item><term>Computer Communication Networks</term></item></list></keywords></textClass></profileDesc><revisionDesc><change when="2008">Published</change><change xml:id="refBibs-istex" who="#ISTEX-API" when="2016-3-20">References added</change></revisionDesc></teiHeader></istex:fulltextTEI><json:item><original>false</original><mimetype>text/plain</mimetype><extension>txt</extension><uri>https://api.istex.fr/document/E11ACF7DE9BCE7FCE017AB97D2DFAB71791595E3/fulltext/txt</uri></json:item></fulltext><metadata><istex:metadataXml wicri:clean="Springer, Publisher found" wicri:toSee="no header"><istex:xmlDeclaration>version="1.0" encoding="UTF-8"</istex:xmlDeclaration><istex:docType PUBLIC="-//Springer-Verlag//DTD A++ V2.4//EN" URI="http://devel.springer.de/A++/V2.4/DTD/A++V2.4.dtd" name="istex:docType"></istex:docType><istex:document><Publisher><PublisherInfo><PublisherName>Springer Berlin Heidelberg</PublisherName><PublisherLocation>Berlin, Heidelberg</PublisherLocation></PublisherInfo><Series><SeriesInfo SeriesType="Series" TocLevels="0"><SeriesID>558</SeriesID><SeriesPrintISSN>0302-9743</SeriesPrintISSN><SeriesElectronicISSN>1611-3349</SeriesElectronicISSN><SeriesTitle Language="En">Lecture Notes in Computer Science</SeriesTitle></SeriesInfo><SeriesHeader><EditorGroup><Editor><EditorName DisplayOrder="Western"><GivenName>David</GivenName><FamilyName>Hutchison</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>Takeo</GivenName><FamilyName>Kanade</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>Josef</GivenName><FamilyName>Kittler</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>Jon</GivenName><GivenName>M.</GivenName><FamilyName>Kleinberg</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>Friedemann</GivenName><FamilyName>Mattern</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>John</GivenName><GivenName>C.</GivenName><FamilyName>Mitchell</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>Moni</GivenName><FamilyName>Naor</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>Oscar</GivenName><FamilyName>Nierstrasz</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>C.</GivenName><FamilyName>Pandu Rangan</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>Bernhard</GivenName><FamilyName>Steffen</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>Madhu</GivenName><FamilyName>Sudan</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>Demetri</GivenName><FamilyName>Terzopoulos</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>Doug</GivenName><FamilyName>Tygar</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>Moshe</GivenName><GivenName>Y.</GivenName><FamilyName>Vardi</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>Gerhard</GivenName><FamilyName>Weikum</FamilyName></EditorName></Editor></EditorGroup></SeriesHeader><Book Language="En"><BookInfo BookProductType="Collected works" ContainsESM="No" Language="En" MediaType="eBook" NumberingStyle="Unnumbered" OutputMedium="All" TocLevels="0"><BookID>978-3-540-89437-7</BookID><BookTitle>Software-Intensive Systems and New Computing Paradigms</BookTitle><BookSubTitle>Challenges and Visions</BookSubTitle><BookVolumeNumber>5380</BookVolumeNumber><BookSequenceNumber>5380</BookSequenceNumber><BookDOI>10.1007/978-3-540-89437-7</BookDOI><BookTitleID>184241</BookTitleID><BookPrintISBN>978-3-540-89436-0</BookPrintISBN><BookElectronicISBN>978-3-540-89437-7</BookElectronicISBN><BookChapterCount>16</BookChapterCount><BookCopyright><CopyrightHolderName>Springer Berlin Heidelberg</CopyrightHolderName><CopyrightYear>2008</CopyrightYear></BookCopyright><BookSubjectGroup><BookSubject Code="I" Type="Primary">Computer Science</BookSubject><BookSubject Code="I14029" Priority="1" Type="Secondary">Software Engineering</BookSubject><BookSubject Code="I14010" Priority="2" Type="Secondary">Programming Techniques</BookSubject><BookSubject Code="I14037" Priority="3" Type="Secondary">Programming Languages, Compilers, Interpreters</BookSubject><BookSubject Code="I1603X" Priority="4" Type="Secondary">Logics and Meanings of Programs</BookSubject><BookSubject Code="I13022" Priority="5" Type="Secondary">Computer Communication Networks</BookSubject><SubjectCollection Code="SUCO11645">Computer Science</SubjectCollection></BookSubjectGroup></BookInfo><BookHeader><EditorGroup><Editor AffiliationIDS="Aff1"><EditorName DisplayOrder="Western"><GivenName>Martin</GivenName><FamilyName>Wirsing</FamilyName></EditorName><Contact><Email>wirsing@pst.ifi.lmu.de</Email></Contact></Editor><Editor AffiliationIDS="Aff2"><EditorName DisplayOrder="Western"><GivenName>Jean-Pierre</GivenName><FamilyName>Banâtre</FamilyName></EditorName><Contact><Email>jean-pierre.banatre@irisa.fr</Email></Contact></Editor><Editor AffiliationIDS="Aff3"><EditorName DisplayOrder="Western"><GivenName>Matthias</GivenName><FamilyName>Hölzl</FamilyName></EditorName><Contact><Email>matthias.hoelzl@pst.ifi.lmu.de</Email></Contact></Editor><Editor AffiliationIDS="Aff1"><EditorName DisplayOrder="Western"><GivenName>Axel</GivenName><FamilyName>Rauschmayer</FamilyName></EditorName><Contact><Email>axel.rauschmayer@ifilmu.de</Email></Contact></Editor><Affiliation ID="Aff1"><OrgDivision>Institute of Computer Science</OrgDivision><OrgName>LMU Munich</OrgName><OrgAddress><City>Munich</City><Country>Germany</Country></OrgAddress></Affiliation><Affiliation ID="Aff2"><OrgName>Université de Rennes I and INRIA/IRISA</OrgName><OrgAddress><Street>Campus de Beaulieu</Street><Postcode>35042</Postcode><City>Rennes Cedex</City><Country>France</Country></OrgAddress></Affiliation><Affiliation ID="Aff3"><OrgName>Ludwig-Maximilians-Universität München</OrgName><OrgAddress><Country>Germany</Country></OrgAddress></Affiliation></EditorGroup></BookHeader><Part ID="Part1"><PartInfo TocLevels="0"><PartID>1</PartID><PartSequenceNumber>1</PartSequenceNumber><PartTitle>Engineering of Software-Intensive Systems: State of the Art and Research Challenges</PartTitle><PartChapterCount>1</PartChapterCount><PartContext><SeriesID>558</SeriesID><BookTitle>Software-Intensive Systems and New Computing Paradigms</BookTitle></PartContext></PartInfo><Chapter ID="Chap1" Language="En"><ChapterInfo ChapterType="OriginalPaper" ContainsESM="No" NumberingStyle="Unnumbered" TocLevels="0"><ChapterID>1</ChapterID><ChapterDOI>10.1007/978-3-540-89437-7_1</ChapterDOI><ChapterSequenceNumber>1</ChapterSequenceNumber><ChapterTitle Language="En">Engineering of Software-Intensive Systems: State of the Art and Research Challenges</ChapterTitle><ChapterFirstPage>1</ChapterFirstPage><ChapterLastPage>44</ChapterLastPage><ChapterCopyright><CopyrightHolderName>Springer-Verlag Berlin Heidelberg</CopyrightHolderName><CopyrightYear>2008</CopyrightYear></ChapterCopyright><ChapterGrants Type="Regular"><MetadataGrant Grant="OpenAccess"></MetadataGrant><AbstractGrant Grant="OpenAccess"></AbstractGrant><BodyPDFGrant Grant="Restricted"></BodyPDFGrant><BodyHTMLGrant Grant="Restricted"></BodyHTMLGrant><BibliographyGrant Grant="Restricted"></BibliographyGrant><ESMGrant Grant="Restricted"></ESMGrant></ChapterGrants><ChapterContext><SeriesID>558</SeriesID><PartID>1</PartID><BookID>978-3-540-89437-7</BookID><BookTitle>Software-Intensive Systems and New Computing Paradigms</BookTitle></ChapterContext></ChapterInfo><ChapterHeader><AuthorGroup><Author AffiliationIDS="Aff4"><AuthorName DisplayOrder="Western"><GivenName>Matthias</GivenName><FamilyName>Hölzl</FamilyName></AuthorName></Author><Author AffiliationIDS="Aff4"><AuthorName DisplayOrder="Western"><GivenName>Axel</GivenName><FamilyName>Rauschmayer</FamilyName></AuthorName></Author><Author AffiliationIDS="Aff4"><AuthorName DisplayOrder="Western"><GivenName>Martin</GivenName><FamilyName>Wirsing</FamilyName></AuthorName></Author><Affiliation ID="Aff4"><OrgDivision>Institut für Informatik</OrgDivision><OrgName>Ludwig-Maximilians-Universität München</OrgName><OrgAddress><Country> </Country></OrgAddress></Affiliation></AuthorGroup><Abstract ID="Abs1" Language="En"><Heading>Abstract</Heading><Para>Software-intensive systems become more and more important in our everyday lives. But their increasing complexity makes it difficult to develop and maintain them. This chapter gives an overview of the state of the art of building software-intensive systems and outlines research challenges that have been identified by the InterLink working group “software-intensive systems and new computing paradigms”.</Para></Abstract></ChapterHeader><NoBody></NoBody></Chapter></Part></Book></Series></Publisher></istex:document></istex:metadataXml><mods version="3.6"><titleInfo lang="en"><title>Engineering of Software-Intensive Systems: State of the Art and Research Challenges</title></titleInfo><titleInfo type="alternative" contentType="CDATA" lang="en"><title>Engineering of Software-Intensive Systems: State of the Art and Research Challenges</title></titleInfo><name type="personal"><namePart type="given">Matthias</namePart><namePart type="family">Hölzl</namePart><affiliation>Institut für Informatik, Ludwig-Maximilians-Universität München</affiliation><role><roleTerm type="text">author</roleTerm></role></name><name type="personal"><namePart type="given">Axel</namePart><namePart type="family">Rauschmayer</namePart><affiliation>Institut für Informatik, Ludwig-Maximilians-Universität München</affiliation><role><roleTerm type="text">author</roleTerm></role></name><name type="personal"><namePart type="given">Martin</namePart><namePart type="family">Wirsing</namePart><affiliation>Institut für Informatik, Ludwig-Maximilians-Universität München</affiliation><role><roleTerm type="text">author</roleTerm></role></name><typeOfResource>text</typeOfResource><genre type="collection [research-article]" displayLabel="OriginalPaper"></genre><originInfo><publisher>Springer Berlin Heidelberg</publisher><place><placeTerm type="text">Berlin, Heidelberg</placeTerm></place><dateIssued encoding="w3cdtf">2008</dateIssued><copyrightDate encoding="w3cdtf">2008</copyrightDate></originInfo><language><languageTerm type="code" authority="rfc3066">en</languageTerm><languageTerm type="code" authority="iso639-2b">eng</languageTerm></language><physicalDescription><internetMediaType>text/html</internetMediaType></physicalDescription><abstract lang="en">Abstract: Software-intensive systems become more and more important in our everyday lives. But their increasing complexity makes it difficult to develop and maintain them. This chapter gives an overview of the state of the art of building software-intensive systems and outlines research challenges that have been identified by the InterLink working group “software-intensive systems and new computing paradigms”.</abstract><relatedItem type="host"><titleInfo><title>Software-Intensive Systems and New Computing Paradigms</title><subTitle>Challenges and Visions</subTitle></titleInfo><name type="personal"><namePart type="given">Martin</namePart><namePart type="family">Wirsing</namePart><affiliation>Institute of Computer Science, LMU Munich, Munich, Germany</affiliation><affiliation>E-mail: wirsing@pst.ifi.lmu.de</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Jean-Pierre</namePart><namePart type="family">Banâtre</namePart><affiliation>Université de Rennes I and INRIA/IRISA, Campus de Beaulieu, 35042, Rennes Cedex, France</affiliation><affiliation>E-mail: jean-pierre.banatre@irisa.fr</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Matthias</namePart><namePart type="family">Hölzl</namePart><affiliation>Ludwig-Maximilians-Universität München, Germany</affiliation><affiliation>E-mail: matthias.hoelzl@pst.ifi.lmu.de</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Axel</namePart><namePart type="family">Rauschmayer</namePart><affiliation>Institute of Computer Science, LMU Munich, Munich, Germany</affiliation><affiliation>E-mail: axel.rauschmayer@ifilmu.de</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><genre type="Book Series" displayLabel="Collected works"></genre><originInfo><copyrightDate encoding="w3cdtf">2008</copyrightDate><issuance>monographic</issuance></originInfo><subject><genre>Book Subject Collection</genre><topic authority="SpringerSubjectCodes" authorityURI="SUCO11645">Computer Science</topic></subject><subject><genre>Book Subject Group</genre><topic authority="SpringerSubjectCodes" authorityURI="I">Computer Science</topic><topic authority="SpringerSubjectCodes" authorityURI="I14029">Software Engineering</topic><topic authority="SpringerSubjectCodes" authorityURI="I14010">Programming Techniques</topic><topic authority="SpringerSubjectCodes" authorityURI="I14037">Programming Languages, Compilers, Interpreters</topic><topic authority="SpringerSubjectCodes" authorityURI="I1603X">Logics and Meanings of Programs</topic><topic authority="SpringerSubjectCodes" authorityURI="I13022">Computer Communication Networks</topic></subject><identifier type="DOI">10.1007/978-3-540-89437-7</identifier><identifier type="ISBN">978-3-540-89436-0</identifier><identifier type="eISBN">978-3-540-89437-7</identifier><identifier type="ISSN">0302-9743</identifier><identifier type="eISSN">1611-3349</identifier><identifier type="BookTitleID">184241</identifier><identifier type="BookID">978-3-540-89437-7</identifier><identifier type="BookChapterCount">16</identifier><identifier type="BookVolumeNumber">5380</identifier><identifier type="BookSequenceNumber">5380</identifier><identifier type="PartChapterCount">1</identifier><part><date>2008</date><detail type="part"><title>Engineering of Software-Intensive Systems: State of the Art and Research Challenges</title></detail><detail type="volume"><number>5380</number><caption>vol.</caption></detail><extent unit="pages"><start>1</start><end>44</end></extent></part><recordInfo><recordOrigin>Springer Berlin Heidelberg, 2008</recordOrigin></recordInfo></relatedItem><relatedItem type="series"><titleInfo><title>Lecture Notes in Computer Science</title></titleInfo><name type="personal"><namePart type="given">David</namePart><namePart type="family">Hutchison</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Takeo</namePart><namePart type="family">Kanade</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Josef</namePart><namePart type="family">Kittler</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Jon</namePart><namePart type="given">M.</namePart><namePart type="family">Kleinberg</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Friedemann</namePart><namePart type="family">Mattern</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">John</namePart><namePart type="given">C.</namePart><namePart type="family">Mitchell</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Moni</namePart><namePart type="family">Naor</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Oscar</namePart><namePart type="family">Nierstrasz</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">C.</namePart><namePart type="family">Pandu Rangan</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Bernhard</namePart><namePart type="family">Steffen</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Madhu</namePart><namePart type="family">Sudan</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Demetri</namePart><namePart type="family">Terzopoulos</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Doug</namePart><namePart type="family">Tygar</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Moshe</namePart><namePart type="given">Y.</namePart><namePart type="family">Vardi</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Gerhard</namePart><namePart type="family">Weikum</namePart><role><roleTerm type="text">editor</roleTerm></role></name><originInfo><copyrightDate encoding="w3cdtf">2008</copyrightDate><issuance>serial</issuance></originInfo><identifier type="ISSN">0302-9743</identifier><identifier type="eISSN">1611-3349</identifier><identifier type="SeriesID">558</identifier><recordInfo><recordOrigin>Springer Berlin Heidelberg, 2008</recordOrigin></recordInfo></relatedItem><identifier type="istex">E11ACF7DE9BCE7FCE017AB97D2DFAB71791595E3</identifier><identifier type="DOI">10.1007/978-3-540-89437-7_1</identifier><identifier type="ChapterID">1</identifier><identifier type="ChapterID">Chap1</identifier><accessCondition type="use and reproduction" contentType="copyright">Springer Berlin Heidelberg, 2008</accessCondition><recordInfo><recordContentSource>SPRINGER</recordContentSource><recordOrigin>Springer-Verlag Berlin Heidelberg, 2008</recordOrigin></recordInfo></mods></metadata><enrichments><istex:refBibTEI uri="https://api.istex.fr/document/E11ACF7DE9BCE7FCE017AB97D2DFAB71791595E3/enrichments/refBib"><teiHeader></teiHeader><text><front></front><body></body><back><listBibl><biblStruct xml:id="b0"><analytic><title level="a" type="main">Information technology and economic performance: A critical review of the empirical evidence</title><author><persName><forename type="first">J</forename><surname>Dedrick</surname></persName></author><author><persName><forename type="first">V</forename><surname>Gurbaxani</surname></persName></author><author><persName><forename type="first">K</forename><forename type="middle">L</forename><surname>Kraemer</surname></persName></author></analytic><monogr><title level="j">ACM Comput. Surv</title><imprint><biblScope unit="volume">35</biblScope><biblScope unit="issue">1</biblScope><biblScope unit="page" from="1" to="28"></biblScope><date type="published" when="2003"></date></imprint></monogr></biblStruct><biblStruct xml:id="b1"><monogr><title level="m" type="main">Information Technology for European Advancement (ITEA) Office Association: ITEA technology roadmap for software-intensive systems</title><imprint><date type="published" when="2004-03"></date></imprint></monogr><note>2nd. edn.</note></biblStruct><biblStruct xml:id="b2"><analytic><title level="a" type="main">Software-intensive systems</title><author><persName><forename type="first">M</forename><surname>Wirsing</surname></persName></author><author><persName><forename type="first">M</forename><surname>Hölzl</surname></persName></author></analytic><monogr><title level="j">Report of the Beyond-the- Horizon</title><imprint><biblScope unit="volume">6</biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b3"><analytic><title level="a" type="main">Guest editor's introduction: The state of the practice of software engineering</title><author><persName><forename type="first">R</forename><forename type="middle">L</forename><surname>Glass</surname></persName></author></analytic><monogr><title level="j">IEEE Software</title><imprint><biblScope unit="volume">20</biblScope><biblScope unit="issue">6</biblScope><biblScope unit="page" from="20" to="21"></biblScope><date type="published" when="2003"></date></imprint></monogr></biblStruct><biblStruct xml:id="b4"><monogr><title level="m" type="main">Replication, sharing, deletion, lists, and numerals: Progress on universally programmable intelligent matter</title><author><persName><forename type="first">B</forename><forename type="middle">J</forename><surname>Maclennan</surname></persName></author><imprint><date type="published" when="2002-11"></date></imprint></monogr></biblStruct><biblStruct xml:id="b5"><analytic><title level="a" type="main">Algorithmic self-assembly of DNA Sierpinski triangles</title><author><persName><forename type="first">P</forename><forename type="middle">W K</forename><surname>Rothemund</surname></persName></author><author><persName><forename type="first">N</forename><surname>Papadakis</surname></persName></author><author><persName><forename type="first">E</forename><surname>Winfree</surname></persName></author></analytic><monogr><title level="m">Preliminary Proceedings of DNA Computing, 9th international Workshop on DNA-Based Computers</title><meeting><address><addrLine>125 Madison, Wisconsin, USA</addrLine></address></meeting><imprint><date type="published" when="2003-06"></date><biblScope unit="page" from="1" to="4"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b6"><analytic><title level="a" type="main">Computation in gene networks</title><author><persName><forename type="first">A</forename><surname>Ben-Hur</surname></persName></author><author><persName><forename type="first">H</forename><forename type="middle">T</forename><surname>Siegelmann</surname></persName></author></analytic><monogr><title level="j">Chaos</title><imprint><biblScope unit="volume">14</biblScope><biblScope unit="issue">1</biblScope><biblScope unit="page" from="145" to="151"></biblScope><date type="published" when="2004"></date></imprint></monogr></biblStruct><biblStruct xml:id="b7"><analytic><title level="a" type="main">Programmable cells: interfacing natural and engineered gene networks</title><author><persName><forename type="first">H</forename><surname>Kobayashi</surname></persName></author><author><persName><forename type="first">M</forename><surname>Kaern</surname></persName></author><author><persName><forename type="first">M</forename><surname>Araki</surname></persName></author><author><persName><forename type="first">K</forename><surname>Chung</surname></persName></author><author><persName><forename type="first">T</forename><forename type="middle">S</forename><surname>Gardner</surname></persName></author><author><persName><forename type="first">C</forename><forename type="middle">R</forename><surname>Cantor</surname></persName></author><author><persName><forename type="first">J</forename><forename type="middle">J</forename><surname>Collins</surname></persName></author></analytic><monogr><title level="j">Proc. Natl. Acad. Sci. U S A</title><imprint><biblScope unit="volume">101</biblScope><biblScope unit="issue">22</biblScope><biblScope unit="page" from="8414" to="8419"></biblScope><date type="published" when="2004"></date></imprint></monogr></biblStruct><biblStruct xml:id="b8"><analytic><title level="a" type="main">Enzyme-free nucleic acid logic circuits</title><author><persName><forename type="first">G</forename><surname>Seelig</surname></persName></author><author><persName><forename type="first">D</forename><surname>Soloveichik</surname></persName></author><author><persName><forename type="first">D</forename><forename type="middle">Y</forename><surname>Zhang</surname></persName></author><author><persName><forename type="first">E</forename><surname>Winfree</surname></persName></author></analytic><monogr><title level="j">Science</title><imprint><biblScope unit="volume">314</biblScope><biblScope unit="issue">5805</biblScope><biblScope unit="page" from="1585" to="1588"></biblScope><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b9"><monogr><title level="m" type="main">Directed evolution of a genetic circuit</title><author><persName><forename type="first">Y</forename><surname>Yokobayashi</surname></persName></author><author><persName><forename type="first">R</forename><surname>Weiss</surname></persName></author><author><persName><forename type="first">F</forename><forename type="middle">H</forename><surname>Arnold</surname></persName></author><imprint><date type="published" when="2002"></date><biblScope unit="page" from="99" to="26"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b10"><analytic><title level="a" type="main">Design of genetic networks with specified functions by evolution in silicon</title><author><persName><forename type="first">P</forename><surname>Franois</surname></persName></author><author><persName><forename type="first">V</forename><surname>Hakim</surname></persName></author></analytic><monogr><title level="j">Proc. Natl. Acad. Sci. U S A</title><imprint><biblScope unit="volume">101</biblScope><biblScope unit="issue">2</biblScope><biblScope unit="page" from="580" to="585"></biblScope><date type="published" when="2004"></date></imprint></monogr></biblStruct><biblStruct xml:id="b11"><analytic><title level="a" type="main">Engineered communications for microbial robotics</title><author><persName><forename type="first">R</forename><surname>Weiss</surname></persName></author><author><persName><forename type="first">T</forename><surname>Knight</surname></persName></author></analytic><monogr><title level="m">DNA: International Workshop on DNA-Based Computers</title><meeting><address><addrLine>Heidelberg</addrLine></address></meeting><imprint><publisher>Springer</publisher><date type="published" when="2000"></date></imprint></monogr></biblStruct><biblStruct xml:id="b12"><analytic><title level="a" type="main">Genetic circuit building blocks for cellular computation, communications , and signal processing</title><author><persName><forename type="first">R</forename><surname>Weiss</surname></persName></author><author><persName><forename type="first">S</forename><surname>Basu</surname></persName></author><author><persName><forename type="first">S</forename><surname>Hooshangi</surname></persName></author><author><persName><forename type="first">A</forename><surname>Kalmbach</surname></persName></author><author><persName><forename type="first">D</forename><surname>Karig</surname></persName></author><author><persName><forename type="first">R</forename><surname>Mehreja</surname></persName></author><author><persName><forename type="first">I</forename><surname>Netravali</surname></persName></author></analytic><monogr><title level="j">Natural Computing</title><imprint><biblScope unit="volume">2</biblScope><biblScope unit="issue">1</biblScope><biblScope unit="page" from="43" to="84"></biblScope><date type="published" when="2003"></date></imprint></monogr></biblStruct><biblStruct xml:id="b13"><analytic><title level="a" type="main">Synthetic life</title><author><persName><forename type="first">W</forename><forename type="middle">W</forename><surname>Gibbs</surname></persName></author></analytic><monogr><title level="j">Scientific American</title><imprint><biblScope unit="volume">290</biblScope><biblScope unit="issue">5</biblScope><biblScope unit="page" from="74" to="81"></biblScope><date type="published" when="2004"></date></imprint></monogr></biblStruct><biblStruct xml:id="b14"><analytic><title level="a" type="main">GEM: Web site of the international Genetically Engineered Machine competition</title><author><persName><surname>Syntheticbiology</surname></persName></author></analytic><monogr><title level="j">Syntheticbiology.org Web site</title><imprint><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b15"><analytic><title level="a" type="main">The pace and proliferation of biological technologies</title><author><persName><forename type="first">R</forename><surname>Carlson</surname></persName></author></analytic><monogr><title level="j">Biosecur Bioterror</title><imprint><biblScope unit="volume">1</biblScope><biblScope unit="issue">3</biblScope><biblScope unit="page" from="203" to="214"></biblScope><date type="published" when="2003"></date></imprint></monogr></biblStruct><biblStruct xml:id="b16"><analytic><title level="a" type="main">Quantum cryptography: A survey</title><author><persName><forename type="first">D</forename><surname>Bruss</surname></persName></author><author><persName><forename type="first">G</forename><surname>Erdélyi</surname></persName></author><author><persName><forename type="first">T</forename><surname>Meyer</surname></persName></author><author><persName><forename type="first">T</forename><surname>Riege</surname></persName></author><author><persName><forename type="first">J</forename><surname>Rothe</surname></persName></author></analytic><monogr><title level="j">ACM Comput. Surv</title><imprint><biblScope unit="volume">39</biblScope><biblScope unit="issue">2</biblScope><biblScope unit="page">6</biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b17"><analytic><title></title><author><persName><forename type="first">T</forename><surname>Van Der Pyl</surname></persName></author><author><persName><forename type="first">A</forename><surname>Karlson</surname></persName></author></analytic><monogr><title level="m">Quantum Information Processing</title><imprint><date type="published" when="2005"></date></imprint></monogr></biblStruct><biblStruct xml:id="b18"><monogr><title level="m" type="main">Web site of the ERA-Pilot QIST Coordinated Action</title><author><persName><forename type="first">Era-Pilot</forename></persName></author><imprint><date type="published" when="2008"></date></imprint></monogr></biblStruct><biblStruct xml:id="b19"><analytic><title level="a" type="main">Architectural implications of quantum computing technologies</title><author><persName><forename type="first">R</forename><forename type="middle">V</forename><surname>Meter</surname></persName></author><author><persName><forename type="first">M</forename><surname>Oskin</surname></persName></author></analytic><monogr><title level="j">J. Emerg. Technol. Comput. Syst</title><imprint><biblScope unit="volume">2</biblScope><biblScope unit="issue">1</biblScope><biblScope unit="page" from="31" to="63"></biblScope><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b20"><analytic><title level="a" type="main">Computing versus human thinking</title><author><persName><forename type="first">P</forename><surname>Naur</surname></persName></author></analytic><monogr><title level="j">Commun. ACM</title><imprint><biblScope unit="volume">50</biblScope><biblScope unit="issue">1</biblScope><biblScope unit="page" from="85" to="94"></biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b21"><analytic><title level="a" type="main">Object tracking: A survey</title><author><persName><forename type="first">A</forename><surname>Yilmaz</surname></persName></author><author><persName><forename type="first">O</forename><surname>Javed</surname></persName></author><author><persName><forename type="first">M</forename><surname>Shah</surname></persName></author></analytic><monogr><title level="j">ACM Comput. Surv</title><imprint><biblScope unit="volume">38</biblScope><biblScope unit="issue">4</biblScope><biblScope unit="page">13</biblScope><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b22"><analytic><title level="a" type="main">Fusing of image and inertial sensing for camera calibration</title><author><persName><forename type="first">J</forename><surname>Lobo</surname></persName></author><author><persName><forename type="first">J</forename><surname>Dias</surname></persName></author></analytic><monogr><title level="m">Proceedings of the IEEE Conference on Multisensor Fusion and Integration for Intelligent Systems</title><meeting>the IEEE Conference on Multisensor Fusion and Integration for Intelligent Systems</meeting><imprint><date type="published" when="2000"></date></imprint></monogr></biblStruct><biblStruct xml:id="b23"><analytic><title level="a" type="main">Sensor deployment strategy for target detection</title><author><persName><forename type="first">T</forename><surname>Clouqueur</surname></persName></author><author><persName><forename type="first">V</forename><surname>Phipatanasuphorn</surname></persName></author><author><persName><forename type="first">P</forename><surname>Ramanathan</surname></persName></author><author><persName><forename type="first">K</forename><surname>Saluja</surname></persName></author></analytic><monogr><title level="m">The First ACM International Workshop on Wireless Sensor Networks and Applications</title><imprint><date type="published" when="2002-09"></date></imprint></monogr></biblStruct><biblStruct xml:id="b24"><monogr><title level="m" type="main">Combinatorial fusion criteria for robot mapping</title><author><persName><forename type="first">D</forename><forename type="middle">M</forename><surname>Lyons</surname></persName></author><author><persName><forename type="first">D</forename><forename type="middle">F</forename><surname>Hsu</surname></persName></author><author><persName><forename type="first">Q</forename><surname>Ma</surname></persName></author><author><persName><forename type="first">L</forename><surname>Wang</surname></persName></author><imprint><date type="published" when="2007"></date><publisher>AINA IEEE Computer Society</publisher><biblScope unit="page" from="847" to="852"></biblScope><pubPlace>Los Alamitos</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b25"><analytic><title level="a" type="main">A reactive agent-based problem-solving model: Application to localization and tracking</title><author><persName><forename type="first">F</forename><surname>Gechter</surname></persName></author><author><persName><forename type="first">V</forename><surname>Chevrier</surname></persName></author><author><persName><forename type="first">F</forename><surname>Charpillet</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Auton. Adapt. Syst</title><imprint><biblScope unit="volume">1</biblScope><biblScope unit="issue">2</biblScope><biblScope unit="page" from="189" to="222"></biblScope><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b26"><analytic><title level="a" type="main">Information fusion for wireless sensor networks: Methods, models, and classifications</title><author><persName><forename type="first">E</forename><forename type="middle">F</forename><surname>Nakamura</surname></persName></author><author><persName><forename type="first">A</forename><forename type="middle">A F</forename><surname>Loureiro</surname></persName></author><author><persName><forename type="first">A</forename><forename type="middle">C</forename><surname>Frery</surname></persName></author></analytic><monogr><title level="j">ACM Comput. Surv</title><imprint><biblScope unit="volume">39</biblScope><biblScope unit="issue">3</biblScope><biblScope unit="page">9</biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b27"><analytic><title level="a" type="main">Dynamic data fusion for future sensor networks</title><author><persName><forename type="first">U</forename><surname>Ramachandran</surname></persName></author><author><persName><forename type="first">R</forename><surname>Kumar</surname></persName></author><author><persName><forename type="first">M</forename><surname>Wolenetz</surname></persName></author><author><persName><forename type="first">B</forename><surname>Cooper</surname></persName></author><author><persName><forename type="first">B</forename><surname>Agarwalla</surname></persName></author><author><persName><forename type="first">J</forename><surname>Shin</surname></persName></author><author><persName><forename type="first">P</forename><surname>Hutto</surname></persName></author><author><persName><forename type="first">A</forename><surname>Paul</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Sen. Netw</title><imprint><biblScope unit="volume">2</biblScope><biblScope unit="issue">3</biblScope><biblScope unit="page" from="404" to="443"></biblScope><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b28"><analytic><title level="a" type="main">Power-efficient sensor placement and transmission structure for data gathering under distortion constraints</title><author><persName><forename type="first">D</forename><surname>Ganesan</surname></persName></author><author><persName><forename type="first">R</forename><surname>Cristescu</surname></persName></author><author><persName><forename type="first">B</forename><surname>Lozano</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Sen. Netw</title><imprint><biblScope unit="volume">2</biblScope><biblScope unit="issue">2</biblScope><biblScope unit="page" from="155" to="181"></biblScope><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b29"><analytic><title level="a" type="main">Models and solutions for radio irregularity in wireless sensor networks</title><author><persName><forename type="first">G</forename><surname>Zhou</surname></persName></author><author><persName><forename type="first">T</forename><surname>He</surname></persName></author><author><persName><forename type="first">S</forename><surname>Krishnamurthy</surname></persName></author><author><persName><forename type="first">J</forename><forename type="middle">A</forename><surname>Stankovic</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Sen. Netw</title><imprint><biblScope unit="volume">2</biblScope><biblScope unit="issue">2</biblScope><biblScope unit="page" from="221" to="262"></biblScope><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b30"><analytic><title level="a" type="main">Power management in energy harvesting sensor networks</title><author><persName><forename type="first">A</forename><surname>Kansal</surname></persName></author><author><persName><forename type="first">J</forename><surname>Hsu</surname></persName></author><author><persName><forename type="first">S</forename><surname>Zahedi</surname></persName></author><author><persName><forename type="first">M</forename><forename type="middle">B</forename><surname>Srivastava</surname></persName></author></analytic><monogr><title level="j">Trans. on Embedded Computing Sys</title><imprint><biblScope unit="volume">6</biblScope><biblScope unit="issue">4</biblScope><biblScope unit="page">32</biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b31"><analytic><title level="a" type="main">Communication power optimization in a sensor network with a path-constrained mobile observer</title><author><persName><forename type="first">A</forename><surname>Chakrabarti</surname></persName></author><author><persName><forename type="first">A</forename><surname>Sabharwal</surname></persName></author><author><persName><forename type="first">B</forename><surname>Aazhang</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Sen. Netw</title><imprint><biblScope unit="volume">2</biblScope><biblScope unit="issue">3</biblScope><biblScope unit="page" from="297" to="324"></biblScope><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b32"><analytic><title level="a" type="main">Reconfiguration methods for mobile sensor networks</title><author><persName><forename type="first">A</forename><surname>Kansal</surname></persName></author><author><persName><forename type="first">W</forename><surname>Kaiser</surname></persName></author><author><persName><forename type="first">G</forename><surname>Pottie</surname></persName></author><author><persName><forename type="first">M</forename><surname>Srivastava</surname></persName></author><author><persName><forename type="first">G</forename><surname>Sukhatme</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Sen. Netw</title><imprint><biblScope unit="volume">34</biblScope><biblScope unit="page">22</biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b33"><analytic><title level="a" type="main">Distributed optimal self-organization in ad hoc wireless sensor networks</title><author><persName><forename type="first">A</forename><surname>Karnik</surname></persName></author><author><persName><forename type="first">A</forename><surname>Kumar</surname></persName></author></analytic><monogr><title level="j">IEEE/ACM Trans. Netw</title><imprint><biblScope unit="volume">15</biblScope><biblScope unit="issue">5</biblScope><biblScope unit="page" from="1035" to="1045"></biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b34"><analytic><title level="a" type="main">Distributed protocols for ensuring both coverage and connectivity of a wireless sensor network</title><author><persName><forename type="first">C</forename><forename type="middle">F</forename><surname>Huang</surname></persName></author><author><persName><forename type="first">Y</forename><forename type="middle">C</forename><surname>Tseng</surname></persName></author><author><persName><forename type="first">H</forename><forename type="middle">L</forename><surname>Wu</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Sen. Netw</title><imprint><biblScope unit="volume">3</biblScope><biblScope unit="issue">5</biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b35"><analytic><title level="a" type="main">Stochastic coverage in heterogeneous sensor networks</title><author><persName><forename type="first">L</forename><surname>Lazos</surname></persName></author><author><persName><forename type="first">R</forename><surname>Poovendran</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Sen. Netw</title><imprint><biblScope unit="volume">2</biblScope><biblScope unit="issue">3</biblScope><biblScope unit="page" from="325" to="358"></biblScope><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b36"><analytic><title level="a" type="main">Redundancy and coverage detection in sensor networks</title><author><persName><forename type="first">C˘</forename><surname>Arbunar</surname></persName></author><author><persName><forename type="first">B</forename><surname>Grama</surname></persName></author><author><persName><forename type="first">A</forename><surname>Vitek</surname></persName></author><author><persName><forename type="first">J</forename><surname>C˘ Arbunar</surname></persName></author><author><persName><forename type="first">O</forename></persName></author></analytic><monogr><title level="j">ACM Trans. Sen. Netw</title><imprint><biblScope unit="volume">2</biblScope><biblScope unit="issue">1</biblScope><biblScope unit="page" from="94" to="128"></biblScope><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b37"><analytic><title level="a" type="main">Tiny-sync: Tight time synchronization for wireless sensor networks</title><author><persName><forename type="first">S</forename><surname>Yoon</surname></persName></author><author><persName><forename type="first">C</forename><surname>Veerarittiphan</surname></persName></author><author><persName><forename type="first">M</forename><forename type="middle">L</forename><surname>Sichitiu</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Sen. Netw</title><imprint><biblScope unit="volume">3</biblScope><biblScope unit="issue">8</biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b38"><analytic><title level="a" type="main">An efficient and secure protocol for sensor network time synchronization</title><author><persName><forename type="first">E</forename><surname>Farrugia</surname></persName></author><author><persName><forename type="first">R</forename><surname>Simon</surname></persName></author></analytic><monogr><title level="j">Journal of Systems and Software</title><imprint><biblScope unit="volume">79</biblScope><biblScope unit="issue">2</biblScope><biblScope unit="page" from="147" to="162"></biblScope><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b39"><monogr><title level="m" type="main">Synchronization Strategies for Global Computing Models</title><author><persName><forename type="first">I</forename><surname>Lanese</surname></persName></author><imprint><date type="published" when="2006"></date><pubPlace>Pisa, Italy</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b40"><analytic><title level="a" type="main">Modeling spatially correlated data in sensor networks</title><author><persName><forename type="first">A</forename><surname>Jindal</surname></persName></author><author><persName><forename type="first">K</forename><surname>Psounis</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Sen. Netw</title><imprint><biblScope unit="volume">2</biblScope><biblScope unit="issue">4</biblScope><biblScope unit="page" from="466" to="499"></biblScope><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b41"><analytic><title level="a" type="main">Adaptive correctness monitoring for wireless sensor networks using hierarchical distributed run-time invariant checking</title><author><persName><forename type="first">D</forename><surname>Herbert</surname></persName></author><author><persName><forename type="first">V</forename><surname>Sundaram</surname></persName></author><author><persName><forename type="first">Y</forename><forename type="middle">H</forename><surname>Lu</surname></persName></author><author><persName><forename type="first">S</forename><surname>Bagchi</surname></persName></author><author><persName><forename type="first">Z</forename><surname>Li</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Auton. Adapt. Syst</title><imprint><biblScope unit="volume">2</biblScope><biblScope unit="issue">8</biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b42"><analytic><title level="a" type="main">The self-protection problem in wireless sensor networks</title><author><persName><forename type="first">D</forename><surname>Wang</surname></persName></author><author><persName><forename type="first">Q</forename><surname>Zhang</surname></persName></author><author><persName><forename type="first">J</forename><surname>Liu</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Sen. Netw</title><imprint><biblScope unit="volume">3</biblScope><biblScope unit="issue">4</biblScope><biblScope unit="page">20</biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b43"><analytic><title level="a" type="main">Deriving trends in historical and real-time continuously sampled medical data</title><author><persName><forename type="first">A</forename><surname>Salatian</surname></persName></author><author><persName><forename type="first">J</forename><surname>Hunter</surname></persName></author></analytic><monogr><title level="j">J. Intell. Inf. Syst</title><imprint><biblScope unit="volume">13</biblScope><biblScope unit="page" from="1" to="2"></biblScope><date type="published" when="1999"></date></imprint></monogr></biblStruct><biblStruct xml:id="b44"><analytic><title level="a" type="main">Abstraction on clinical data sequences: an object-oriented data model and a query language based on the event calculus</title><author><persName><forename type="first">C</forename><surname>Combi</surname></persName></author><author><persName><forename type="first">L</forename><surname>Chittaro</surname></persName></author></analytic><monogr><title level="j">Artificial Intelligence in Medicine</title><imprint><biblScope unit="volume">17</biblScope><biblScope unit="issue">3</biblScope><biblScope unit="page" from="271" to="301"></biblScope><date type="published" when="1999"></date></imprint></monogr></biblStruct><biblStruct xml:id="b45"><monogr><title level="m" type="main">Searching for common sense: Populating cyc from the web</title><author><persName><forename type="first">C</forename><surname>Matuszek</surname></persName></author><author><persName><forename type="first">M</forename><forename type="middle">J</forename><surname>Witbrock</surname></persName></author><author><persName><forename type="first">R</forename><forename type="middle">C</forename><surname>Kahlert</surname></persName></author><author><persName><forename type="first">J</forename><surname>Cabral</surname></persName></author><author><persName><forename type="first">D</forename><surname>Schneider</surname></persName></author><author><persName><forename type="first">P</forename><surname>Shah</surname></persName></author><author><persName><forename type="first">D</forename><forename type="middle">B</forename><surname>Lenat</surname></persName></author><editor>Veloso, M.M., Kambhampati, S.</editor><imprint><date type="published" when="2005"></date><publisher>AAAI AAAI Press / The MIT Press</publisher><biblScope unit="page" from="1430" to="1435"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b46"><monogr><title level="m" type="main">Autonomous classification of knowledge into an ontology</title><author><persName><forename type="first">M</forename><forename type="middle">E</forename><surname>Taylor</surname></persName></author><author><persName><forename type="first">C</forename><surname>Matuszek</surname></persName></author><author><persName><forename type="first">B</forename><surname>Klimt</surname></persName></author><author><persName><forename type="first">M</forename><forename type="middle">J</forename><surname>Witbrock</surname></persName></author><editor>Wilson, D., Sutcliffe, G.</editor><imprint><date type="published" when="2007"></date><publisher>FLAIRS Conference AAAI Press</publisher><biblScope unit="page" from="140" to="145"></biblScope><pubPlace>Menlo Park</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b47"><analytic><title level="a" type="main">Extensible markup language (xml) 1.1, 2nd edn</title><author><persName><forename type="first">T</forename><surname>Bray</surname></persName></author><author><persName><forename type="first">J</forename><surname>Paoli</surname></persName></author><author><persName><forename type="first">C</forename><forename type="middle">M</forename><surname>Sperberg-Mcqueen</surname></persName></author><author><persName><forename type="first">E</forename><surname>Maler</surname></persName></author><author><persName><forename type="first">F</forename><surname>Yergeau</surname></persName></author><author><persName><forename type="first">J</forename><surname>Cowan</surname></persName></author></analytic><monogr><title level="m">NASA: Intelligent data understanding subproject of the intelligent systems project</title><imprint><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b48"><analytic><title level="a" type="main">Object Management Group: Meta Object Facility (MOF) Specification Version 1</title></analytic><monogr><title level="m">W3C Consortium: Extensible markup language (xml) web site04-03.pdf 96. W3C Consortium: Resource description framework (rdf) web site</title><imprint><date type="published" when="2002"></date></imprint></monogr></biblStruct><biblStruct xml:id="b49"><analytic><title level="a" type="main">The evolution of cycl, the cyc representation language</title><author><persName><forename type="first">D</forename><forename type="middle">B</forename><surname>Lenat</surname></persName></author><author><persName><forename type="first">R</forename><forename type="middle">V</forename><surname>Guha</surname></persName></author></analytic><monogr><title level="j">SIGART Bull</title><imprint><biblScope unit="volume">2</biblScope><biblScope unit="issue">3</biblScope><biblScope unit="page" from="84" to="87"></biblScope><date type="published" when="1991"></date></imprint></monogr></biblStruct><biblStruct xml:id="b50"><monogr><title level="m" type="main">The Description Logic Handbook: Theory, Implementation, and Applications</title><author><persName><forename type="first">F</forename><surname>Baader</surname></persName></author><author><persName><forename type="first">D</forename><surname>Calvanese</surname></persName></author><author><persName><forename type="first">D</forename><forename type="middle">L</forename><surname>Mcguinness</surname></persName></author><author><persName><forename type="first">D</forename><surname>Nardi</surname></persName></author><author><persName><forename type="first">P</forename><forename type="middle">F</forename><surname>Patel-Schneider</surname></persName></author><imprint><date type="published" when="2007"></date><publisher>Cambridge University Press</publisher><pubPlace>Cambridge</pubPlace></imprint></monogr><note>2nd. edn</note></biblStruct><biblStruct xml:id="b51"><monogr><title level="m" type="main">Owl web ontology language: Overview. W3C Recommendation</title><author><persName><forename type="first">D</forename><forename type="middle">L</forename><surname>Mcguinness</surname></persName></author><author><persName><forename type="first">F</forename><surname>Van Harmelen</surname></persName></author><imprint></imprint></monogr></biblStruct><biblStruct xml:id="b52"><monogr><title level="m" type="main">Owl web ontology language: Reference. W3C Recommendation</title><author><persName><forename type="first">S</forename><surname>Bechhofer</surname></persName></author><imprint></imprint></monogr></biblStruct><biblStruct xml:id="b53"><monogr><title level="m" type="main">N3logic: A logical framework for the world wide web</title><author><persName><forename type="first">T</forename><surname>Berners-Lee</surname></persName></author><author><persName><forename type="first">D</forename><surname>Connolly</surname></persName></author><author><persName><forename type="first">L</forename><surname>Kagal</surname></persName></author><author><persName><forename type="first">Y</forename><surname>Scharf</surname></persName></author><author><persName><forename type="first">J</forename><surname>Hendler</surname></persName></author><imprint><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b54"><analytic><title></title><author><persName><forename type="first">M</forename><surname>Altheim</surname></persName></author><author><persName><forename type="first">B</forename><surname>Anderson</surname></persName></author><author><persName><forename type="first">P</forename><surname>Hayes</surname></persName></author><author><persName><forename type="first">C</forename><surname>Menzel</surname></persName></author><author><persName><forename type="first">J</forename><forename type="middle">F</forename><surname>Sowa</surname></persName></author><author><persName><forename type="first">T</forename><surname>Tammet</surname></persName></author></analytic><monogr><title level="m">Scl: Simple common logic</title><imprint><date type="published" when="2004"></date></imprint></monogr></biblStruct><biblStruct xml:id="b55"><monogr><title level="m" type="main">Ontology definition metamodel (OMG adopted specification) OMG Document Number: ptc</title><author><persName><forename type="first">O</forename><forename type="middle">M</forename><surname>Group</surname></persName></author><imprint><date type="published" when="2007-09"></date></imprint></monogr></biblStruct><biblStruct xml:id="b56"><analytic><title level="a" type="main">Cyc: A case study in ontological engineering</title><author><persName><forename type="first">J</forename><forename type="middle">B</forename><surname>Copeland</surname></persName></author></analytic><monogr><title level="j">Electronic Journal of Analytic Philosophy</title><imprint><biblScope unit="volume">5</biblScope><date type="published" when="1997"></date></imprint></monogr></biblStruct><biblStruct xml:id="b57"><monogr><title level="m" type="main">Cyc: The Cyc foundation WordNet—An Electronic Lexical Database</title><editor>Fellbaum, C.</editor><imprint><date type="published" when="1998"></date><publisher>MIT Press</publisher><pubPlace>Cambridge</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b58"><analytic><title level="a" type="main">Towards a standard upper ontology</title><author><persName><forename type="first">I</forename><surname>Niles</surname></persName></author><author><persName><forename type="first">A</forename><surname>Pease</surname></persName></author></analytic><monogr><title level="m">Proceedings of the 2nd International Conference on Formal Ontology in Information Systems, FOIS 2001</title><meeting>the 2nd International Conference on Formal Ontology in Information Systems, FOIS 2001</meeting><imprint><date type="published" when="2001"></date></imprint></monogr></biblStruct><biblStruct xml:id="b59"><analytic><title level="a" type="main">Inheritance processing and conflicts in structural generalization hierarchies</title><author><persName><forename type="first">A</forename><surname>Formica</surname></persName></author><author><persName><forename type="first">M</forename><surname>Missikoff</surname></persName></author></analytic><monogr><title level="j">ACM Comput. Surv</title><imprint><biblScope unit="volume">36</biblScope><biblScope unit="issue">3</biblScope><biblScope unit="page" from="263" to="290"></biblScope><date type="published" when="2004"></date></imprint></monogr></biblStruct><biblStruct xml:id="b60"><analytic><title level="a" type="main">Ontology visualization methods—a survey</title><author><persName><forename type="first">A</forename><surname>Katifori</surname></persName></author><author><persName><forename type="first">C</forename><surname>Halatsis</surname></persName></author><author><persName><forename type="first">G</forename><surname>Lepouras</surname></persName></author><author><persName><forename type="first">C</forename><surname>Vassilakis</surname></persName></author><author><persName><forename type="first">E</forename><surname>Giannopoulou</surname></persName></author></analytic><monogr><title level="j">ACM Comput. Surv</title><imprint><publisher>M. Hölzl</publisher><publisher>M. Hölzl</publisher><biblScope unit="volume">39</biblScope><biblScope unit="issue">10</biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b61"><analytic><title level="a" type="main">User-driven ontology evolution management</title><author><persName><forename type="first">B</forename><surname>Motik</surname></persName></author><author><persName><forename type="first">N</forename><surname>Stojanovic</surname></persName></author><author><persName><forename type="first">L</forename><surname>Stojanovic</surname></persName></author><author><persName><forename type="first">A</forename><surname>Maedche</surname></persName></author></analytic><monogr><title level="j">LNCS (LNAI)</title><editor>Gómez-Pérez, A., Benjamins, V.R.</editor><imprint><publisher>Springer</publisher><publisher>Springer</publisher><biblScope unit="volume">2473</biblScope><date type="published" when="2002"></date></imprint></monogr></biblStruct><biblStruct xml:id="b62"><analytic><title level="a" type="main">Ontology versioning on the semantic web</title><author><persName><forename type="first">M</forename><surname>Klein</surname></persName></author><author><persName><forename type="first">D</forename><surname>Fensel</surname></persName></author></analytic><monogr><title level="m">Int. Semantic Web Working Symp</title><imprint><date type="published" when="2001"></date></imprint></monogr></biblStruct><biblStruct xml:id="b63"><analytic><title level="a" type="main">Querying ontologies: A controlled english interface for end-users</title><author><persName><forename type="first">A</forename><surname>Bernstein</surname></persName></author><author><persName><forename type="first">E</forename><surname>Kaufmann</surname></persName></author><author><persName><forename type="first">A</forename><surname>Göhring</surname></persName></author><author><persName><forename type="first">C</forename><surname>Kiefer</surname></persName></author></analytic><monogr><title level="m">4th Int. Semantic Web Conf. (ISWC)</title><imprint><date type="published" when="2005"></date></imprint></monogr></biblStruct><biblStruct xml:id="b64"><analytic><title level="a" type="main">AceWiki: Collaborative Ontology Management in Controlled Natural Language</title><author><persName><forename type="first">T</forename><surname>Kuhn</surname></persName></author></analytic><monogr><title level="m">Proc. 3rd Semantic Wiki Wsh. CEUR Workshop Proceedings</title><meeting>. 3rd Semantic Wiki Wsh. CEUR Workshop eedings</meeting><imprint><date type="published" when="2008"></date></imprint></monogr></biblStruct><biblStruct xml:id="b65"><analytic><title level="a" type="main">Near-term prospects for semantic technologies</title><author><persName><forename type="first">V</forename><forename type="middle">R</forename><surname>Benjamins</surname></persName></author><author><persName><forename type="first">J</forename><surname>Davies</surname></persName></author><author><persName><forename type="first">R</forename><surname>Baeza-Yates</surname></persName></author><author><persName><forename type="first">P</forename><surname>Mika</surname></persName></author><author><persName><forename type="first">H</forename><surname>Zaragoza</surname></persName></author><author><persName><forename type="first">M</forename><surname>Greaves</surname></persName></author><author><persName><forename type="first">J</forename><forename type="middle">M</forename><surname>Gmez-Prez</surname></persName></author><author><persName><forename type="first">J</forename><surname>Contreras</surname></persName></author><author><persName><forename type="first">J</forename><surname>Domingue</surname></persName></author><author><persName><forename type="first">D</forename><surname>Fensel</surname></persName></author></analytic><monogr><title level="j">IEEE Intelligent Systems</title><imprint><biblScope unit="volume">23</biblScope><biblScope unit="issue">1</biblScope><biblScope unit="page" from="76" to="88"></biblScope><date type="published" when="2008"></date></imprint></monogr></biblStruct><biblStruct xml:id="b66"><analytic><title></title><author><persName><forename type="first">J</forename><forename type="middle">J</forename><surname>Alferes</surname></persName></author><author><persName><forename type="first">J</forename><surname>Bailey</surname></persName></author><author><persName><forename type="first">W</forename><surname>May</surname></persName></author><author><persName><forename type="first">U</forename><surname>Schwertel</surname></persName></author></analytic><monogr><title level="m">PPSWR 2006</title><meeting><address><addrLine>Heidelberg</addrLine></address></meeting><imprint><publisher>Springer</publisher><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b67"><analytic><title></title><author><persName><forename type="first">C</forename><forename type="middle">M</forename><surname>Wyss</surname></persName></author><author><persName><forename type="first">A</forename><surname>James</surname></persName></author><author><persName><forename type="first">W</forename><surname>Hasselbring</surname></persName></author><author><persName><forename type="first">S</forename><surname>Conrad</surname></persName></author><author><persName><forename type="first">H</forename><surname>Höpfner</surname></persName></author></analytic><monogr><title level="m">Report on the engineering federated information systems 2003 workshop</title><imprint><date type="published" when="2003"></date><biblScope unit="page" from="1" to="3"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b68"><analytic><title level="a" type="main">Understanding drm</title><author><persName><forename type="first">D</forename><surname>Sohn</surname></persName></author></analytic><monogr><title level="j">Queue</title><imprint><biblScope unit="volume">5</biblScope><biblScope unit="issue">7</biblScope><biblScope unit="page" from="32" to="39"></biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b69"><analytic><title level="a" type="main">A survey of rst invariant image watermarking algorithms</title><author><persName><forename type="first">D</forename><surname>Zheng</surname></persName></author><author><persName><forename type="first">Y</forename><surname>Liu</surname></persName></author><author><persName><forename type="first">J</forename><surname>Zhao</surname></persName></author><author><persName><forename type="first">A</forename><forename type="middle">E</forename><surname>Saddik</surname></persName></author></analytic><monogr><title level="j">ACM Comput</title><imprint><biblScope unit="volume">39</biblScope><biblScope unit="issue">2</biblScope><biblScope unit="page">5</biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b70"><monogr><title level="m" type="main">Database Nation: The Death of Privacy in the 21st Century</title><author><persName><forename type="first">S</forename><surname>Garfinkel</surname></persName></author><imprint><date type="published" when="2000"></date><publisher>O'Reilly</publisher><pubPlace>Sebastopol</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b71"><analytic><title level="a" type="main">Adaptive information extraction</title><author><persName><forename type="first">J</forename><surname>Turmo</surname></persName></author><author><persName><forename type="first">A</forename><surname>Ageno</surname></persName></author><author><persName><forename type="first">N</forename><surname>Cataì A</surname></persName></author></analytic><monogr><title level="j">ACM Comput. Surv</title><imprint><biblScope unit="volume">38</biblScope><biblScope unit="issue">2</biblScope><biblScope unit="page">4</biblScope><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b72"><analytic><title level="a" type="main">Association mining</title><author><persName><forename type="first">A</forename><surname>Ceglar</surname></persName></author><author><persName><forename type="first">J</forename><forename type="middle">F</forename><surname>Roddick</surname></persName></author></analytic><monogr><title level="j">ACM Comput. Surv</title><imprint><biblScope unit="volume">38</biblScope><biblScope unit="issue">2</biblScope><biblScope unit="page">5</biblScope><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b73"><analytic><title level="a" type="main">A software retrieval service based on adaptive knowledge-driven agents for wireless environments</title><author><persName><forename type="first">E</forename><surname>Mena</surname></persName></author><author><persName><forename type="first">A</forename><surname>Illarramendi</surname></persName></author><author><persName><forename type="first">J</forename><forename type="middle">A</forename><surname>Royo</surname></persName></author><author><persName><forename type="first">A</forename><surname>Gon</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Auton . Adapt. Syst</title><imprint><biblScope unit="volume">1</biblScope><biblScope unit="issue">1</biblScope><biblScope unit="page" from="67" to="90"></biblScope><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b74"><analytic><title level="a" type="main">Inverted files for text search engines</title><author><persName><forename type="first">J</forename><surname>Zobel</surname></persName></author><author><persName><forename type="first">A</forename><surname>Moffat</surname></persName></author></analytic><monogr><title level="j">ACM Comput. Surv</title><imprint><biblScope unit="volume">38</biblScope><biblScope unit="issue">2</biblScope><biblScope unit="page">6</biblScope><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b75"><analytic><title level="a" type="main">Graph mining: Laws, generators, and algorithms</title><author><persName><forename type="first">D</forename><surname>Chakrabarti</surname></persName></author><author><persName><forename type="first">C</forename><surname>Faloutsos</surname></persName></author></analytic><monogr><title level="j">ACM Comput. Surv</title><imprint><biblScope unit="volume">38</biblScope><biblScope unit="issue">2</biblScope><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b76"><analytic><title level="a" type="main">Autonomous authoring tools for hypertext</title><author><persName><forename type="first">M</forename><surname>Truran</surname></persName></author><author><persName><forename type="first">J</forename><surname>Goulding</surname></persName></author><author><persName><forename type="first">H</forename><surname>Ashman</surname></persName></author></analytic><monogr><title level="j">ACM Comput. Surv</title><imprint><biblScope unit="volume">39</biblScope><biblScope unit="issue">8</biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b77"><analytic><title level="a" type="main">Repeatable evaluation of search services in dynamic environments</title><author><persName><forename type="first">E</forename><forename type="middle">C</forename><surname>Jensen</surname></persName></author><author><persName><forename type="first">S</forename><forename type="middle">M</forename><surname>Beitzel</surname></persName></author><author><persName><forename type="first">A</forename><surname>Chowdhury</surname></persName></author><author><persName><forename type="first">O</forename><surname>Frieder</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Inf. Syst</title><imprint><biblScope unit="volume">26</biblScope><biblScope unit="issue">1</biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b78"><analytic><title level="a" type="main">Interestingness measures for data mining: A survey</title><author><persName><forename type="first">L</forename><surname>Geng</surname></persName></author><author><persName><forename type="first">H</forename><forename type="middle">J</forename><surname>Hamilton</surname></persName></author></analytic><monogr><title level="j">ACM Comput. Surv</title><imprint><biblScope unit="volume">38</biblScope><biblScope unit="issue">3</biblScope><biblScope unit="page">9</biblScope><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b79"><analytic><title level="a" type="main">Semantic matching across heterogeneous data sources</title><author><persName><forename type="first">H</forename><surname>Zhao</surname></persName></author></analytic><monogr><title level="j">Commun. ACM</title><imprint><biblScope unit="volume">50</biblScope><biblScope unit="issue">1</biblScope><biblScope unit="page" from="45" to="50"></biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b80"><analytic><title level="a" type="main">Better, faster, more secure</title><author><persName><forename type="first">B</forename><surname>Carpenter</surname></persName></author></analytic><monogr><title level="j">Queue</title><imprint><biblScope unit="volume">4</biblScope><biblScope unit="issue">10</biblScope><biblScope unit="page" from="42" to="48"></biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b81"><analytic><title level="a" type="main">Properties and mechanisms of self-organizing manet and p2p systems</title><author><persName><forename type="first">B</forename><surname>Biskupski</surname></persName></author><author><persName><forename type="first">J</forename><surname>Dowling</surname></persName></author><author><persName><forename type="first">J</forename><surname>Sacha</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Auton. Adapt. Syst</title><imprint><biblScope unit="volume">2</biblScope><biblScope unit="issue">1</biblScope><biblScope unit="page">1</biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b82"><analytic><title level="a" type="main">Scalability of wireless networks</title><author><persName><forename type="first">P</forename><forename type="middle">R</forename><surname>Jelenkovi´jelenkovi´c</surname></persName></author><author><persName><forename type="first">P</forename><surname>Momčilovi´momčilovi´c</surname></persName></author><author><persName><forename type="first">M</forename><forename type="middle">S</forename><surname>Squillante</surname></persName></author></analytic><monogr><title level="j">IEEE/ACM Trans. Netw</title><imprint><biblScope unit="volume">15</biblScope><biblScope unit="issue">2</biblScope><biblScope unit="page" from="295" to="308"></biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b83"><analytic><title level="a" type="main">Interference analysis and transmit power control in ieee 802.11a/h wireless lans</title><author><persName><forename type="first">D</forename><surname>Qiao</surname></persName></author><author><persName><forename type="first">S</forename><surname>Choi</surname></persName></author><author><persName><forename type="first">K</forename><forename type="middle">G</forename><surname>Shin</surname></persName></author></analytic><monogr><title level="j">IEEE/ACM Trans. Netw</title><imprint><biblScope unit="volume">15</biblScope><biblScope unit="issue">5</biblScope><biblScope unit="page" from="1007" to="1020"></biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b84"><analytic><title level="a" type="main">Delay and capacity trade-offs in mobile ad hoc networks: a global perspective</title><author><persName><forename type="first">G</forename><surname>Sharma</surname></persName></author><author><persName><forename type="first">R</forename><surname>Mazumdar</surname></persName></author><author><persName><forename type="first">N</forename><forename type="middle">B</forename><surname>Shroff</surname></persName></author></analytic><monogr><title level="j">IEEE/ACM Trans. Netw</title><imprint><biblScope unit="volume">15</biblScope><biblScope unit="issue">5</biblScope><biblScope unit="page" from="981" to="992"></biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b85"><analytic><title level="a" type="main">Topology control in wireless ad hoc and sensor networks</title><author><persName><forename type="first">P</forename><surname>Santi</surname></persName></author></analytic><monogr><title level="j">ACM Comput. Surv</title><imprint><biblScope unit="volume">37</biblScope><biblScope unit="issue">2</biblScope><biblScope unit="page" from="164" to="194"></biblScope><date type="published" when="2005"></date></imprint></monogr></biblStruct><biblStruct xml:id="b86"><analytic><title level="a" type="main">Analysis of topology aggregation techniques for qos routing</title><author><persName><forename type="first">S</forename><surname>Uludag</surname></persName></author><author><persName><forename type="first">K</forename><forename type="middle">S</forename><surname>Lui</surname></persName></author><author><persName><forename type="first">K</forename><surname>Nahrstedt</surname></persName></author><author><persName><forename type="first">G</forename><surname>Brewster</surname></persName></author></analytic><monogr><title level="j">ACM Comput. Surv</title><imprint><biblScope unit="volume">39</biblScope><biblScope unit="issue">7</biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b87"><analytic><title level="a" type="main">A survey of peer-to-peer content distribution technologies</title><author><persName><forename type="first">S</forename><surname>Androutsellis-Theotokis</surname></persName></author><author><persName><forename type="first">D</forename><surname>Spinellis</surname></persName></author></analytic><monogr><title level="j">ACM Comput. Surv</title><imprint><biblScope unit="volume">36</biblScope><biblScope unit="issue">4</biblScope><biblScope unit="page" from="335" to="371"></biblScope><date type="published" when="2004"></date></imprint></monogr></biblStruct><biblStruct xml:id="b88"><analytic><title level="a" type="main">A taxonomy of data grids for distributed data sharing, management, and processing</title><author><persName><forename type="first">S</forename><surname>Venugopal</surname></persName></author><author><persName><forename type="first">R</forename><surname>Buyya</surname></persName></author><author><persName><forename type="first">K</forename><surname>Ramamohanarao</surname></persName></author></analytic><monogr><title level="j">ACM Comput. Surv</title><imprint><biblScope unit="volume">38</biblScope><biblScope unit="issue">1</biblScope><biblScope unit="page">3</biblScope><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b89"><analytic><title level="a" type="main">Ranking factors in peerto-peer overlay networks</title><author><persName><forename type="first">K</forename><surname>Watanabe</surname></persName></author><author><persName><forename type="first">Y</forename><surname>Nakajima</surname></persName></author><author><persName><forename type="first">T</forename><surname>Enokido</surname></persName></author><author><persName><forename type="first">M</forename><surname>Takizawa</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Auton. Adapt. Syst</title><imprint><biblScope unit="volume">2</biblScope><biblScope unit="issue">3</biblScope><biblScope unit="page">11</biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b90"><monogr><title level="m" type="main">Web Services Business Process Execution Language Version 2</title><author><persName><forename type="first">A</forename><surname>Alves</surname></persName></author><author><persName><forename type="first">A</forename><surname>Arkin</surname></persName></author><author><persName><forename type="first">S</forename><surname>Askary</surname></persName></author><author><persName><forename type="first">C</forename><surname>Barreto</surname></persName></author><author><persName><forename type="first">B</forename><surname>Bloch</surname></persName></author><author><persName><forename type="first">F</forename><surname>Curbera</surname></persName></author><author><persName><forename type="first">M</forename><surname>Ford</surname></persName></author><author><persName><forename type="first">Y</forename><surname>Goland</surname></persName></author><author><persName><forename type="first">A</forename><surname>Guzar</surname></persName></author><author><persName><forename type="first">N</forename><surname>Kartha</surname></persName></author><author><persName><forename type="first">C</forename><forename type="middle">K</forename><surname>Liu</surname></persName></author><author><persName><forename type="first">R</forename><surname>Khalaf</surname></persName></author><author><persName><forename type="first">D</forename><surname>Knig</surname></persName></author><author><persName><forename type="first">M</forename><surname>Marin</surname></persName></author><author><persName><forename type="first">V</forename><surname>Mehta</surname></persName></author><author><persName><forename type="first">S</forename><surname>Thatte</surname></persName></author><author><persName><forename type="first">D</forename><surname>Van Der Rijn</surname></persName></author><author><persName><forename type="first">P</forename><surname>Yendluri</surname></persName></author><author><persName><forename type="first">A</forename><surname>Yiu</surname></persName></author><imprint><date type="published" when="2007-04"></date></imprint></monogr></biblStruct><biblStruct xml:id="b91"><analytic><title level="a" type="main">Computation orchestration: A basis for wide-area computing</title><author><persName><forename type="first">J</forename><surname>Misra</surname></persName></author><author><persName><forename type="first">W</forename><forename type="middle">R</forename><surname>Cook</surname></persName></author></analytic><monogr><title level="j">Journal of Software and Systems Modeling</title><imprint><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b92"><analytic><title level="a" type="main">Workflow patterns in orc</title><author><persName><forename type="first">W</forename><forename type="middle">R</forename><surname>Cook</surname></persName></author><author><persName><forename type="first">S</forename><surname>Patwardhan</surname></persName></author><author><persName><forename type="first">J</forename><surname>Misra</surname></persName></author></analytic><monogr><title level="m">COORDINATION 2006</title><editor>Ciancarini , P., Wiklicky, H.</editor><imprint><biblScope unit="page" from="82" to="96"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b93"><analytic><title level="a" type="main">Replication for web hosting systems</title><author><persName><forename type="first">S</forename><surname>Sivasubramanian</surname></persName></author><author><persName><forename type="first">M</forename><surname>Szymaniak</surname></persName></author><author><persName><forename type="first">G</forename><surname>Pierre</surname></persName></author><author><persName><forename type="first">M</forename><surname>Van Steen</surname></persName></author></analytic><monogr><title level="j">ACM Comput. Surv</title><imprint><biblScope unit="volume">36</biblScope><biblScope unit="issue">3</biblScope><biblScope unit="page" from="291" to="334"></biblScope><date type="published" when="2004"></date></imprint></monogr></biblStruct><biblStruct xml:id="b94"><analytic><title level="a" type="main">Optimistic replication</title><author><persName><forename type="first">Y</forename><surname>Saito</surname></persName></author><author><persName><forename type="first">M</forename><surname>Shapiro</surname></persName></author></analytic><monogr><title level="j">ACM Comput. Surv</title><imprint><biblScope unit="volume">37</biblScope><biblScope unit="issue">1</biblScope><biblScope unit="page" from="42" to="81"></biblScope><date type="published" when="2005"></date></imprint></monogr></biblStruct><biblStruct xml:id="b95"><analytic><title level="a" type="main">A survey of rollbackrecovery protocols in message-passing systems</title><author><persName><forename type="first">E</forename><forename type="middle">N M</forename><surname>Elnozahy</surname></persName></author><author><persName><forename type="first">L</forename><surname>Alvisi</surname></persName></author><author><persName><forename type="first">Y</forename><forename type="middle">M</forename><surname>Wang</surname></persName></author><author><persName><forename type="first">D</forename><forename type="middle">B</forename><surname>Johnson</surname></persName></author></analytic><monogr><title level="j">ACM Comput. Surv</title><imprint><biblScope unit="volume">34</biblScope><biblScope unit="issue">3</biblScope><biblScope unit="page" from="375" to="408"></biblScope><date type="published" when="2002"></date></imprint></monogr></biblStruct><biblStruct xml:id="b96"><analytic><title level="a" type="main">Theoretical foundations for compensations in flow composition languages</title><author><persName><forename type="first">R</forename><surname>Bruni</surname></persName></author><author><persName><forename type="first">H</forename><surname>Melgratti</surname></persName></author><author><persName><forename type="first">U</forename><surname>Montanari</surname></persName></author></analytic><monogr><title level="m">Proc. of POPL 2005</title><meeting>. of POPL 2005<address><addrLine>New York</addrLine></address></meeting><imprint><publisher>ACM Press</publisher><date type="published" when="2005"></date><biblScope unit="page" from="209" to="220"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b97"><monogr><title level="m" type="main">Composing transactional services</title><author><persName><forename type="first">R</forename><surname>Bruni</surname></persName></author><author><persName><forename type="first">H</forename><surname>Melgratti</surname></persName></author><author><persName><forename type="first">U</forename><surname>Montanari</surname></persName></author><imprint><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b98"><analytic><title level="a" type="main">Sagas</title><author><persName><forename type="first">H</forename><surname>Garcia-Molina</surname></persName></author><author><persName><forename type="first">K</forename><surname>Salem</surname></persName></author></analytic><monogr><title level="m">Proc. of ACM SIGMOD Int. Conf. on Management of Data</title><meeting>. of ACM SIGMOD Int. Conf. on Management of Data<address><addrLine>New York</addrLine></address></meeting><imprint><publisher>ACM Press</publisher><date type="published" when="1987"></date><biblScope unit="page" from="249" to="259"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b99"><analytic><title level="a" type="main">Approaches to fault-tolerant and transactional mobile agent execution—an algorithmic view</title><author><persName><forename type="first">S</forename><surname>Pleisch</surname></persName></author><author><persName><forename type="first">A</forename><surname>Schiper</surname></persName></author></analytic><monogr><title level="j">ACM Comput. Surv</title><imprint><biblScope unit="volume">36</biblScope><biblScope unit="issue">3</biblScope><biblScope unit="page" from="219" to="262"></biblScope><date type="published" when="2004"></date></imprint></monogr></biblStruct><biblStruct xml:id="b100"><analytic><title level="a" type="main">Reactive provisioning of backend databases in shared dynamic content server clusters</title><author><persName><forename type="first">G</forename><surname>Soundararajan</surname></persName></author><author><persName><forename type="first">C</forename><surname>Amza</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Auton. Adapt. Syst</title><imprint><biblScope unit="volume">1</biblScope><biblScope unit="issue">2</biblScope><biblScope unit="page" from="151" to="188"></biblScope><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b101"><analytic><title level="a" type="main">Bigtable: a distributed storage system for structured data</title><author><persName><forename type="first">F</forename><surname>Chang</surname></persName></author><author><persName><forename type="first">J</forename><surname>Dean</surname></persName></author><author><persName><forename type="first">S</forename><surname>Ghemawat</surname></persName></author><author><persName><forename type="first">W</forename><forename type="middle">C</forename><surname>Hsieh</surname></persName></author><author><persName><forename type="first">D</forename><forename type="middle">A</forename><surname>Wallach</surname></persName></author><author><persName><forename type="first">M</forename><surname>Burrows</surname></persName></author><author><persName><forename type="first">T</forename><surname>Chandra</surname></persName></author><author><persName><forename type="first">A</forename><surname>Fikes</surname></persName></author><author><persName><forename type="first">R</forename><forename type="middle">E</forename><surname>Gruber</surname></persName></author></analytic><monogr><title level="m">USENIX 2006: Proceedings of the 7th conference on USENIX Symposium on Operating Systems Design and Implementation</title><meeting><address><addrLine>Berkeley, CA, USA</addrLine></address></meeting><imprint><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b102"><monogr><title level="m" type="main">Human Computer Interaction</title><author><persName><forename type="first">A</forename><surname>Dix</surname></persName></author><author><persName><forename type="first">J</forename><surname>Finlay</surname></persName></author><author><persName><forename type="first">G</forename><surname>Abowd</surname></persName></author><author><persName><forename type="first">R</forename><surname>Beale</surname></persName></author><imprint><date type="published" when="2004"></date><publisher>Prentice-Hall</publisher><pubPlace>Englewood Cliffs</pubPlace></imprint></monogr><note>3rd. edn</note></biblStruct><biblStruct xml:id="b103"><analytic><title level="a" type="main">The future of human-computer interaction</title><author><persName><forename type="first">J</forename><surname>Canny</surname></persName></author></analytic><monogr><title level="j">Queue</title><imprint><biblScope unit="volume">4</biblScope><biblScope unit="issue">6</biblScope><biblScope unit="page" from="24" to="32"></biblScope><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b104"><analytic><title level="a" type="main">Spoken dialogue technology: enabling the conversational user interface</title><author><persName><forename type="first">M</forename><forename type="middle">F</forename><surname>Mctear</surname></persName></author></analytic><monogr><title level="j">ACM Comput. Surv</title><imprint><biblScope unit="volume">34</biblScope><biblScope unit="issue">1</biblScope><biblScope unit="page" from="90" to="169"></biblScope><date type="published" when="2002"></date></imprint></monogr></biblStruct><biblStruct xml:id="b105"><analytic><title level="a" type="main">Introduction to mobile and adaptive conversational interfaces</title><author><persName><forename type="first">S</forename><surname>Oviatt</surname></persName></author><author><persName><forename type="first">S</forename><surname>Seneff</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Comput.-Hum. Interact</title><imprint><biblScope unit="volume">11</biblScope><biblScope unit="issue">3</biblScope><biblScope unit="page" from="237" to="240"></biblScope><date type="published" when="2004"></date></imprint></monogr></biblStruct><biblStruct xml:id="b106"><analytic><title level="a" type="main">Toward adaptive conversational interfaces: Modeling speech convergence with animated personas</title><author><persName><forename type="first">S</forename><surname>Oviatt</surname></persName></author><author><persName><forename type="first">C</forename><surname>Darves</surname></persName></author><author><persName><forename type="first">R</forename><surname>Coulston</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Comput.- Hum. Interact</title><imprint><biblScope unit="volume">11</biblScope><biblScope unit="issue">3</biblScope><biblScope unit="page" from="300" to="328"></biblScope><date type="published" when="2004"></date></imprint></monogr></biblStruct><biblStruct xml:id="b107"><analytic><title level="a" type="main">Multithreaded context for robust conversational interfaces: Context-sensitive speech recognition and interpretation of corrective fragments</title><author><persName><forename type="first">O</forename><surname>Lemon</surname></persName></author><author><persName><forename type="first">A</forename><surname>Gruenstein</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Comput.-Hum. Interact</title><imprint><biblScope unit="volume">11</biblScope><biblScope unit="issue">3</biblScope><biblScope unit="page" from="241" to="267"></biblScope><date type="published" when="2004"></date></imprint></monogr></biblStruct><biblStruct xml:id="b108"><analytic><title level="a" type="main">Introduction to sensing-based interaction</title><author><persName><forename type="first">S</forename><surname>Zhai</surname></persName></author><author><persName><forename type="first">V</forename><surname>Bellotti</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Comput.-Hum. Interact</title><imprint><biblScope unit="volume">12</biblScope><biblScope unit="issue">1</biblScope><biblScope unit="page" from="1" to="2"></biblScope><date type="published" when="2005"></date></imprint></monogr></biblStruct><biblStruct xml:id="b109"><analytic><title level="a" type="main">Foreground and background interaction with sensor-enhanced mobile devices</title><author><persName><forename type="first">K</forename><surname>Hinckley</surname></persName></author><author><persName><forename type="first">J</forename><surname>Pierce</surname></persName></author><author><persName><forename type="first">E</forename><surname>Horvitz</surname></persName></author><author><persName><forename type="first">M</forename><surname>Sinclair</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Comput.-Hum. Interact</title><imprint><biblScope unit="volume">12</biblScope><biblScope unit="issue">1</biblScope><biblScope unit="page" from="31" to="52"></biblScope><date type="published" when="2005"></date></imprint></monogr></biblStruct><biblStruct xml:id="b110"><analytic><title level="a" type="main">Papiercraft: A gesturebased command system for interactive paper</title><author><persName><forename type="first">C</forename><surname>Liao</surname></persName></author><author><persName><forename type="first">F</forename><surname>Guimbretì Ere</surname></persName></author><author><persName><forename type="first">K</forename><surname>Hinckley</surname></persName></author><author><persName><forename type="first">J</forename><surname>Hollan</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Comput.-Hum. Interact</title><imprint><biblScope unit="volume">14</biblScope><biblScope unit="issue">4</biblScope><biblScope unit="page" from="1" to="27"></biblScope><date type="published" when="2008"></date></imprint></monogr></biblStruct><biblStruct xml:id="b111"><monogr><title level="m" type="main">Second Life: Second life web site (last accessed: 2008-06-19</title><imprint></imprint></monogr></biblStruct><biblStruct xml:id="b112"><analytic><title level="a" type="main">Evaluating the boundary conditions of the technology acceptance model: An exploratory investigation</title><author><persName><forename type="first">H</forename><forename type="middle">C</forename><surname>Chan</surname></persName></author><author><persName><forename type="first">H</forename><forename type="middle">H</forename><surname>Teo</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Comput.-Hum. Interact</title><imprint><biblScope unit="volume">14</biblScope><biblScope unit="issue">2</biblScope><biblScope unit="page">9</biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b113"><analytic><title level="a" type="main">Establishing and maintaining long-term humancomputer relationships</title><author><persName><forename type="first">T</forename><forename type="middle">W</forename><surname>Bickmore</surname></persName></author><author><persName><forename type="first">R</forename><forename type="middle">W</forename><surname>Picard</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Comput.-Hum. Interact</title><imprint><biblScope unit="volume">12</biblScope><biblScope unit="issue">2</biblScope><biblScope unit="page" from="293" to="327"></biblScope><date type="published" when="2005"></date></imprint></monogr></biblStruct><biblStruct xml:id="b114"><analytic><title level="a" type="main">Social perception</title><author><persName><forename type="first">J</forename><forename type="middle">L</forename><surname>Crowley</surname></persName></author></analytic><monogr><title level="j">Queue</title><imprint><biblScope unit="volume">4</biblScope><biblScope unit="issue">6</biblScope><biblScope unit="page" from="34" to="43"></biblScope><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b115"><analytic><title level="a" type="main">A field evaluation of an adaptable two-interface design for feature-rich software</title><author><persName><forename type="first">J</forename><surname>Mcgrenere</surname></persName></author><author><persName><forename type="first">R</forename><forename type="middle">M</forename><surname>Baecker</surname></persName></author><author><persName><forename type="first">K</forename><forename type="middle">S</forename><surname>Booth</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Comput.-Hum. Interact</title><imprint><biblScope unit="volume">14</biblScope><biblScope unit="issue">1</biblScope><biblScope unit="page">3</biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b116"><analytic><title level="a" type="main">Designing mediation for context-aware applications</title><author><persName><forename type="first">A</forename><forename type="middle">K</forename><surname>Dey</surname></persName></author><author><persName><forename type="first">J</forename><surname>Mankoff</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Comput.-Hum. Interact</title><imprint><biblScope unit="volume">12</biblScope><biblScope unit="issue">1</biblScope><biblScope unit="page" from="53" to="80"></biblScope><date type="published" when="2005"></date></imprint></monogr></biblStruct><biblStruct xml:id="b117"><analytic><title level="a" type="main">Putting computing in context: An infrastructure to support extensible context-enhanced collaborative applications</title><author><persName><forename type="first">W</forename><forename type="middle">K</forename><surname>Edwards</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Comput.-Hum. Interact</title><imprint><biblScope unit="volume">12</biblScope><biblScope unit="issue">4</biblScope><biblScope unit="page" from="446" to="474"></biblScope><date type="published" when="2005"></date></imprint></monogr></biblStruct><biblStruct xml:id="b118"><analytic><title level="a" type="main">Introduction to special issue on computers and accessibility</title><author><persName><forename type="first">A</forename><surname>Sears</surname></persName></author><author><persName><forename type="first">V</forename><forename type="middle">L</forename><surname>Hanson</surname></persName></author><author><persName><forename type="first">B</forename><surname>Myers</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Comput.-Hum. Interact</title><imprint><biblScope unit="volume">14</biblScope><biblScope unit="issue">3</biblScope><biblScope unit="page">11</biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b119"><analytic><title level="a" type="main">Sadie: Structural semantics for accessibility and device independence</title><author><persName><forename type="first">S</forename><surname>Harper</surname></persName></author><author><persName><forename type="first">S</forename><surname>Bechhofer</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Comput.-Hum. Interact</title><imprint><biblScope unit="volume">14</biblScope><biblScope unit="issue">2</biblScope><biblScope unit="page">10</biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b120"><analytic><title level="a" type="main">Modeling the effects of delayed haptic and visual feedback in a collaborative virtual environment</title><author><persName><forename type="first">C</forename><surname>Jay</surname></persName></author><author><persName><forename type="first">M</forename><surname>Glencross</surname></persName></author><author><persName><forename type="first">R</forename><surname>Hubbold</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Comput.- Hum. Interact</title><imprint><biblScope unit="volume">14</biblScope><biblScope unit="issue">8</biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b121"><analytic><title level="a" type="main">A scalable formal method for design and automatic checking of user interfaces</title><author><persName><forename type="first">J</forename><surname>Berstel</surname></persName></author><author><persName><forename type="first">S</forename><forename type="middle">C</forename><surname>Reghizzi</surname></persName></author><author><persName><forename type="first">G</forename><surname>Roussel</surname></persName></author><author><persName><forename type="first">P</forename><forename type="middle">S</forename><surname>Pietro</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Softw. Eng. Methodol</title><imprint><biblScope unit="volume">14</biblScope><biblScope unit="issue">2</biblScope><biblScope unit="page" from="124" to="167"></biblScope><date type="published" when="2005"></date></imprint></monogr></biblStruct><biblStruct xml:id="b122"><analytic><title level="a" type="main">User interface design with matrix algebra</title><author><persName><forename type="first">H</forename><surname>Thimbleby</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Comput.- Hum. Interact</title><imprint><biblScope unit="volume">11</biblScope><biblScope unit="issue">2</biblScope><biblScope unit="page" from="181" to="236"></biblScope><date type="published" when="2004"></date></imprint></monogr></biblStruct><biblStruct xml:id="b123"><monogr><title level="m" type="main">Software Engineering, 8th edn</title><author><persName><forename type="first">I</forename><surname>Sommerville</surname></persName></author><imprint><date type="published" when="2007"></date><publisher>Addison-Wesley</publisher><pubPlace>Reading</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b124"><analytic><title></title><author><persName><forename type="first">Stanford</forename><surname>Encyclopedia</surname></persName></author><author><persName><surname>Philosophy</surname></persName></author></analytic><monogr><title level="m">Emergent Properties</title><imprint></imprint></monogr></biblStruct><biblStruct xml:id="b125"><monogr><title level="m" type="main">Adaptation in Natural and Artificial Systems</title><author><persName><forename type="first">J</forename><forename type="middle">H</forename><surname>Holland</surname></persName></author><imprint><date type="published" when="1992"></date><publisher>MIT Press</publisher><pubPlace>Cambridge</pubPlace></imprint></monogr><note>2nd. edn</note></biblStruct><biblStruct xml:id="b126"><analytic><title></title><author><persName><forename type="first">M</forename><forename type="middle">A</forename><surname>Bedau</surname></persName></author><author><persName><forename type="first">P</forename><surname>Humphreys</surname></persName></author></analytic><monogr><title level="m">Emergence: Contemporary Readings in Philosophy and Science</title><meeting><address><addrLine>Cambridge</addrLine></address></meeting><imprint><publisher>MIT Press</publisher><date type="published" when="2008"></date></imprint></monogr></biblStruct><biblStruct xml:id="b127"><monogr><title level="m" type="main">Complex and Adaptive Dynamical Systems: A Promer</title><author><persName><forename type="first">C</forename><surname>Gros</surname></persName></author><imprint><date type="published" when="2008"></date><publisher>Springer Complexity Springer</publisher><pubPlace>Heidelberg</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b128"><analytic><title level="a" type="main">Differential Equations, Dynamical Systems & an Introduction to Chaos</title><author><persName><forename type="first">M</forename><forename type="middle">W</forename><surname>Hirsch</surname></persName></author><author><persName><forename type="first">S</forename><surname>Smale</surname></persName></author><author><persName><forename type="first">R</forename><forename type="middle">L</forename><surname>Devaney</surname></persName></author></analytic><monogr><title level="j">Pure and Applied Mathematics</title><imprint><publisher>Elsevier</publisher><publisher>Elsevier</publisher><biblScope unit="volume">60</biblScope><date type="published" when="2004"></date></imprint></monogr></biblStruct><biblStruct xml:id="b129"><analytic><title level="a" type="main">Foundations of Complex Systems: Nonlinear Dynamics, Statistical Physics, Information and Prediction</title><author><persName><forename type="first">G</forename><surname>Nicolis</surname></persName></author><author><persName><forename type="first">C</forename><surname>Nicolis</surname></persName></author></analytic><monogr><title level="j">World Scientific</title><imprint><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b130"><analytic><title level="a" type="main">Modes for software architectures</title><author><persName><forename type="first">D</forename><surname>Hirsch</surname></persName></author><author><persName><forename type="first">J</forename><surname>Kramer</surname></persName></author><author><persName><forename type="first">J</forename><surname>Magee</surname></persName></author><author><persName><forename type="first">S</forename><surname>Uchitel</surname></persName></author></analytic><monogr><title level="m">EWSA 2006</title><editor>Gruhn, V., Oquendo, F.</editor><meeting><address><addrLine>Heidelberg</addrLine></address></meeting><imprint><publisher>Springer</publisher><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b131"><analytic><title level="a" type="main">Extending the Soar Cognitive Architecture</title><author><persName><forename type="first">J</forename><forename type="middle">E</forename><surname>Laird</surname></persName></author></analytic><monogr><title level="m">Proceedings of the First Artificial General Intelligence Conference</title><editor>Wang, P., Goertzel, B., Franklin, S.</editor><meeting>the First Artificial General Intelligence Conference</meeting><imprint><date type="published" when="2008-02"></date></imprint></monogr></biblStruct><biblStruct xml:id="b132"><monogr><title level="m" type="main">Web Site (last accessed</title><author><persName><forename type="first">Santa</forename><forename type="middle">Fe</forename></persName></author><author><persName><forename type="first">Institute</forename></persName></author><imprint><date type="published" when="2008-09-20"></date></imprint></monogr></biblStruct><biblStruct xml:id="b133"><monogr><title level="m" type="main">Towards a better understanding of context and context-awareness</title><author><persName><forename type="first">G</forename><forename type="middle">D</forename><surname>Abowd</surname></persName></author><author><persName><forename type="first">A</forename><forename type="middle">K</forename><surname>Dey</surname></persName></author><author><persName><forename type="first">P</forename><forename type="middle">J</forename><surname>Brown</surname></persName></author><author><persName><forename type="first">N</forename><surname>Davies</surname></persName></author><author><persName><forename type="first">M</forename><surname>Smith</surname></persName></author><author><persName><forename type="first">P</forename><surname>Steggles</surname></persName></author><imprint></imprint></monogr></biblStruct><biblStruct xml:id="b134"><analytic><title></title></analytic><monogr><title level="m">HUC 1999</title><meeting><address><addrLine>Heidelberg</addrLine></address></meeting><imprint><publisher>Springer</publisher><date type="published" when="1999"></date><biblScope unit="page" from="304" to="307"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b135"><analytic><title></title><author><persName><forename type="first">S</forename><surname>Staab</surname></persName></author><author><persName><forename type="first">R</forename><surname>Studer</surname></persName></author></analytic><monogr><title level="m">Handbook on Ontologies. International Handbooks on Information Systems</title><meeting><address><addrLine>Heidelberg</addrLine></address></meeting><imprint><publisher>Springer</publisher><date type="published" when="2004"></date></imprint></monogr></biblStruct><biblStruct xml:id="b136"><monogr><title level="m" type="main">Adaptive Reasoning for Real-World Problems: A Schema-Based Approach</title><author><persName><forename type="first">R</forename><forename type="middle">M</forename><surname>Turner</surname></persName></author><imprint><date type="published" when="1994"></date><publisher>Lawrence Erlbaum Associates</publisher><pubPlace>Mahwah</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b137"><analytic><title></title><author><persName><forename type="first">C</forename><forename type="middle">M</forename><surname>Bishop</surname></persName></author></analytic><monogr><title level="m">Pattern Recognition and Machine Learning (Information Science and Statistics)</title><meeting><address><addrLine>Heidelberg</addrLine></address></meeting><imprint><publisher>Springer</publisher><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b138"><analytic><title level="a" type="main">Ambient intelligence: industrial research on a visionary concept</title><author><persName><forename type="first">W</forename><surname>Weber</surname></persName></author></analytic><monogr><title level="m">ISLPED 2003: Proceedings of the 2003 international symposium on Low power electronics and design</title><meeting><address><addrLine>New York</addrLine></address></meeting><imprint><publisher>ACM</publisher><date type="published" when="2003"></date><biblScope unit="page" from="247" to="251"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b139"><analytic><title></title><author><persName><forename type="first">O</forename><surname>Babaoglu</surname></persName></author><author><persName><forename type="first">M</forename><surname>Jelasity</surname></persName></author><author><persName><forename type="first">A</forename><surname>Montresor</surname></persName></author><author><persName><forename type="first">C</forename><surname>Fetzer</surname></persName></author><author><persName><forename type="first">S</forename><surname>Leonardi</surname></persName></author><author><persName><forename type="first">A</forename><surname>Van Moorsel</surname></persName></author><author><persName><forename type="first">M</forename><surname>Van Steen</surname></persName></author></analytic><monogr><title level="m">Self-star Properties in Complex Information Systems: Conceptual and Practical Foundations</title><meeting><address><addrLine>Heidelberg</addrLine></address></meeting><imprint><publisher>Springer</publisher><date type="published" when="2005"></date></imprint></monogr></biblStruct><biblStruct xml:id="b140"><analytic><title level="a" type="main">Hidden in plain sight</title><author><persName><forename type="first">B</forename><surname>Cantrill</surname></persName></author></analytic><monogr><title level="j">Queue</title><imprint><biblScope unit="volume">4</biblScope><biblScope unit="issue">1</biblScope><biblScope unit="page" from="26" to="36"></biblScope><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b141"><analytic><title level="a" type="main">Managing resources and quality of service in heterogeneous wireless systems exploiting opportunism</title><author><persName><forename type="first">S</forename><surname>Patil</surname></persName></author><author><persName><forename type="first">G</forename><surname>De Veciana</surname></persName></author></analytic><monogr><title level="j">IEEE/ACM Trans. Netw</title><imprint><biblScope unit="volume">15</biblScope><biblScope unit="issue">5</biblScope><biblScope unit="page" from="1046" to="1058"></biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b142"><analytic><title level="a" type="main">Efficient qos partition and routing of unicast and multicast</title><author><persName><forename type="first">D</forename><forename type="middle">H</forename><surname>Lorenz</surname></persName></author><author><persName><forename type="first">A</forename><surname>Orda</surname></persName></author><author><persName><forename type="first">D</forename><surname>Raz</surname></persName></author><author><persName><forename type="first">Y</forename><surname>Shavitt</surname></persName></author></analytic><monogr><title level="j">IEEE/ACM Trans. Netw</title><imprint><biblScope unit="volume">14</biblScope><biblScope unit="issue">6</biblScope><biblScope unit="page" from="1336" to="1347"></biblScope><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b143"><analytic><title level="a" type="main">End-to-end optimal algorithms for integrated qos, traffic engineering, and failure recovery</title><author><persName><forename type="first">B</forename><forename type="middle">A</forename><surname>Movsichoff</surname></persName></author><author><persName><forename type="first">C</forename><forename type="middle">M</forename><surname>Lagoa</surname></persName></author><author><persName><forename type="first">H</forename><surname>Che</surname></persName></author></analytic><monogr><title level="j">IEEE/ACM Trans. Netw</title><imprint><biblScope unit="volume">15</biblScope><biblScope unit="issue">4</biblScope><biblScope unit="page" from="813" to="823"></biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b144"><analytic><title level="a" type="main">Finding a path subject to many additive qos constraints</title><author><persName><forename type="first">G</forename><surname>Xue</surname></persName></author><author><persName><forename type="first">A</forename><surname>Sen</surname></persName></author><author><persName><forename type="first">W</forename><surname>Zhang</surname></persName></author><author><persName><forename type="first">J</forename><surname>Tang</surname></persName></author><author><persName><forename type="first">K</forename><surname>Thulasiraman</surname></persName></author></analytic><monogr><title level="j">IEEE/ACM Trans. Netw</title><imprint><biblScope unit="volume">15</biblScope><biblScope unit="issue">1</biblScope><biblScope unit="page" from="201" to="211"></biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b145"><analytic><title level="a" type="main">Coordinating application level QoS with SHReQ SHReQ: A framework for coordinating application level QoS</title><author><persName><forename type="first">D</forename><surname>Hirsch</surname></persName></author><author><persName><forename type="first">E</forename><forename type="middle">M</forename><surname>Tuosto</surname></persName></author><author><persName><forename type="first">A</forename><surname>Hölzl</surname></persName></author><author><persName><forename type="first">M</forename><surname>Rauschmayer</surname></persName></author><author><persName><surname>Wirsing 196</surname></persName></author><author><persName><forename type="first">D</forename><surname>Hirsch</surname></persName></author><author><persName><forename type="first">E</forename><surname>Tuosto</surname></persName></author></analytic><monogr><title level="m">Proceedings of SEFM 2005, 3rd IEEE International Conference on Software Engineering and Formal Methods</title><editor>Bernhard, K., Bernhard, B.</editor><meeting>SEFM 2005, 3rd IEEE International Conference on Software Engineering and Formal Methods<address><addrLine>Los Alamitos</addrLine></address></meeting><imprint><publisher>IEEE</publisher><date type="published" when="2005"></date><biblScope unit="page" from="425" to="434"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b146"><analytic><title level="a" type="main">Complying with compliance</title><author><persName><forename type="first">E</forename><surname>Allman</surname></persName></author></analytic><monogr><title level="j">Queue</title><imprint><biblScope unit="volume">4</biblScope><biblScope unit="issue">7</biblScope><biblScope unit="page" from="18" to="21"></biblScope><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b147"><analytic><title level="a" type="main">Compliance deconstructed</title><author><persName><forename type="first">J</forename><forename type="middle">C</forename><surname>Cannon</surname></persName></author><author><persName><forename type="first">M</forename><surname>Byers</surname></persName></author></analytic><monogr><title level="j">Queue</title><imprint><biblScope unit="volume">4</biblScope><biblScope unit="issue">7</biblScope><biblScope unit="page" from="30" to="37"></biblScope><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b148"><analytic><title level="a" type="main">Cc-pi: A constraint-based language for specifying service level agreements</title><author><persName><forename type="first">M</forename><surname>Buscemi</surname></persName></author><author><persName><forename type="first">U</forename><surname>Montanari</surname></persName></author></analytic><monogr><title level="j">LNCS</title><editor>De Nicola, R.</editor><imprint><publisher>Springer</publisher><publisher>Springer</publisher><biblScope unit="volume">4421</biblScope><biblScope unit="page" from="18" to="32"></biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b149"><monogr><title level="m" type="main">Security Engineering: A Guide to Building Dependable Distributed Systems</title><author><persName><forename type="first">R</forename><forename type="middle">J</forename><surname>Anderson</surname></persName></author><imprint><date type="published" when="2008"></date><publisher>Wiley</publisher><pubPlace>Chichester</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b150"><monogr><title level="m" type="main">Secrets and Lies—Digital Security in a Networked World</title><author><persName><forename type="first">B</forename><surname>Schneier</surname></persName></author><imprint><date type="published" when="2000"></date><publisher>John Wiley & Sons, Inc</publisher><pubPlace>Chichester</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b151"><monogr><title level="m" type="main">Practical Cryptography</title><author><persName><forename type="first">N</forename><surname>Ferguson</surname></persName></author><author><persName><forename type="first">B</forename><surname>Schneier</surname></persName></author><imprint><date type="published" when="2003"></date><publisher>Wiley Publishing, Inc</publisher><pubPlace>Chichester</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b152"><analytic><title level="a" type="main">Cybercrime: an epidemic</title><author><persName><forename type="first">T</forename><surname>Cymru</surname></persName></author></analytic><monogr><title level="j">Queue</title><imprint><biblScope unit="volume">4</biblScope><biblScope unit="issue">9</biblScope><biblScope unit="page" from="24" to="35"></biblScope><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b153"><analytic><title level="a" type="main">Playing for keeps</title><author><persName><forename type="first">D</forename><forename type="middle">E</forename><surname>Geer</surname></persName></author></analytic><monogr><title level="j">Queue</title><imprint><biblScope unit="volume">4</biblScope><biblScope unit="issue">9</biblScope><biblScope unit="page" from="42" to="48"></biblScope><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b154"><monogr><title level="m" type="main">Network security: private communication in a public world</title><author><persName><forename type="first">C</forename><surname>Kaufman</surname></persName></author><author><persName><forename type="first">R</forename><surname>Perlman</surname></persName></author><author><persName><forename type="first">M</forename><surname>Speciner</surname></persName></author><imprint><date type="published" when="2002"></date><publisher>Prentice-Hall, Inc., Upper Saddle River</publisher></imprint></monogr></biblStruct><biblStruct xml:id="b155"><analytic><title level="a" type="main">Building secure web applications</title><author><persName><forename type="first">G</forename><forename type="middle">V</forename><surname>Neville-Neil</surname></persName></author></analytic><monogr><title level="j">Queue</title><imprint><biblScope unit="volume">5</biblScope><biblScope unit="issue">5</biblScope><biblScope unit="page" from="22" to="26"></biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b156"><analytic><title level="a" type="main">Survey of network-based defense mechanisms countering the dos and ddos problems</title><author><persName><forename type="first">T</forename><surname>Peng</surname></persName></author><author><persName><forename type="first">C</forename><surname>Leckie</surname></persName></author><author><persName><forename type="first">K</forename><surname>Ramamohanarao</surname></persName></author></analytic><monogr><title level="j">ACM Comput. Surv</title><imprint><biblScope unit="volume">39</biblScope><biblScope unit="issue">1</biblScope><biblScope unit="page">3</biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b157"><analytic><title level="a" type="main">Socio-technical defense against voice spamming</title><author><persName><forename type="first">P</forename><surname>Kolan</surname></persName></author><author><persName><forename type="first">R</forename><surname>Dantu</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Auton. Adapt. Syst</title><imprint><biblScope unit="volume">2</biblScope><biblScope unit="issue">1</biblScope><biblScope unit="page">2</biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b158"><analytic><title level="a" type="main">Network intrusion detection through adaptive sub-eigenspace modeling in multiagent systems</title><author><persName><forename type="first">M</forename><forename type="middle">L</forename><surname>Shyu</surname></persName></author><author><persName><forename type="first">T</forename><surname>Quirino</surname></persName></author><author><persName><forename type="first">Z</forename><surname>Xie</surname></persName></author><author><persName><forename type="first">S</forename><forename type="middle">C</forename><surname>Chen</surname></persName></author><author><persName><forename type="first">L</forename><surname>Chang</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Auton. Adapt. Syst</title><imprint><biblScope unit="volume">2</biblScope><biblScope unit="issue">3</biblScope><biblScope unit="page">9</biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b159"><analytic><title level="a" type="main">A survey on peer-to-peer key management for mobile ad hoc networks</title><author><persName><forename type="first">J</forename><forename type="middle">V D</forename><surname>Merwe</surname></persName></author><author><persName><forename type="first">D</forename><surname>Dawoud</surname></persName></author><author><persName><forename type="first">S</forename><surname>Mcdonald</surname></persName></author></analytic><monogr><title level="j">ACM Comput. Surv</title><imprint><biblScope unit="volume">39</biblScope><biblScope unit="issue">1</biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b160"><analytic><title level="a" type="main">A survey of key management for secure group communication</title><author><persName><forename type="first">S</forename><surname>Rafaeli</surname></persName></author><author><persName><forename type="first">D</forename><surname>Hutchison</surname></persName></author></analytic><monogr><title level="j">ACM Comput. Surv</title><imprint><biblScope unit="volume">35</biblScope><biblScope unit="issue">3</biblScope><biblScope unit="page" from="309" to="329"></biblScope><date type="published" when="2003"></date></imprint></monogr></biblStruct><biblStruct xml:id="b161"><analytic><title level="a" type="main">Access control in collaborative systems</title><author><persName><forename type="first">W</forename><surname>Tolone</surname></persName></author><author><persName><forename type="first">G</forename><forename type="middle">J</forename><surname>Ahn</surname></persName></author><author><persName><forename type="first">T</forename><surname>Pai</surname></persName></author><author><persName><forename type="first">S</forename><forename type="middle">P</forename><surname>Hong</surname></persName></author></analytic><monogr><title level="j">ACM Comput. Surv</title><imprint><biblScope unit="volume">37</biblScope><biblScope unit="issue">1</biblScope><biblScope unit="page" from="29" to="41"></biblScope><date type="published" when="2005"></date></imprint></monogr></biblStruct><biblStruct xml:id="b162"><analytic><title level="a" type="main">Aspect-Oriented Modeling of Access Control in Web Applications</title><author><persName><forename type="first">G</forename><surname>Zhang</surname></persName></author><author><persName><forename type="first">H</forename><surname>Baumeister</surname></persName></author><author><persName><forename type="first">N</forename><surname>Koch</surname></persName></author><author><persName><forename type="first">A</forename><surname>Knapp</surname></persName></author></analytic><monogr><title level="m">Proc. 6th Int. Wsh. Aspect Oriented Modeling (WAOM 2005)</title><meeting>. 6th Int. Wsh. Aspect Oriented Modeling (WAOM 2005)<address><addrLine>Chicago</addrLine></address></meeting><imprint><date type="published" when="2005"></date></imprint></monogr></biblStruct><biblStruct xml:id="b163"><analytic><title level="a" type="main">An integrated approach to federated identity and privilege management in open systems</title><author><persName><forename type="first">R</forename><surname>Bhatti</surname></persName></author><author><persName><forename type="first">E</forename><surname>Bertino</surname></persName></author><author><persName><forename type="first">A</forename><surname>Ghafoor</surname></persName></author></analytic><monogr><title level="j">Commun. ACM</title><imprint><biblScope unit="volume">50</biblScope><biblScope unit="issue">2</biblScope><biblScope unit="page" from="81" to="87"></biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b164"><analytic><title level="a" type="main">The evolution of security</title><author><persName><forename type="first">D</forename><forename type="middle">E</forename><surname>Geer</surname></persName></author></analytic><monogr><title level="j">Queue</title><imprint><biblScope unit="volume">5</biblScope><biblScope unit="issue">3</biblScope><biblScope unit="page" from="30" to="35"></biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b165"><analytic><title level="a" type="main">The language of privacy: Learning from video media space analysis and design</title><author><persName><forename type="first">M</forename><surname>Boyle</surname></persName></author><author><persName><forename type="first">S</forename><surname>Greenberg</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Comput.-Hum. Interact</title><imprint><biblScope unit="volume">12</biblScope><biblScope unit="issue">2</biblScope><biblScope unit="page" from="328" to="370"></biblScope><date type="published" when="2005"></date></imprint></monogr></biblStruct><biblStruct xml:id="b166"><monogr><title level="m" type="main">Integrating flexible support for security policies into the linux operating system</title><author><persName><forename type="first">P</forename><surname>Loscocco</surname></persName></author><author><persName><forename type="first">S</forename><surname>Smalley</surname></persName></author><imprint><date type="published" when="2001-02"></date></imprint></monogr></biblStruct><biblStruct xml:id="b167"><monogr><title level="m" type="main">Security enhancements in red hat enterprise linux (beside selinux)</title><author><persName><forename type="first">U</forename><surname>Drepper</surname></persName></author><imprint><date type="published" when="2005-12"></date></imprint></monogr></biblStruct><biblStruct xml:id="b168"><analytic><title level="a" type="main">Open vs. closed: which source is more secure?</title><author><persName><forename type="first">R</forename><surname>Ford</surname></persName></author></analytic><monogr><title level="j">Queue</title><imprint><biblScope unit="volume">5</biblScope><biblScope unit="issue">1</biblScope><biblScope unit="page" from="32" to="38"></biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b169"><analytic><title level="a" type="main">Increased security through open source</title><author><persName><forename type="first">J</forename><forename type="middle">H</forename><surname>Hoepman</surname></persName></author><author><persName><forename type="first">B</forename><surname>Jacobs</surname></persName></author></analytic><monogr><title level="j">Commun. ACM</title><imprint><biblScope unit="volume">50</biblScope><biblScope unit="issue">1</biblScope><biblScope unit="page" from="79" to="83"></biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b170"><analytic><title level="a" type="main">Software system engineering: A tutorial</title><author><persName><forename type="first">R</forename><forename type="middle">H</forename><surname>Thayer</surname></persName></author></analytic><monogr><title level="j">IEEE Computer</title><imprint><biblScope unit="volume">35</biblScope><biblScope unit="issue">4</biblScope><biblScope unit="page" from="68" to="73"></biblScope><date type="published" when="2002"></date></imprint></monogr></biblStruct><biblStruct xml:id="b171"><analytic><title level="a" type="main">Systems engineering of computer-based systems, state of practice working group</title><author><persName><forename type="first">S</forename><surname>White</surname></persName></author><author><persName><forename type="first">M</forename><forename type="middle">W</forename><surname>Alford</surname></persName></author><author><persName><forename type="first">J</forename><surname>Holtzman</surname></persName></author><author><persName><forename type="first">C</forename><forename type="middle">S</forename><surname>Kuehl</surname></persName></author><author><persName><forename type="first">B</forename><surname>Mccay</surname></persName></author><author><persName><forename type="first">D</forename><surname>Oliver</surname></persName></author><author><persName><forename type="first">D</forename><surname>Owens</surname></persName></author><author><persName><forename type="first">C</forename><surname>Tully</surname></persName></author><author><persName><forename type="first">A</forename><surname>Willey</surname></persName></author></analytic><monogr><title level="j">IEEE Computer</title><imprint><biblScope unit="volume">26</biblScope><biblScope unit="issue">11</biblScope><biblScope unit="page" from="54" to="65"></biblScope><date type="published" when="1993"></date></imprint></monogr></biblStruct><biblStruct xml:id="b172"><monogr><title level="m" type="main">Standard for Application and Management of the System Engineering Process</title><imprint><date type="published" when="1998"></date><publisher>IEEE Press</publisher><pubPlace>Piscataway, N</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b173"><analytic><title level="a" type="main">A requirements primer</title><author><persName><forename type="first">W</forename><surname>George</surname></persName></author><author><persName><forename type="first">J</forename><surname>Beeler</surname></persName></author><author><persName><forename type="first">D</forename><surname>Gardner</surname></persName></author></analytic><monogr><title level="j">Queue</title><imprint><biblScope unit="volume">4</biblScope><biblScope unit="issue">7</biblScope><biblScope unit="page" from="22" to="26"></biblScope><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b174"><monogr><title level="m" type="main">Security and Trust Requirements Engineering</title><author><persName><forename type="first">P</forename><surname>Giorgini</surname></persName></author><author><persName><forename type="first">F</forename><surname>Massacci</surname></persName></author><author><persName><forename type="first">N</forename><surname>Zannone</surname></persName></author><editor>Aldini, A., Gorrieri, R., Martinelli, F.</editor><imprint><date type="published" when="2005"></date><publisher>Springer</publisher><biblScope unit="page" from="237" to="272"></biblScope><pubPlace>Heidelberg</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b175"><analytic><title level="a" type="main">A practical framework for eliciting and modeling system dependability requirements: Experience from the nasa high dependability computing project</title><author><persName><forename type="first">P</forename><surname>Donzelli</surname></persName></author><author><persName><forename type="first">V</forename><forename type="middle">R</forename><surname>Basili</surname></persName></author></analytic><monogr><title level="j">Journal of Systems and Software</title><imprint><biblScope unit="volume">79</biblScope><biblScope unit="issue">1</biblScope><biblScope unit="page" from="107" to="119"></biblScope><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b176"><monogr><title level="m" type="main">Hardware/software codevelopment using a modeldriven systems development (mdsd) approach. IBM developerWorks</title><author><persName><forename type="first">M</forename><surname>Cantor</surname></persName></author><author><persName><forename type="first">G</forename><surname>Roose</surname></persName></author><imprint><date type="published" when="2005-12"></date></imprint></monogr></biblStruct><biblStruct xml:id="b177"><analytic><title level="a" type="main">Hardware/software codevelopment using a model-driven systems development (mdsd) approach—part ii: Illustrating the solution</title><author><persName><forename type="first">M</forename><surname>Cantor</surname></persName></author><author><persName><forename type="first">G</forename><surname>Roose</surname></persName></author></analytic><monogr><title level="m">IBM developerWorks</title><imprint><date type="published" when="2006-02"></date></imprint></monogr></biblStruct><biblStruct xml:id="b178"><monogr><title level="m" type="main">Development techniques for using simulation to remove risk in software</title><author><persName><forename type="first">R</forename><forename type="middle">C</forename><surname>Unrau</surname></persName></author><imprint><date type="published" when="2008"></date></imprint></monogr></biblStruct><biblStruct xml:id="b179"><analytic><title level="a" type="main">Requirements interaction management</title><author><persName><forename type="first">W</forename><forename type="middle">N</forename><surname>Robinson</surname></persName></author><author><persName><forename type="first">S</forename><forename type="middle">D</forename><surname>Pawlowski</surname></persName></author><author><persName><forename type="first">V</forename><surname>Volkov</surname></persName></author></analytic><monogr><title level="j">ACM Comput. Surv</title><imprint><biblScope unit="volume">35</biblScope><biblScope unit="issue">2</biblScope><biblScope unit="page" from="132" to="190"></biblScope><date type="published" when="2003"></date></imprint></monogr></biblStruct><biblStruct xml:id="b180"><monogr><title level="m" type="main">The Unified Modeling Language User Guide</title><author><persName><forename type="first">G</forename><surname>Booch</surname></persName></author><author><persName><forename type="first">J</forename><surname>Rumbaugh</surname></persName></author><author><persName><forename type="first">I</forename><surname>Jacobson</surname></persName></author><imprint><date type="published" when="2005"></date><publisher>Addison-Wesley</publisher><pubPlace>Reading</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b181"><monogr><title level="m" type="main">MDA Distilled Object Management Group: Model Driven Architecture (OMG) (Last visited</title><author><persName><forename type="first">S</forename><forename type="middle">J</forename><surname>Mellor</surname></persName></author><author><persName><forename type="first">S</forename><surname>Kendall</surname></persName></author><author><persName><forename type="first">A</forename><surname>Uhl</surname></persName></author><author><persName><forename type="first">D</forename><surname>Weise</surname></persName></author><imprint><date type="published" when="2004-06"></date><publisher>Addison Wesley Longman Publishing Co., Inc., Redwood City</publisher><biblScope unit="page">233</biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b182"><analytic><title level="a" type="main">Metamodel-based model conformance and multiview consistency checking</title><author><persName><forename type="first">R</forename><forename type="middle">F</forename><surname>Paige</surname></persName></author><author><persName><forename type="first">P</forename><forename type="middle">J</forename><surname>Brooke</surname></persName></author><author><persName><forename type="first">J</forename><forename type="middle">S</forename><surname>Ostroff</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Softw. Eng. Methodol</title><imprint><biblScope unit="volume">16</biblScope><biblScope unit="issue">11</biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b183"><monogr><title level="m" type="main">Extreme Programming Explained—Embracing Change</title><author><persName><forename type="first">K</forename><surname>Beck</surname></persName></author><imprint><date type="published" when="2003"></date><publisher>Addison- Wesley Professional</publisher><pubPlace>Reading</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b184"><monogr><title level="m" type="main">Agile Software Development—The Cooperative Game</title><author><persName><forename type="first">A</forename><surname>Cockburn</surname></persName></author><imprint><date type="published" when="2006"></date><publisher>Addison-Wesley</publisher><pubPlace>Reading</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b185"><monogr><title level="m" type="main">Agile Software Development Ecosystems</title><author><persName><forename type="first">J</forename><surname>Highsmith</surname></persName></author><imprint><date type="published" when="2003"></date><publisher>Addison-Wesley</publisher><pubPlace>Reading</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b186"><analytic><title level="a" type="main">Theoretical reflections on agile development methodologies</title><author><persName><forename type="first">S</forename><surname>Nerur</surname></persName></author><author><persName><forename type="first">V</forename><surname>Balijepally</surname></persName></author></analytic><monogr><title level="j">Commun. ACM</title><imprint><biblScope unit="volume">50</biblScope><biblScope unit="issue">3</biblScope><biblScope unit="page" from="79" to="83"></biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b187"><monogr><title level="m" type="main">Software Product Lines: Practices and Patterns. The SEI Series in Software Engineering</title><author><persName><forename type="first">P</forename><surname>Clements</surname></persName></author><author><persName><forename type="first">L</forename><surname>Northrop</surname></persName></author><imprint><date type="published" when="2001"></date><publisher>Addison-Wesley Professional</publisher><pubPlace>Reading</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b188"><monogr><title level="m" type="main">Generative Programming: Methods, Tools and Applications</title><author><persName><forename type="first">K</forename><surname>Czarnecki</surname></persName></author><author><persName><forename type="first">U</forename><surname>Eisenecker</surname></persName></author><imprint><date type="published" when="2000"></date><publisher>Addison-Wesley Professional</publisher><pubPlace>Reading</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b189"><monogr><title level="m" type="main">Software Factories: Assembling Applications with Patterns , Frameworks, Models and Tools</title><author><persName><forename type="first">J</forename><surname>Greenfield</surname></persName></author><author><persName><forename type="first">K</forename><surname>Short</surname></persName></author><imprint><date type="published" when="2004"></date><publisher>Wiley</publisher><pubPlace>Chichester</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b190"><monogr><title level="m" type="main">Domain-Driven Design: Tackling Complexity in the Heart of Software</title><author><persName><forename type="first">E</forename><surname>Evans</surname></persName></author><imprint><date type="published" when="2004"></date><publisher>Addison-Wesley Professional</publisher><pubPlace>Reading</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b191"><monogr><title level="m" type="main">Design Patterns: Elements of Reusable Object-Oriented Software</title><author><persName><forename type="first">E</forename><surname>Gamma</surname></persName></author><author><persName><forename type="first">R</forename><surname>Helm</surname></persName></author><author><persName><forename type="first">R</forename><surname>Johnson</surname></persName></author><author><persName><forename type="first">J</forename><surname>Vlissides</surname></persName></author><imprint><date type="published" when="1995"></date><publisher>Addison-Wesley Longman</publisher><pubPlace>Amsterdam</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b192"><monogr><title level="m" type="main">Patterns of Enterprise Application Architecture</title><author><persName><forename type="first">M</forename><surname>Fowler</surname></persName></author><imprint><date type="published" when="2002"></date><publisher>Addison-Wesley Longman</publisher><pubPlace>Amsterdam</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b193"><analytic><title level="a" type="main">Pattern-Oriented Software Architecture</title><author><persName><forename type="first">F</forename><surname>Buschmann</surname></persName></author><author><persName><forename type="first">R</forename><surname>Meunier</surname></persName></author><author><persName><forename type="first">H</forename><surname>Rohnert</surname></persName></author><author><persName><forename type="first">P</forename><surname>Sommerlad</surname></persName></author><author><persName><forename type="first">M</forename><surname>Stal</surname></persName></author><author><persName><forename type="first">P</forename><surname>Sommerlad</surname></persName></author><author><persName><forename type="first">M</forename><surname>Stal</surname></persName></author></analytic><monogr><title level="j">A System of Patterns</title><imprint><publisher>John Wiley & Sons</publisher><publisher>John Wiley & Sons</publisher><biblScope unit="volume">1</biblScope><date type="published" when="1996"></date></imprint></monogr></biblStruct><biblStruct xml:id="b194"><monogr><title level="m" type="main">Pattern-Oriented Software Architecture. Patterns for Concurrent and Networked Objects</title><author><persName><forename type="first">D</forename><surname>Schmidt</surname></persName></author><author><persName><forename type="first">M</forename><surname>Stal</surname></persName></author><author><persName><forename type="first">H</forename><surname>Rohnert</surname></persName></author><author><persName><forename type="first">F</forename><surname>Buschmann</surname></persName></author><imprint><date type="published" when="2000"></date><publisher>John Wiley & Sons</publisher><pubPlace>Chichester</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b195"><analytic><title level="a" type="main">Pattern-Oriented Software Architecture</title><author><persName><forename type="first">M</forename><surname>Kircher</surname></persName></author><author><persName><forename type="first">P</forename><surname>Jain</surname></persName></author></analytic><monogr><title level="j">Patterns for Resource Management</title><imprint><publisher>Wiley</publisher><publisher>Wiley</publisher><biblScope unit="volume">3</biblScope><date type="published" when="2004"></date></imprint></monogr></biblStruct><biblStruct xml:id="b196"><monogr><title level="m" type="main">Pattern-Oriented Software Architecture . A Pattern Language for Distributed Computing</title><author><persName><forename type="first">F</forename><surname>Buschmann</surname></persName></author><author><persName><forename type="first">K</forename><surname>Henney</surname></persName></author><author><persName><forename type="first">D</forename><forename type="middle">C</forename><surname>Schmidt</surname></persName></author><imprint><date type="published" when="2007"></date><publisher>Wiley</publisher><pubPlace>Chichester</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b197"><analytic><title level="a" type="main">Pattern Oriented Software Architecture</title><author><persName><forename type="first">F</forename><surname>Buschmann</surname></persName></author><author><persName><forename type="first">K</forename><surname>Henney</surname></persName></author><author><persName><forename type="first">D</forename><forename type="middle">C</forename><surname>Schmidt</surname></persName></author></analytic><monogr><title level="j">On Patterns and Pattern Languages</title><imprint><publisher>Wiley</publisher><publisher>Wiley</publisher><biblScope unit="volume">5</biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b198"><analytic><title level="a" type="main">Software design patterns for tinyos</title><author><persName><forename type="first">D</forename><surname>Gay</surname></persName></author><author><persName><forename type="first">P</forename><surname>Levis</surname></persName></author><author><persName><forename type="first">D</forename><surname>Culler</surname></persName></author></analytic><monogr><title level="j">Trans. on Embedded Computing Sys</title><imprint><biblScope unit="volume">64</biblScope><biblScope unit="page">22</biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b199"><monogr><title level="m" type="main">Testing Object-Oriented Systems: Models, Patterns and Tools</title><author><persName><forename type="first">R</forename><surname>Binder</surname></persName></author><imprint><date type="published" when="2000"></date><publisher>Addison-Wesley Professional</publisher><pubPlace>Reading</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b200"><analytic><title level="a" type="main">On test suite composition and cost-effective regression testing</title><author><persName><forename type="first">G</forename><surname>Rothermel</surname></persName></author><author><persName><forename type="first">S</forename><surname>Elbaum</surname></persName></author><author><persName><forename type="first">A</forename><forename type="middle">G</forename><surname>Malishevsky</surname></persName></author><author><persName><forename type="first">P</forename><surname>Kallakuri</surname></persName></author><author><persName><forename type="first">X</forename><surname>Qiu</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Softw. Eng. Methodol</title><imprint><biblScope unit="volume">13</biblScope><biblScope unit="issue">3</biblScope><biblScope unit="page" from="277" to="331"></biblScope><date type="published" when="2004"></date></imprint></monogr></biblStruct><biblStruct xml:id="b201"><monogr><title level="m" type="main">Computer-Aided Reasoning: An Approach</title><author><persName><forename type="first">M</forename><surname>Kaufmann</surname></persName></author><author><persName><forename type="first">P</forename><surname>Manolis</surname></persName></author><author><persName><forename type="first">J</forename><forename type="middle">S</forename><surname>Moore</surname></persName></author><imprint><date type="published" when="2000"></date><publisher>Kluwer Academic Publishers</publisher><pubPlace>Dordrecht</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b202"><analytic><title level="a" type="main">PVS: A prototype verification system</title><author><persName><forename type="first">S</forename><surname>Owre</surname></persName></author><author><persName><forename type="first">J</forename><forename type="middle">M</forename><surname>Rushby</surname></persName></author><author><persName><forename type="first">N</forename><surname>Shankar</surname></persName></author></analytic><monogr><title level="m">CADE 1992</title><editor>Kapur, D.</editor><meeting><address><addrLine>Heidelberg</addrLine></address></meeting><imprint><publisher>Springer</publisher><date type="published" when="1992"></date><biblScope unit="page" from="748" to="752"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b203"><monogr><title level="m" type="main">Specware -producing software correct by construction</title><author><persName><forename type="first">J</forename><surname>Mcdonald</surname></persName></author><author><persName><forename type="first">J</forename><surname>Anton</surname></persName></author><imprint><date type="published" when="2001"></date></imprint></monogr></biblStruct><biblStruct xml:id="b204"><monogr><title level="m" type="main">Interactive Theorem Proving and Program Development</title><author><persName><forename type="first">Y</forename><surname>Bertot</surname></persName></author><author><persName><forename type="first">P</forename><surname>Castéran</surname></persName></author><author><persName><forename type="first">G</forename><surname>Huet</surname></persName></author><author><persName><forename type="first">C</forename><surname>Paulin-Mohring</surname></persName></author><imprint><date type="published" when="2004"></date><publisher>Springer</publisher><pubPlace>Heidelberg</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b205"><monogr><title level="m" type="main">Isabelle/HOL: A Proof Assistant for Higher-Order Logic</title><author><persName><forename type="first">T</forename><surname>Nipkow</surname></persName></author><author><persName><forename type="first">L</forename><forename type="middle">C</forename><surname>Paulson</surname></persName></author><author><persName><forename type="first">M</forename><surname>Wenzel</surname></persName></author><imprint><date type="published" when="2002"></date><publisher>Springer</publisher><pubPlace>Heidelberg</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b206"><analytic><title level="a" type="main">Formal verification of floating-point rtl at amd using the acl2 theorem prover</title><author><persName><forename type="first">D</forename><surname>Russinoff</surname></persName></author><author><persName><forename type="first">M</forename><surname>Kaufmann</surname></persName></author><author><persName><forename type="first">E</forename><surname>Smith</surname></persName></author><author><persName><forename type="first">R</forename><surname>Summers</surname></persName></author></analytic><monogr><title level="m">Proceedings of the 17th IMACS World Congress on Scientific Computing</title><editor>Simonov, N.</editor><meeting>the 17th IMACS World Congress on Scientific Computing</meeting><imprint><date type="published" when="2005-07"></date></imprint></monogr></biblStruct><biblStruct xml:id="b207"><monogr><title level="m" type="main">The Spin Model Checker: Primer and Reference Manual Spin: Web site of the SPIN Model Checker</title><author><persName><forename type="first">G</forename><forename type="middle">J</forename><surname>Holzmann</surname></persName></author><imprint><date type="published" when="2004"></date><publisher>Addison-Wesley Professional</publisher><biblScope unit="page">260</biblScope><pubPlace>Reading</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b208"><monogr><title level="m" type="main">Model Checking</title><author><persName><forename type="first">M</forename><surname>Edmund</surname></persName></author><author><persName><forename type="first">O</forename><forename type="middle">G</forename><surname>Clarke</surname></persName></author><author><persName><forename type="first">D</forename><forename type="middle">A</forename><surname>Peled</surname></persName></author><imprint><date type="published" when="2000"></date><publisher>MIT Press</publisher><pubPlace>Cambridge</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b209"><monogr><title level="m" type="main">Software verification with blast</title><author><persName><forename type="first">T</forename><surname>Henzinger</surname></persName></author><author><persName><forename type="first">R</forename><surname>Jhala</surname></persName></author><author><persName><forename type="first">R</forename><surname>Majumdar</surname></persName></author><author><persName><forename type="first">G</forename><surname>Sutre</surname></persName></author><editor>Ball, T., Rajamani, S.K.</editor><imprint><date type="published" when="2003"></date><biblScope unit="page" from="235" to="239"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b210"><monogr><title level="m" type="main">Improving model-checkers for software testing</title><author><persName><forename type="first">G</forename><surname>Fraser</surname></persName></author><author><persName><forename type="first">F</forename><surname>Wotawa</surname></persName></author><imprint><date type="published" when="2007"></date><biblScope unit="page" from="25" to="31"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b211"><monogr><title level="m" type="main">Using ltl rewriting to improve the performance of modelchecker based test-case generation</title><author><persName><forename type="first">G</forename><surname>Fraser</surname></persName></author><author><persName><forename type="first">F</forename><surname>Wotawa</surname></persName></author><editor>A-MOST</editor><imprint><date type="published" when="2007"></date><publisher>ACM</publisher><biblScope unit="page" from="64" to="74"></biblScope><pubPlace>New York</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b212"><analytic><title level="a" type="main">Redundancy based test-suite reduction</title><author><persName><forename type="first">G</forename><surname>Fraser</surname></persName></author><author><persName><forename type="first">F</forename><surname>Wotawa</surname></persName></author></analytic><monogr><title level="m">FASE 2007</title><editor>Dwyer, M.B., Lopes, A.</editor><meeting><address><addrLine>Heidelberg</addrLine></address></meeting><imprint><publisher>Springer</publisher><date type="published" when="2007"></date><biblScope unit="page" from="291" to="305"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b213"><analytic><title level="a" type="main">The role of roles in supporting reconfigurability and fault localizations for open distributed and embedded systems</title><author><persName><forename type="first">S</forename><surname>Ren</surname></persName></author><author><persName><forename type="first">Y</forename><surname>Yu</surname></persName></author><author><persName><forename type="first">N</forename><surname>Chen</surname></persName></author><author><persName><forename type="first">J</forename><forename type="middle">J P</forename><surname>Tsai</surname></persName></author><author><persName><forename type="first">K</forename><surname>Kwiat</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Auton. Adapt. Syst</title><imprint><biblScope unit="volume">2</biblScope><biblScope unit="issue">3</biblScope><biblScope unit="page">10</biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b214"><analytic><title level="a" type="main">Beyond beowulf clusters</title><author><persName><forename type="first">P</forename><surname>Papadopoulos</surname></persName></author><author><persName><forename type="first">G</forename><surname>Bruno</surname></persName></author><author><persName><forename type="first">M</forename><surname>Katz</surname></persName></author></analytic><monogr><title level="j">Queue</title><imprint><biblScope unit="volume">5</biblScope><biblScope unit="issue">3</biblScope><biblScope unit="page" from="36" to="43"></biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b215"><monogr><title level="m" type="main">Service-Oriented Architecture—Concepts, Technology and Design. Prentice Hall Service-Oriented Computing Series</title><author><persName><forename type="first">T</forename><surname>Erl</surname></persName></author><imprint><date type="published" when="2005"></date><publisher>Prentice-Hall</publisher><pubPlace>Englewood Cliffs</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b216"><analytic><title level="a" type="main">An approach to feature location in distributed systems</title><author><persName><forename type="first">D</forename><surname>Edwards</surname></persName></author><author><persName><forename type="first">S</forename><surname>Simmons</surname></persName></author><author><persName><forename type="first">N</forename><surname>Wilde</surname></persName></author></analytic><monogr><title level="j">Journal of Systems and Software</title><imprint><biblScope unit="volume">79</biblScope><biblScope unit="issue">1</biblScope><biblScope unit="page" from="57" to="68"></biblScope><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b217"><analytic><title level="a" type="main">Design patterns from biology for distributed computing</title><author><persName><forename type="first">O</forename><surname>Babaoglu</surname></persName></author><author><persName><forename type="first">G</forename><surname>Canright</surname></persName></author><author><persName><forename type="first">A</forename><surname>Deutsch</surname></persName></author><author><persName><forename type="first">G</forename><forename type="middle">A D</forename><surname>Caro</surname></persName></author><author><persName><forename type="first">F</forename><surname>Ducatelle</surname></persName></author><author><persName><forename type="first">L</forename><forename type="middle">M</forename><surname>Gambardella</surname></persName></author><author><persName><forename type="first">N</forename><surname>Ganguly</surname></persName></author><author><persName><forename type="first">M</forename><surname>Jelasity</surname></persName></author><author><persName><forename type="first">R</forename><surname>Montemanni</surname></persName></author><author><persName><forename type="first">A</forename><surname>Montresor</surname></persName></author><author><persName><forename type="first">T</forename><surname>Urnes</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Auton. Adapt. Syst</title><imprint><biblScope unit="volume">1</biblScope><biblScope unit="issue">1</biblScope><biblScope unit="page" from="26" to="66"></biblScope><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b218"><analytic><title level="a" type="main">A generalized higher-order chemical computation model</title><author><persName><forename type="first">J</forename><forename type="middle">P</forename><surname>Banâtre</surname></persName></author><author><persName><forename type="first">P</forename><surname>Fradet</surname></persName></author><author><persName><forename type="first">Y</forename><surname>Radenac</surname></persName></author></analytic><monogr><title level="j">Electr. Notes Theor. Comput. Sci</title><imprint><biblScope unit="volume">135</biblScope><biblScope unit="issue">3</biblScope><biblScope unit="page" from="3" to="13"></biblScope><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b219"><analytic><title level="a" type="main">Computing in pervasive cyberspace</title><author><persName><forename type="first">G</forename><surname>Agha</surname></persName></author></analytic><monogr><title level="j">Commun. ACM</title><imprint><biblScope unit="volume">51</biblScope><biblScope unit="issue">1</biblScope><biblScope unit="page" from="68" to="70"></biblScope><date type="published" when="2008"></date></imprint></monogr></biblStruct><biblStruct xml:id="b220"><monogr><title level="m" type="main">Actors: a model of concurrent computation in distributed systems</title><author><persName><forename type="first">G</forename><surname>Agha</surname></persName></author><imprint><date type="published" when="1986"></date><publisher>MIT Press</publisher><pubPlace>Cambridge</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b221"><analytic><title level="a" type="main">A foundation for actor computation</title><author><persName><forename type="first">G</forename><forename type="middle">A</forename><surname>Agha</surname></persName></author><author><persName><forename type="first">I</forename><forename type="middle">A</forename><surname>Mason</surname></persName></author><author><persName><forename type="first">S</forename><forename type="middle">F</forename><surname>Smith</surname></persName></author><author><persName><forename type="first">C</forename><forename type="middle">L</forename><surname>Talcott</surname></persName></author></analytic><monogr><title level="j">J. Funct. Program</title><imprint><biblScope unit="volume">7</biblScope><biblScope unit="issue">1</biblScope><biblScope unit="page" from="1" to="72"></biblScope><date type="published" when="1997"></date></imprint></monogr></biblStruct><biblStruct xml:id="b222"><analytic><title level="a" type="main">An introduction to multi-agent systems</title><author><persName><forename type="first">M</forename><surname>Wooldridge</surname></persName></author></analytic><monogr><title level="j">J. Artificial Societies and Social Simulation</title><imprint><biblScope unit="volume">7</biblScope><biblScope unit="issue">3</biblScope><date type="published" when="2004"></date></imprint></monogr></biblStruct><biblStruct xml:id="b223"><analytic><title></title><author><persName><forename type="first">E</forename><forename type="middle">H</forename><surname>Durfee</surname></persName></author><author><persName><forename type="first">M</forename><surname>Yokoo</surname></persName></author><author><persName><forename type="first">M</forename><forename type="middle">N</forename><surname>Huhns</surname></persName></author><author><persName><forename type="first">O</forename><surname>Shehory</surname></persName></author></analytic><monogr><title level="m">6th International Joint Conference on Autonomous Agents and Multiagent Systems</title><meeting><address><addrLine>Honolulu , Hawaii, USA, IFAAMAS</addrLine></address></meeting><imprint><date type="published" when="2007-03-14"></date></imprint></monogr></biblStruct><biblStruct xml:id="b224"><analytic><title level="a" type="main">A formal framework for interactive agents</title><author><persName><forename type="first">C</forename><forename type="middle">L</forename><surname>Talcott</surname></persName></author></analytic><monogr><title level="j">Electron. Notes Theor. Comput. Sci</title><imprint><biblScope unit="volume">203</biblScope><biblScope unit="issue">3</biblScope><biblScope unit="page" from="95" to="106"></biblScope><date type="published" when="2008"></date></imprint></monogr></biblStruct><biblStruct xml:id="b225"><analytic><title level="a" type="main">Specifying protocols for multi-agent systems interaction</title><author><persName><forename type="first">S</forename><surname>Poslad</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Auton. Adapt. Syst</title><imprint><biblScope unit="volume">2</biblScope><biblScope unit="issue">4</biblScope><biblScope unit="page">15</biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b226"><analytic><title level="a" type="main">High variability design for software agents: Extending tropos</title><author><persName><forename type="first">L</forename><surname>Penserini</surname></persName></author><author><persName><forename type="first">A</forename><surname>Perini</surname></persName></author><author><persName><forename type="first">A</forename><surname>Susi</surname></persName></author><author><persName><forename type="first">J</forename><surname>Mylopoulos</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Auton. Adapt. Syst</title><imprint><biblScope unit="volume">2</biblScope><biblScope unit="issue">4</biblScope><biblScope unit="page">16</biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b227"><analytic><title level="a" type="main">Modelling Security and Trust with Secure Tropos Integrating Security and Software Engineering: Advances and Future Vision</title><author><persName><forename type="first">P</forename><surname>Giorgini</surname></persName></author><author><persName><forename type="first">H</forename><surname>Mouratidis</surname></persName></author><author><persName><forename type="first">N</forename><surname>Zannone</surname></persName></author></analytic><monogr><title level="j">Idea Group</title><editor>Mouratidis, H., Giorgini, P.</editor><imprint><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b228"><monogr><title level="m" type="main">Web Services: Concepts, Architectures and Applications</title><author><persName><forename type="first">G</forename><surname>Alonso</surname></persName></author><author><persName><forename type="first">F</forename><surname>Casati</surname></persName></author><author><persName><forename type="first">H</forename><surname>Kuno</surname></persName></author><author><persName><forename type="first">V</forename><surname>Machiraju</surname></persName></author><imprint><date type="published" when="2004"></date><publisher>Springer</publisher><pubPlace>Heidelberg</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b229"><analytic><title level="a" type="main">A framework for web service negotiation</title><author><persName><forename type="first">S</forename><surname>Paurobally</surname></persName></author><author><persName><forename type="first">V</forename><surname>Tamma</surname></persName></author><author><persName><forename type="first">M</forename><surname>Wooldrdige</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Auton. Adapt. Syst</title><imprint><biblScope unit="volume">2</biblScope><biblScope unit="issue">4</biblScope><biblScope unit="page">14</biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b230"><analytic><title level="a" type="main">Choreography and Orchestration: a synergic approach for system design</title><author><persName><forename type="first">N</forename><surname>Busi</surname></persName></author><author><persName><forename type="first">R</forename><surname>Gorrieri</surname></persName></author><author><persName><forename type="first">C</forename><surname>Guidi</surname></persName></author><author><persName><forename type="first">R</forename><surname>Lucchi</surname></persName></author><author><persName><forename type="first">G</forename><surname>Zavattaro</surname></persName></author></analytic><monogr><title level="m">ICSOC 2005</title><editor>Benatallah, B., Casati, F., Traverso, P.</editor><meeting><address><addrLine>Heidelberg</addrLine></address></meeting><imprint><publisher>Springer</publisher><date type="published" when="2005"></date><biblScope unit="page" from="228" to="240"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b231"><analytic><title level="a" type="main">Ws-engineer: A tool for model-based verification of web service compositions and choreography</title><author><persName><forename type="first">H</forename><surname>Foster</surname></persName></author><author><persName><forename type="first">S</forename><surname>Uchitel</surname></persName></author><author><persName><forename type="first">J</forename><surname>Kramer</surname></persName></author><author><persName><forename type="first">J</forename><surname>Magee</surname></persName></author></analytic><monogr><title level="m">IEEE International Conference on Software Engineering</title><meeting><address><addrLine>Shanghai, China</addrLine></address></meeting><imprint><date type="published" when="2006-03"></date></imprint></monogr></biblStruct><biblStruct xml:id="b232"><analytic><title level="a" type="main">Web-site of the NESSI technology platform</title><author><persName><forename type="first">F</forename><surname>Van Breugel</surname></persName></author><author><persName><forename type="first">M</forename><surname>Koshkina</surname></persName></author></analytic><monogr><title level="m">Models and verification of BPEL</title><imprint><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b233"><analytic><title level="a" type="main">CASCADAS project: Web site of the CASCADAS project (last accessed: 2008- 06-19), http://www.cascadas-project.org/ 289. ONTOGRID project: Web site of the ONTOGRID project (last accessed</title></analytic><monogr><title level="j">BIONETS</title><imprint><date type="published" when="2008-06-19"></date></imprint></monogr></biblStruct><biblStruct xml:id="b234"><monogr><title level="m" type="main">SODIUM project: Web site of the SODIUM project (last accessed</title><author><persName><forename type="first">Sims</forename></persName></author><imprint><date type="published" when="2008-06-19"></date></imprint></monogr></biblStruct><biblStruct xml:id="b235"><monogr><title level="m" type="main">Web site of the PLASTIC project (last accessed: 2008-06-19</title><author><persName><forename type="first">Plastic</forename></persName></author><imprint></imprint></monogr></biblStruct><biblStruct xml:id="b236"><monogr><title level="m" type="main">SENSORIA: Software Engineering for Service-Oriented Overlay Computers</title><imprint></imprint></monogr></biblStruct><biblStruct xml:id="b237"><monogr><title level="m" type="main">ASTRO project: Web site of the ASTRO project (last accessed: 2008-06-19 AOSD project: Web site of the AOSD project (last accessed MUSIC project: Web site of the MUSIC project (last accessed: 2008-06-19</title><imprint><date type="published" when="2008-06-19"></date></imprint></monogr></biblStruct><biblStruct xml:id="b238"><monogr><title level="m" type="main">DIP project: Web site of the DIP project (last accessed</title><imprint><date type="published" when="2008-06-19"></date></imprint></monogr></biblStruct><biblStruct xml:id="b239"><analytic><title></title></analytic><monogr><title level="m">WS2 project: Web site of the WS2 project</title><imprint><date type="published" when="2008-06-19"></date></imprint></monogr></biblStruct><biblStruct xml:id="b240"><monogr><title level="m" type="main">S3MS project: Web site of the S3MS project (last accessed: 2008-06-19</title><imprint><date type="published" when="2008-06-19"></date></imprint></monogr></biblStruct><biblStruct xml:id="b241"><monogr><title level="m" type="main">Web site of the DEDISYS project (last accessed: 2008-06-19</title><author><persName><forename type="first">Dedisys</forename></persName></author><imprint></imprint></monogr></biblStruct><biblStruct xml:id="b242"><monogr><title level="m" type="main">At your service: An overview of results of projects in the field of service engineering of the IST programme</title><author><persName><forename type="first">E</forename><surname>Di Nitto</surname></persName></author><author><persName><forename type="first">P</forename><surname>Traverso</surname></persName></author><author><persName><forename type="first">A</forename><forename type="middle">M</forename><surname>Sassen</surname></persName></author><author><persName><forename type="first">A</forename><surname>Zwegers</surname></persName></author><imprint><date type="published" when="2008"></date><publisher>MIT Press</publisher><pubPlace>Cambridge</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b243"><monogr><title level="m" type="main">Aspect-oriented programming</title><author><persName><forename type="first">G</forename><surname>Kiczales</surname></persName></author><author><persName><forename type="first">J</forename><surname>Lamping</surname></persName></author><author><persName><forename type="first">A</forename><surname>Mendhekar</surname></persName></author><author><persName><forename type="first">C</forename><surname>Maeda</surname></persName></author><author><persName><forename type="first">C</forename><forename type="middle">V</forename><surname>Lopes</surname></persName></author><author><persName><forename type="first">J</forename><forename type="middle">M</forename><surname>Loingtier</surname></persName></author><author><persName><forename type="first">J</forename><surname>Irwin</surname></persName></author><editor>Aksit, M., Matsuoka, S.</editor><imprint><date type="published" when="1997"></date><publisher>Springer</publisher><biblScope unit="page" from="220" to="242"></biblScope><pubPlace>Heidelberg</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b244"><analytic><title level="a" type="main">Aspect-oriented programming: Introduction</title><author><persName><forename type="first">T</forename><surname>Elrad</surname></persName></author><author><persName><forename type="first">R</forename><forename type="middle">E</forename><surname>Filman</surname></persName></author><author><persName><forename type="first">A</forename><surname>Bader</surname></persName></author></analytic><monogr><title level="j">Commun. ACM</title><imprint><biblScope unit="volume">44</biblScope><biblScope unit="issue">10</biblScope><biblScope unit="page" from="29" to="32"></biblScope><date type="published" when="2001"></date></imprint></monogr></biblStruct><biblStruct xml:id="b245"><analytic><title level="a" type="main">Discussing aspects of aop</title><author><persName><forename type="first">T</forename><surname>Elrad</surname></persName></author><author><persName><forename type="first">M</forename><surname>Aksit</surname></persName></author><author><persName><forename type="first">G</forename><surname>Kiczales</surname></persName></author><author><persName><forename type="first">K</forename><surname>Lieberherr</surname></persName></author><author><persName><forename type="first">H</forename><surname>Ossher</surname></persName></author></analytic><monogr><title level="j">Commun. ACM</title><imprint><biblScope unit="volume">44</biblScope><biblScope unit="issue">10</biblScope><biblScope unit="page" from="33" to="38"></biblScope><date type="published" when="2001"></date></imprint></monogr></biblStruct><biblStruct xml:id="b246"><monogr><title level="m" type="main">An overview of AspectJ</title><author><persName><forename type="first">G</forename><surname>Kiczales</surname></persName></author><author><persName><forename type="first">E</forename><surname>Hilsdale</surname></persName></author><author><persName><forename type="first">J</forename><surname>Hugunin</surname></persName></author><author><persName><forename type="first">M</forename><surname>Kersten</surname></persName></author><author><persName><forename type="first">J</forename><surname>Palm</surname></persName></author><author><persName><forename type="first">W</forename><forename type="middle">G</forename><surname>Griswold</surname></persName></author><editor>Knudsen, J.L.</editor><imprint><date type="published" when="2001"></date><publisher>Springer</publisher><biblScope unit="page" from="327" to="353"></biblScope><pubPlace>Heidelberg</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b247"><analytic><title level="a" type="main">Aspect-oriented programming with adaptive methods</title><author><persName><forename type="first">K</forename><surname>Lieberherr</surname></persName></author><author><persName><forename type="first">D</forename><surname>Orleans</surname></persName></author><author><persName><forename type="first">J</forename><surname>Ovlinger</surname></persName></author></analytic><monogr><title level="j">Commun. ACM</title><imprint><biblScope unit="volume">44</biblScope><biblScope unit="issue">10</biblScope><biblScope unit="page" from="39" to="41"></biblScope><date type="published" when="2001"></date></imprint></monogr></biblStruct><biblStruct xml:id="b248"><analytic><title level="a" type="main">Composing crosscutting concerns using composition filters</title><author><persName><forename type="first">L</forename><surname>Bergmans</surname></persName></author><author><persName><forename type="first">M</forename><surname>Aksit</surname></persName></author></analytic><monogr><title level="j">Commun. ACM</title><imprint><biblScope unit="volume">44</biblScope><biblScope unit="issue">10</biblScope><biblScope unit="page" from="51" to="57"></biblScope><date type="published" when="2001"></date></imprint></monogr></biblStruct><biblStruct xml:id="b249"><monogr><title level="m" type="main">An object-oriented language-database integration model: The composition-filters approach</title><author><persName><forename type="first">M</forename><surname>Aksit</surname></persName></author><author><persName><forename type="first">L</forename><surname>Bergmans</surname></persName></author><author><persName><forename type="first">S</forename><surname>Vural</surname></persName></author><editor>Lehrmann Madsen, O.</editor><imprint><date type="published" when="1992"></date><publisher>Springer</publisher><biblScope unit="page" from="372" to="395"></biblScope><pubPlace>Heidelberg</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b250"><analytic><title level="a" type="main">Using multidimensional separation of concerns to (re)shape evolving software</title><author><persName><forename type="first">H</forename><surname>Ossher</surname></persName></author><author><persName><forename type="first">P</forename><surname>Tarr</surname></persName></author></analytic><monogr><title level="j">Commun. ACM</title><imprint><biblScope unit="volume">44</biblScope><biblScope unit="issue">10</biblScope><biblScope unit="page" from="43" to="50"></biblScope><date type="published" when="2001"></date></imprint></monogr></biblStruct><biblStruct xml:id="b251"><analytic><title level="a" type="main">N degrees of separation: multi-dimensional separation of concerns Reflection and semantics in lisp</title><author><persName><forename type="first">P</forename><surname>Tarr</surname></persName></author><author><persName><forename type="first">H</forename><surname>Ossher</surname></persName></author><author><persName><forename type="first">W</forename><surname>Harrison</surname></persName></author><author><persName><forename type="first">M</forename><surname>Stanley</surname></persName></author><author><persName><forename type="first">J</forename><surname>Sutton</surname></persName></author></analytic><monogr><title level="m">ICSE 1999: Proceedings of the 21st international conference on Software engineering MODELS 2007 POPL 1984: Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages</title><editor>Engels, G., Opdyke, B., Schmidt, D.C., Weil, F.</editor><meeting><address><addrLine>Los Alamitos ; Heidelberg ; Smith, B.C ; New York</addrLine></address></meeting><imprint><publisher>IEEE Computer Society Press Springer ACM</publisher><date type="published" when="1984"></date><biblScope unit="page" from="107" to="119"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b252"><analytic><title level="a" type="main">Concepts and experiments in computational reflection</title><author><persName><forename type="first">P</forename><surname>Maes</surname></persName></author></analytic><monogr><title level="j">SIGPLAN Not</title><imprint><biblScope unit="volume">22</biblScope><biblScope unit="issue">12</biblScope><biblScope unit="page" from="147" to="155"></biblScope><date type="published" when="1987"></date></imprint></monogr></biblStruct><biblStruct xml:id="b253"><monogr><title level="m" type="main">The Art of the Metaobject Protocol</title><author><persName><forename type="first">G</forename><surname>Kiczales</surname></persName></author><author><persName><forename type="first">J</forename><surname>Desrivì Eres</surname></persName></author><author><persName><forename type="first">D</forename><forename type="middle">G</forename><surname>Bobrow</surname></persName></author><imprint><date type="published" when="1991"></date><publisher>MIT Press</publisher><pubPlace>Cambridge</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b254"><analytic><title level="a" type="main">Aspect-oriented programming using reflection and metaobject protocols</title><author><persName><forename type="first">G</forename><forename type="middle">T</forename><surname>Sullivan</surname></persName></author></analytic><monogr><title level="j">Commun. ACM</title><imprint><biblScope unit="volume">44</biblScope><biblScope unit="issue">10</biblScope><biblScope unit="page" from="95" to="97"></biblScope><date type="published" when="2001"></date></imprint></monogr></biblStruct><biblStruct xml:id="b255"><monogr><title level="m" type="main">Dynamic partial evaluation</title><author><persName><forename type="first">G</forename><forename type="middle">T</forename><surname>Sullivan</surname></persName></author><editor>Danvy, O., Filinski, A.</editor><imprint><date type="published" when="2001"></date><publisher>Springer</publisher><biblScope unit="page" from="238" to="256"></biblScope><pubPlace>Heidelberg</pubPlace></imprint></monogr></biblStruct><biblStruct xml:id="b256"><analytic><title level="a" type="main">Reflective layer activation in contextl</title><author><persName><forename type="first">P</forename><surname>Costanza</surname></persName></author><author><persName><forename type="first">R</forename><surname>Hirschfeld</surname></persName></author></analytic><monogr><title level="m">SAC 2007</title><meeting><address><addrLine>New York</addrLine></address></meeting><imprint><publisher>ACM</publisher><date type="published" when="2007"></date><biblScope unit="page" from="1280" to="1285"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b257"><analytic><title level="a" type="main">Language constructs for context-oriented programming: an overview of contextl</title><author><persName><forename type="first">P</forename><surname>Costanza</surname></persName></author><author><persName><forename type="first">R</forename><surname>Hirschfeld</surname></persName></author></analytic><monogr><title level="m">DLS 2005: Proceedings of the 2005 symposium on Dynamic languages</title><meeting><address><addrLine>New York</addrLine></address></meeting><imprint><publisher>ACM</publisher><date type="published" when="2005"></date><biblScope unit="page" from="1" to="10"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b258"><analytic><title level="a" type="main">Foundations of incremental aspect model-checking</title><author><persName><forename type="first">S</forename><surname>Krishnamurthi</surname></persName></author><author><persName><forename type="first">K</forename><surname>Fisler</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Softw. Eng. Methodol</title><imprint><biblScope unit="volume">16</biblScope><biblScope unit="issue">2</biblScope><biblScope unit="page">7</biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b259"><analytic><title level="a" type="main">Model-integrated development of complex applications</title><author><persName><forename type="first">A</forename><surname>Misra</surname></persName></author><author><persName><forename type="first">G</forename><surname>Karsai</surname></persName></author><author><persName><forename type="first">J</forename><surname>Sztipanovits</surname></persName></author></analytic><monogr><title level="m">SAST 1997: Proceedings of the 5th International Symposium on Assessment of Software Tools (SAST 1997)</title><meeting><address><addrLine>Washington, DC, USA ; Los Alamitos</addrLine></address></meeting><imprint><publisher>IEEE Computer Society Press</publisher><date type="published" when="1997"></date><biblScope unit="page">14</biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b260"><analytic><title level="a" type="main">The model-integrated computing toolsuite: Metaprogrammable tools for embedded control system design</title><author><persName><forename type="first">G</forename><surname>Karsai</surname></persName></author><author><persName><forename type="first">A</forename><surname>Ledeczi</surname></persName></author><author><persName><forename type="first">S</forename><surname>Neema</surname></persName></author><author><persName><forename type="first">J</forename><surname>Sztipanovits</surname></persName></author></analytic><monogr><title level="m">Proc. of the IEEE Joint Conference CCA</title><meeting>. of the IEEE Joint Conference CCA<address><addrLine>Munich, Germany</addrLine></address></meeting><imprint><date type="published" when="2006-10"></date><biblScope unit="page" from="50" to="55"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b261"><analytic><title level="a" type="main">Viewpoints: a framework for integrating multiple perspectives in system development</title><author><persName><forename type="first">A</forename><surname>Finkelstein</surname></persName></author><author><persName><forename type="first">J</forename><surname>Kramer</surname></persName></author><author><persName><forename type="first">B</forename><surname>Nuseibeh</surname></persName></author><author><persName><forename type="first">L</forename><surname>Finkelstein</surname></persName></author><author><persName><forename type="first">M</forename><surname>Goedicke</surname></persName></author></analytic><monogr><title level="j">International Journal of Software Engineering and Knowledge Engineering</title><imprint><biblScope unit="volume">2</biblScope><biblScope unit="issue">1</biblScope><biblScope unit="page" from="31" to="57"></biblScope><date type="published" when="1992"></date></imprint></monogr></biblStruct><biblStruct xml:id="b262"><analytic><title level="a" type="main">Relating viewpoints</title><author><persName><forename type="first">A</forename><surname>Finkelstein</surname></persName></author></analytic><monogr><title level="m">ACM SIGSOFT 1996 Workshop -Viewpoints 1996</title><meeting><address><addrLine>New York</addrLine></address></meeting><imprint><publisher>ACM Press</publisher><date type="published" when="1996"></date><biblScope unit="page">157</biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b263"><analytic><title level="a" type="main">Modeling traceability of concerns in architectural views</title><author><persName><forename type="first">B</forename><surname>Tekinerdogan</surname></persName></author><author><persName><forename type="first">C</forename><surname>Hofmann</surname></persName></author><author><persName><forename type="first">M</forename><surname>Aksit</surname></persName></author></analytic><monogr><title level="m">AOM 2007: Proceedings of the 10th international workshop on Aspect-oriented modeling</title><meeting><address><addrLine>New York</addrLine></address></meeting><imprint><publisher>ACM</publisher><date type="published" when="2007"></date><biblScope unit="page" from="49" to="56"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b264"><monogr><title level="m" type="main">Programming in Scala: A comprehensive step-by-step guide PrePrint Edition Version 4. Artima Developer F#: A succinct, type-inferred, expressive, efficient functional and object-oriented language for the .net platform</title><author><persName><forename type="first">M</forename><surname>Odersky</surname></persName></author><author><persName><forename type="first">L</forename><surname>Spoon</surname></persName></author><author><persName><forename type="first">B</forename><surname>Venners</surname></persName></author><imprint><date type="published" when="2008-08"></date><biblScope unit="page" from="2008" to="09"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b265"><analytic><title level="a" type="main">When and how to develop domain-specific languages</title><author><persName><forename type="first">M</forename><surname>Mernik</surname></persName></author><author><persName><forename type="first">J</forename><surname>Heering</surname></persName></author><author><persName><forename type="first">A</forename><forename type="middle">M</forename><surname>Sloane</surname></persName></author></analytic><monogr><title level="j">ACM Comput. Surv</title><imprint><biblScope unit="volume">37</biblScope><biblScope unit="issue">4</biblScope><biblScope unit="page" from="316" to="344"></biblScope><date type="published" when="2005"></date></imprint></monogr></biblStruct><biblStruct xml:id="b266"><analytic><title level="a" type="main">Representing concerns in source code</title><author><persName><forename type="first">M</forename><forename type="middle">P</forename><surname>Robillard</surname></persName></author><author><persName><forename type="first">G</forename><forename type="middle">C</forename><surname>Murphy</surname></persName></author></analytic><monogr><title level="j">ACM Trans. Softw. Eng. Methodol</title><imprint><biblScope unit="volume">16</biblScope><biblScope unit="issue">1</biblScope><biblScope unit="page">3</biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b267"><analytic><title level="a" type="main">Realtime garbage collection</title><author><persName><forename type="first">D</forename><forename type="middle">F</forename><surname>Bacon</surname></persName></author></analytic><monogr><title level="j">Queue</title><imprint><biblScope unit="volume">5</biblScope><biblScope unit="issue">1</biblScope><biblScope unit="page" from="40" to="49"></biblScope><date type="published" when="2007"></date></imprint></monogr></biblStruct><biblStruct xml:id="b268"><monogr><title level="m" type="main">Declarative programming for modular robots</title><author><persName><forename type="first">M</forename><forename type="middle">P</forename><surname>Ashley-Rollman</surname></persName></author><author><persName><forename type="first">De</forename><surname>Rosa</surname></persName></author><author><persName><forename type="first">M</forename><surname>Srinivasa</surname></persName></author><author><persName><forename type="first">S</forename><forename type="middle">S</forename><surname>Pillai</surname></persName></author><author><persName><forename type="first">P</forename><surname>Goldstein</surname></persName></author><author><persName><forename type="first">S</forename><forename type="middle">C</forename><surname>Campbell</surname></persName></author><author><persName><forename type="first">J</forename><forename type="middle">D</forename></persName></author><imprint><date type="published" when="2007-10"></date></imprint></monogr></biblStruct><biblStruct xml:id="b269"><analytic><title level="a" type="main">Meld: A declarative approach to programming ensembles</title><author><persName><forename type="first">M</forename><forename type="middle">P</forename><surname>Ashley-Rollman</surname></persName></author><author><persName><forename type="first">S</forename><forename type="middle">C</forename><surname>Goldstein</surname></persName></author><author><persName><forename type="first">P</forename><surname>Lee</surname></persName></author><author><persName><forename type="first">T</forename><forename type="middle">C</forename><surname>Mowry</surname></persName></author><author><persName><forename type="first">P</forename><surname>Pillai</surname></persName></author></analytic><monogr><title level="m">Proceedings of the IEEE International Conference on Intelligent Robots and Systems IROS 2007</title><meeting>the IEEE International Conference on Intelligent Robots and Systems IROS 2007</meeting><imprint><date type="published" when="2007-10"></date></imprint></monogr></biblStruct><biblStruct xml:id="b270"><monogr><title level="m" type="main">Concurrent Programming in Erlang</title><author><persName><forename type="first">J</forename><surname>Armstrong</surname></persName></author><author><persName><forename type="first">R</forename><surname>Virding</surname></persName></author><author><persName><forename type="first">C</forename><surname>Wikström</surname></persName></author><author><persName><forename type="first">M</forename><surname>Williams</surname></persName></author><imprint><date type="published" when="1996"></date><publisher>Prentice Hall</publisher><pubPlace>Englewood Cliffs</pubPlace></imprint></monogr><note>2nd. edn</note></biblStruct></listBibl></back></text></istex:refBibTEI></enrichments></istex></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Ticri/CIDE/explor/HapticV1/Data/Istex/Corpus
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 003A72 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Istex/Corpus/biblio.hfd -nk 003A72 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Ticri/CIDE
|area= HapticV1
|flux= Istex
|étape= Corpus
|type= RBID
|clé= ISTEX:E11ACF7DE9BCE7FCE017AB97D2DFAB71791595E3
|texte= Engineering of Software-Intensive Systems: State of the Art and Research Challenges
}}
| This area was generated with Dilib version V0.6.23. |  |