{"id":"https://openalex.org/W2067731466","doi":"https://doi.org/10.1145/1298126.1298168","title":"On modeling for pervasive computing environments","display_name":"On modeling for pervasive computing environments","publication_year":2007,"publication_date":"2007-10-23","ids":{"openalex":"https://openalex.org/W2067731466","doi":"https://doi.org/10.1145/1298126.1298168","mag":"2067731466"},"language":"en","primary_location":{"id":"doi:10.1145/1298126.1298168","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1298126.1298168","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 10th ACM Symposium on Modeling, analysis, and simulation of wireless and mobile systems","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/A5028073606","display_name":"Rodrigo Campiolo","orcid":"https://orcid.org/0000-0001-7160-7262"},"institutions":[{"id":"https://openalex.org/I4210123045","display_name":"Universidade de Rio Verde","ror":"https://ror.org/02ns6se93","country_code":"BR","type":"education","lineage":["https://openalex.org/I4210123045"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Rodrigo Campiolo","raw_affiliation_strings":["University of Rio Verde, Rio Verde, Brazil"],"affiliations":[{"raw_affiliation_string":"University of Rio Verde, Rio Verde, Brazil","institution_ids":["https://openalex.org/I4210123045"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022794926","display_name":"Vivian Cremer","orcid":null},"institutions":[{"id":"https://openalex.org/I4104125","display_name":"Universidade Federal de Santa Catarina","ror":"https://ror.org/041akq887","country_code":"BR","type":"education","lineage":["https://openalex.org/I4104125"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Vivian Cremer","raw_affiliation_strings":["Federal University of Santa Catarina, Florian\u00f3polis, Brazil"],"affiliations":[{"raw_affiliation_string":"Federal University of Santa Catarina, Florian\u00f3polis, Brazil","institution_ids":["https://openalex.org/I4104125"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080708691","display_name":"Jo\u00e3o Bosco Mangueira Sobral","orcid":"https://orcid.org/0000-0002-8714-5434"},"institutions":[{"id":"https://openalex.org/I4104125","display_name":"Universidade Federal de Santa Catarina","ror":"https://ror.org/041akq887","country_code":"BR","type":"education","lineage":["https://openalex.org/I4104125"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Jo\u00e3o Bosco Mangueira Sobral","raw_affiliation_strings":["Federal University of Santa Catarina, Florian\u00f3polis, Brazil"],"affiliations":[{"raw_affiliation_string":"Federal University of Santa Catarina, Florian\u00f3polis, Brazil","institution_ids":["https://openalex.org/I4104125"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5028073606"],"corresponding_institution_ids":["https://openalex.org/I4210123045"],"apc_list":null,"apc_paid":null,"fwci":0.6492,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.71601407,"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":"240","last_page":"243"},"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.9997000098228455,"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.9997000098228455,"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.9869999885559082,"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/T12203","display_name":"Mobile Agent-Based Network Management","score":0.984499990940094,"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.843730092048645},{"id":"https://openalex.org/keywords/ubiquitous-computing","display_name":"Ubiquitous computing","score":0.7818005084991455},{"id":"https://openalex.org/keywords/modeling-language","display_name":"Modeling language","score":0.5544101595878601},{"id":"https://openalex.org/keywords/context-aware-pervasive-systems","display_name":"Context-aware pervasive systems","score":0.4909723103046417},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4664454162120819},{"id":"https://openalex.org/keywords/object-oriented-modeling","display_name":"Object-oriented modeling","score":0.4641866087913513},{"id":"https://openalex.org/keywords/object-oriented-programming","display_name":"Object-oriented programming","score":0.45455917716026306},{"id":"https://openalex.org/keywords/modeling-and-simulation","display_name":"Modeling and simulation","score":0.44095516204833984},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.434232622385025},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4285608232021332},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.413227379322052},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2948604226112366},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.15286558866500854},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.12754645943641663}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.843730092048645},{"id":"https://openalex.org/C172195944","wikidata":"https://www.wikidata.org/wiki/Q541265","display_name":"Ubiquitous computing","level":2,"score":0.7818005084991455},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.5544101595878601},{"id":"https://openalex.org/C48052980","wikidata":"https://www.wikidata.org/wiki/Q4231629","display_name":"Context-aware pervasive systems","level":3,"score":0.4909723103046417},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4664454162120819},{"id":"https://openalex.org/C2780966626","wikidata":"https://www.wikidata.org/wiki/Q11292308","display_name":"Object-oriented modeling","level":3,"score":0.4641866087913513},{"id":"https://openalex.org/C73752529","wikidata":"https://www.wikidata.org/wiki/Q79872","display_name":"Object-oriented programming","level":2,"score":0.45455917716026306},{"id":"https://openalex.org/C167343916","wikidata":"https://www.wikidata.org/wiki/Q6888384","display_name":"Modeling and simulation","level":2,"score":0.44095516204833984},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.434232622385025},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4285608232021332},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.413227379322052},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2948604226112366},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.15286558866500854},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.12754645943641663}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1298126.1298168","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1298126.1298168","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 10th ACM Symposium on Modeling, analysis, and simulation of wireless and mobile systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Life in Land","id":"https://metadata.un.org/sdg/15","score":0.5799999833106995}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321091","display_name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior","ror":"https://ror.org/00x0ma614"},{"id":"https://openalex.org/F4320324147","display_name":"Universidade Federal de Santa Catarina","ror":"https://ror.org/041akq887"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W1539259921","https://openalex.org/W1601093257","https://openalex.org/W1941994672","https://openalex.org/W2004115349","https://openalex.org/W2084069552","https://openalex.org/W2112358122","https://openalex.org/W2124313270","https://openalex.org/W2146032079","https://openalex.org/W2150388519","https://openalex.org/W2159694746","https://openalex.org/W4236431064"],"related_works":["https://openalex.org/W3199175069","https://openalex.org/W3204384228","https://openalex.org/W4224940935","https://openalex.org/W2354523681","https://openalex.org/W2137634858","https://openalex.org/W2361490015","https://openalex.org/W2113443505","https://openalex.org/W2108096428","https://openalex.org/W3125220686","https://openalex.org/W2007136719"],"abstract_inverted_index":{"Modeling":[0],"ubiquitous":[1,98],"computing":[2,99],"environments":[3,31,50],"are":[4],"complex":[5],"tasks":[6],"due":[7],"to":[8,53,79,89],"heterogeneousness":[9],"and":[10,27,37,42,82,88],"complexity":[11],"of":[12,29,48],"the":[13,39,75,84,91,94],"inherent":[14],"elements":[15],"in":[16,51,96],"such":[17,60],"scenarios.":[18,100],"For":[19],"such,":[20],"a":[21,57,73],"deep":[22],"study":[23],"about":[24],"all":[25],"properties":[26],"features":[28,41],"these":[30,49],"is":[32,64],"needed.":[33],"This":[34],"paper":[35],"specifies":[36],"discusses":[38],"requirements,":[40],"some":[43],"essential":[44],"functions":[45],"for":[46,59,86,93],"modeling":[47,63,87],"order":[52],"we":[54],"can":[55],"build":[56],"simulator":[58],"environments.":[61],"Our":[62],"helped":[65],"by":[66],"object-oriented":[67],"formal":[68],"specification":[69],"language:":[70],"Object-Z.":[71],"As":[72],"consequence,":[74],"model":[76],"provides":[77],"structures":[78],"represent,":[80],"analyze":[81],"discuss":[83],"aspects":[85],"prepare":[90],"way":[92],"simulation":[95],"several":[97]},"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}