{"id":"https://openalex.org/W25834915","doi":"https://doi.org/10.3233/978-1-58603-946-2-182","title":"Model Cheking Ambient Intelligence with AVISPA","display_name":"Model Cheking Ambient Intelligence with AVISPA","publication_year":2009,"publication_date":"2009-01-01","ids":{"openalex":"https://openalex.org/W25834915","doi":"https://doi.org/10.3233/978-1-58603-946-2-182","mag":"25834915"},"language":"en","primary_location":{"id":"doi:10.3233/978-1-58603-946-2-182","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-58603-946-2-182","pdf_url":null,"source":{"id":"https://openalex.org/S4210168452","display_name":"Ambient intelligence and smart environments","issn_l":"1875-4163","issn":["1875-4163","1875-4171"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Ambient Intelligence and Smart Environments","raw_type":"book-chapter"},"type":"book-chapter","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/A5116320477","display_name":"Mu ntilde oz Antonio","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Muñoz Antonio","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5116320478","display_name":"Ma ntilde a Antonio","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Maña Antonio","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5116320479","display_name":"Serrano Daniel","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Serrano Daniel","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5116320477"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4158,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.47346392,"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":null,"last_page":null},"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.7376999855041504,"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.7376999855041504,"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/T12205","display_name":"Time Series Analysis and Forecasting","score":0.6926000118255615,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/psychology","display_name":"Psychology","score":0.32046234607696533}],"concepts":[{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.32046234607696533}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/978-1-58603-946-2-182","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-58603-946-2-182","pdf_url":null,"source":{"id":"https://openalex.org/S4210168452","display_name":"Ambient intelligence and smart environments","issn_l":"1875-4163","issn":["1875-4163","1875-4171"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Ambient Intelligence and Smart Environments","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Climate action","id":"https://metadata.un.org/sdg/13","score":0.6700000166893005}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2931662336","https://openalex.org/W2077865380","https://openalex.org/W3006817050","https://openalex.org/W4401768695","https://openalex.org/W2765597752","https://openalex.org/W2134894512","https://openalex.org/W2083375246","https://openalex.org/W2067108088"],"abstract_inverted_index":{"Current":[0],"number":[1,60],"of":[2,24,39,61],"Ambient":[3],"Intelligent":[4],"systems":[5,29],"is":[6,36,43,48],"growning":[7],"steadlily":[8],"in":[9,53],"last":[10],"years.":[11],"Moreover,":[12],"several":[13],"fields":[14],"such":[15],"as":[16,50],"domotic":[17],"and":[18],"remote":[19],"teaching":[20],"are":[21,27],"practical":[22],"applications":[23],"AmI.":[25],"These":[26],"some":[28],"that":[30,35],"interact":[31,56],"with":[32,58],"different":[33,68],"ones,":[34],"the":[37,51,65],"reason":[38],"“AmI":[40],"Ecosystem”":[41],"term":[42],"used.":[44],"An":[45],"AmI":[46],"Ecosystem":[47],"defined":[49],"environment":[52],"which":[54],"users":[55],"transparently":[57],"a":[59],"inter-connected":[62],"devices":[63],"to":[64],"Internet":[66],"through":[67],"telematic":[69],"networks.":[70]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2025-12-28T23:10:05.387466","created_date":"2025-10-10T00:00:00"}