{"id":"https://openalex.org/W2108172737","doi":"https://doi.org/10.1109/iwsoc.2003.1213031","title":"Java based co-verification of expedited mobile device collaboration using observability","display_name":"Java based co-verification of expedited mobile device collaboration using observability","publication_year":2004,"publication_date":"2004-03-01","ids":{"openalex":"https://openalex.org/W2108172737","doi":"https://doi.org/10.1109/iwsoc.2003.1213031","mag":"2108172737"},"language":"en","primary_location":{"id":"doi:10.1109/iwsoc.2003.1213031","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iwsoc.2003.1213031","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The 3rd IEEE International Workshop on System-on-Chip for Real-Time Applications, 2003. Proceedings.","raw_type":"proceedings-article"},"type":"conference-paper","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/A5007229991","display_name":"Sherif G. Aly","orcid":"https://orcid.org/0000-0002-1091-8312"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"S.G. Aly","raw_affiliation_strings":["General Dynamics, Cairo, Egypt"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"General Dynamics, Cairo, Egypt","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045345296","display_name":"Ashraf Salem","orcid":"https://orcid.org/0000-0002-7971-1707"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"A.M. Salem","raw_affiliation_strings":["Mentor Graphics Egypt, Cairo, Egypt"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mentor Graphics Egypt, Cairo, Egypt","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.1297574,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"181","last_page":"184"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.8495035171508789},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.8242214918136597},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.5252244472503662},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.49119827151298523},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.47367411851882935},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.47085779905319214},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.46344923973083496},{"id":"https://openalex.org/keywords/java-concurrency","display_name":"Java concurrency","score":0.46195435523986816},{"id":"https://openalex.org/keywords/strictfp","display_name":"strictfp","score":0.44449812173843384},{"id":"https://openalex.org/keywords/real-time-java","display_name":"Real time Java","score":0.43802303075790405},{"id":"https://openalex.org/keywords/embedded-java","display_name":"Embedded Java","score":0.43539977073669434},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.4276093542575836}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8495035171508789},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.8242214918136597},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.5252244472503662},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.49119827151298523},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.47367411851882935},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.47085779905319214},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.46344923973083496},{"id":"https://openalex.org/C181907185","wikidata":"https://www.wikidata.org/wiki/Q1100098","display_name":"Java concurrency","level":4,"score":0.46195435523986816},{"id":"https://openalex.org/C174954855","wikidata":"https://www.wikidata.org/wiki/Q7623626","display_name":"strictfp","level":4,"score":0.44449812173843384},{"id":"https://openalex.org/C132106392","wikidata":"https://www.wikidata.org/wiki/Q1373903","display_name":"Real time Java","level":3,"score":0.43802303075790405},{"id":"https://openalex.org/C175224512","wikidata":"https://www.wikidata.org/wiki/Q1334980","display_name":"Embedded Java","level":5,"score":0.43539977073669434},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.4276093542575836},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iwsoc.2003.1213031","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iwsoc.2003.1213031","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The 3rd IEEE International Workshop on System-on-Chip for Real-Time Applications, 2003. Proceedings.","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W152439078","https://openalex.org/W1481993566","https://openalex.org/W1644882639","https://openalex.org/W1994158727","https://openalex.org/W2037800158","https://openalex.org/W2064152568","https://openalex.org/W2094246212","https://openalex.org/W2104025437","https://openalex.org/W2130882413","https://openalex.org/W2163454430","https://openalex.org/W3141626855"],"related_works":["https://openalex.org/W1780290295","https://openalex.org/W2121819567","https://openalex.org/W1553103764","https://openalex.org/W2360912707","https://openalex.org/W2098862077","https://openalex.org/W2003350512","https://openalex.org/W1576585645","https://openalex.org/W1977519484","https://openalex.org/W4251726798","https://openalex.org/W4255458470"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"an":[3,58],"architecture":[4],"of":[5,39,73],"a":[6,42,46,53],"Java":[7,43,47],"based":[8,48],"co-verification":[9],"environment":[10],"is":[11],"proposed.":[12],"A":[13,61],"clock,":[14],"memory,":[15],"and":[16,57],"bus":[17,49],"have":[18],"been":[19,30,67],"modeled":[20,31],"using":[21,32],"the":[22,71],"model-view":[23],"paradigm.":[24],"Furthermore,":[25],"mobile":[26],"device":[27],"collaboration":[28,54],"has":[29,66],"communicating":[33],"threads.":[34],"The":[35],"proposed":[36],"model":[37,51,56],"consists":[38],"four":[40],"components:":[41],"Virtual":[44],"Machine,":[45],"functional":[50],"(JBFM),":[52],"protocol":[55],"API":[59],"interface.":[60],"simple":[62],"image":[63],"processing":[64],"operation":[65],"used":[68],"to":[69],"demonstrate":[70],"applicability":[72],"our":[74],"approach.":[75]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}