{"id":"https://openalex.org/W2046421206","doi":"https://doi.org/10.1145/1568199.1568206","title":"From model checking to data management in pervasive computing","display_name":"From model checking to data management in pervasive computing","publication_year":2009,"publication_date":"2009-07-13","ids":{"openalex":"https://openalex.org/W2046421206","doi":"https://doi.org/10.1145/1568199.1568206","mag":"2046421206"},"language":"en","primary_location":{"id":"doi:10.1145/1568199.1568206","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1568199.1568206","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2009 international conference on Pervasive services","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5002099404","display_name":"Christian Hoareau","orcid":null},"institutions":[{"id":"https://openalex.org/I200475212","display_name":"The Graduate University for Advanced Studies, SOKENDAI","ror":"https://ror.org/0516ah480","country_code":"JP","type":"education","lineage":["https://openalex.org/I200475212"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Christian Hoareau","raw_affiliation_strings":["The Graduate University for Advanced Studies, Hayama, Japan"],"affiliations":[{"raw_affiliation_string":"The Graduate University for Advanced Studies, Hayama, Japan","institution_ids":["https://openalex.org/I200475212"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5112314291","display_name":"Ichiro Satoh","orcid":null},"institutions":[{"id":"https://openalex.org/I184597095","display_name":"National Institute of Informatics","ror":"https://ror.org/04ksd4g47","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Ichiro Satoh","raw_affiliation_strings":["National Institute of Informatics, Tokyo, Japan","(National Institute of Informatics, Tokyo, Japan)"],"affiliations":[{"raw_affiliation_string":"National Institute of Informatics, Tokyo, Japan","institution_ids":["https://openalex.org/I184597095"]},{"raw_affiliation_string":"(National Institute of Informatics, Tokyo, Japan)","institution_ids":["https://openalex.org/I184597095"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5002099404"],"corresponding_institution_ids":["https://openalex.org/I200475212"],"apc_list":null,"apc_paid":null,"fwci":0.9707,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.77227023,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"41","last_page":"48"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10444","display_name":"Context-Aware Activity Recognition Systems","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10444","display_name":"Context-Aware Activity Recognition Systems","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9919999837875366,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10080","display_name":"Energy Efficient Wireless Sensor Networks","score":0.9914000034332275,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8827928304672241},{"id":"https://openalex.org/keywords/query-language","display_name":"Query language","score":0.7436951398849487},{"id":"https://openalex.org/keywords/query-optimization","display_name":"Query optimization","score":0.5991665720939636},{"id":"https://openalex.org/keywords/query-expansion","display_name":"Query expansion","score":0.5169969797134399},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.46448808908462524},{"id":"https://openalex.org/keywords/ubiquitous-computing","display_name":"Ubiquitous computing","score":0.4403305947780609},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.43874597549438477},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4244816303253174},{"id":"https://openalex.org/keywords/sargable","display_name":"Sargable","score":0.41438522934913635},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.34525448083877563},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.33221372961997986},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3219478130340576},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.3178582787513733},{"id":"https://openalex.org/keywords/web-search-query","display_name":"Web search query","score":0.2725081443786621},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.15936952829360962},{"id":"https://openalex.org/keywords/search-engine","display_name":"Search engine","score":0.10575062036514282}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8827928304672241},{"id":"https://openalex.org/C192028432","wikidata":"https://www.wikidata.org/wiki/Q845739","display_name":"Query language","level":2,"score":0.7436951398849487},{"id":"https://openalex.org/C157692150","wikidata":"https://www.wikidata.org/wiki/Q2919848","display_name":"Query optimization","level":2,"score":0.5991665720939636},{"id":"https://openalex.org/C99016210","wikidata":"https://www.wikidata.org/wiki/Q5488129","display_name":"Query expansion","level":2,"score":0.5169969797134399},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.46448808908462524},{"id":"https://openalex.org/C172195944","wikidata":"https://www.wikidata.org/wiki/Q541265","display_name":"Ubiquitous computing","level":2,"score":0.4403305947780609},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.43874597549438477},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4244816303253174},{"id":"https://openalex.org/C192939062","wikidata":"https://www.wikidata.org/wiki/Q104840822","display_name":"Sargable","level":4,"score":0.41438522934913635},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34525448083877563},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.33221372961997986},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3219478130340576},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.3178582787513733},{"id":"https://openalex.org/C164120249","wikidata":"https://www.wikidata.org/wiki/Q995982","display_name":"Web search query","level":3,"score":0.2725081443786621},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.15936952829360962},{"id":"https://openalex.org/C97854310","wikidata":"https://www.wikidata.org/wiki/Q19541","display_name":"Search engine","level":2,"score":0.10575062036514282},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1568199.1568206","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1568199.1568206","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2009 international conference on Pervasive services","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W125598877","https://openalex.org/W1498432697","https://openalex.org/W1514683648","https://openalex.org/W1525131606","https://openalex.org/W1563590359","https://openalex.org/W1606320148","https://openalex.org/W1858121577","https://openalex.org/W2067224085","https://openalex.org/W2084453634","https://openalex.org/W2100349944","https://openalex.org/W2101391164","https://openalex.org/W2112748528","https://openalex.org/W2114507260","https://openalex.org/W2144726625","https://openalex.org/W2159694746","https://openalex.org/W2166601849","https://openalex.org/W2168394288","https://openalex.org/W2264683053","https://openalex.org/W2295965385","https://openalex.org/W2340735175","https://openalex.org/W6629784141"],"related_works":["https://openalex.org/W2096359267","https://openalex.org/W3125756434","https://openalex.org/W2572349046","https://openalex.org/W2146885082","https://openalex.org/W2392799717","https://openalex.org/W2406556739","https://openalex.org/W1966669067","https://openalex.org/W2017989738","https://openalex.org/W906795786","https://openalex.org/W2395498354"],"abstract_inverted_index":{"This":[0,63],"paper":[1],"presents":[2],"a":[3,29,46,116],"query-processing":[4],"framework":[5,86,161],"for":[6],"location-based":[7],"services.":[8,80],"The":[9,81],"proposed":[10],"approach":[11,112],"aims":[12],"at":[13],"complementing":[14],"existing":[15,167],"context-aware":[16,79],"services":[17,25],"wherein":[18],"locations":[19],"of":[20,33,45,71,78,94,126,159],"people,":[21],"physical":[22],"objects":[23],"and":[24,74,90,139,142,162],"are":[26],"modeled":[27],"in":[28,59],"symbolic":[30],"manner,":[31],"independently":[32],"any":[34,127,133,147],"sensing":[35],"technology.":[36],"To":[37],"deliver":[38],"contextual":[39,100],"information":[40,134,148],"to":[41,53,67,88,97,108,166],"the":[42,55,69,72,76,92,99,124,153,157],"various":[43],"components":[44],"pervasive":[47],"computing":[48],"platform,":[49],"current":[50],"systems":[51],"tend":[52],"query":[54,98,105,118,128],"underlying":[56],"location":[57,169],"models":[58],"an":[60],"ad-hoc":[61],"manner.":[62],"makes":[64],"it":[65],"difficult":[66],"guarantee":[68],"quality":[70],"results,":[73],"hence":[75],"reliability":[77],"main":[82],"idea":[83],"behind":[84],"our":[85,111],"is":[87,113],"apply":[89],"adapt":[91],"principles":[93],"model":[95],"checking":[96],"data":[101],"structures.":[102],"Because":[103],"such":[104],"mechanisms":[106],"have":[107],"be":[109],"sound,":[110],"build":[114],"upon":[115],"logic-based":[117],"language.":[119],"We":[120,155],"therefore":[121],"ensure":[122],"that":[123,135,149],"results":[125],"(i)":[129],"do":[130,144],"not":[131,145,151],"miss":[132],"satisfy":[136,152],"its":[137,164],"necessary":[138],"sufficient":[140],"conditions":[141],"(ii)":[143],"contain":[146],"does":[150],"conditions.":[154],"describe":[156],"implementation":[158],"or":[160],"discuss":[163],"applicability":[165],"graph-based":[168],"models.":[170]},"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}