DC Field | Value | Language |
---|---|---|
dc.contributor.author | Schmidtke, Hedda R. | ko |
dc.contributor.author | Woo, Woontack | ko |
dc.date.accessioned | 2013-03-08T23:53:31Z | - |
dc.date.available | 2013-03-08T23:53:31Z | - |
dc.date.created | 2012-03-27 | - |
dc.date.created | 2012-03-27 | - |
dc.date.issued | 2009-05 | - |
dc.identifier.citation | LECTURE NOTES IN COMPUTER SCIENCE (INCLUDING SUBSERIES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE AND LECTURE NOTES IN BIOINFORMATICS), v.5538, pp.309 - 326 | - |
dc.identifier.issn | 0302-9743 | - |
dc.identifier.uri | http://hdl.handle.net/10203/94714 | - |
dc.description.abstract | Pervasive computing systems work within, and rely on, a model of the environment they operate in. In this respect, pervasive computing systems differ from other distributed and mobile computing systems, and require new verification methods. A range of methods and tools exist for verifying distributed and mobile concurrent systems, and for checking consistency of ontology-based context models. As a tool for verifying current pervasive computing systems both are not optimal, since the former cover mainly tree-based location models, whereas the latter are not able to address the dynamic aspects of computing systems. We propose to formally describe pervasive computing systems as distributed concurrent systems operating on the background of a mereotopological context model. © Springer-Verlag Berlin Heidelberg 2009. | - |
dc.language | English | - |
dc.publisher | Springer Verlag | - |
dc.title | Towards ontology-based formal verification methods for context aware systems | - |
dc.type | Article | - |
dc.identifier.scopusid | 2-s2.0-67650465747 | - |
dc.type.rims | ART | - |
dc.citation.volume | 5538 | - |
dc.citation.beginningpage | 309 | - |
dc.citation.endingpage | 326 | - |
dc.citation.publicationname | LECTURE NOTES IN COMPUTER SCIENCE (INCLUDING SUBSERIES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE AND LECTURE NOTES IN BIOINFORMATICS) | - |
dc.identifier.doi | 10.1007/978-3-642-01516-8_21 | - |
dc.contributor.localauthor | Woo, Woontack | - |
dc.contributor.nonIdAuthor | Schmidtke, Hedda R. | - |
dc.subject.keywordAuthor | Context modelling | - |
dc.subject.keywordAuthor | Mereotopology | - |
dc.subject.keywordAuthor | Ontologies | - |
dc.subject.keywordAuthor | Program verification | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.