LEADER 03760nam 22007575 450 001 9910983046503321 005 20250626163931.0 010 $a9783031785610 010 $a3031785614 024 7 $a10.1007/978-3-031-78561-0 035 $a(MiAaPQ)EBC31867345 035 $a(Au-PeEL)EBL31867345 035 $a(CKB)37111027500041 035 $a(DE-He213)978-3-031-78561-0 035 $a(OCoLC)1482815036 035 $a(EXLCZ)9937111027500041 100 $a20241230d2025 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aHCI International 2024 ? Late Breaking Posters $e26th International Conference, HCII 2024, Washington, DC, USA, June 29 ? July 4, 2024, Proceedings, Part III /$fedited by Constantine Stephanidis, Margherita Antona, Stavroula Ntoa, Gavriel Salvendy 205 $a1st ed. 2025. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2025. 215 $a1 online resource (363 pages) 225 1 $aCommunications in Computer and Information Science,$x1865-0937 ;$v2321 311 08$a9783031785603 311 08$a3031785606 330 $aThe three-volume set CCIS 2319-2321 constitutes the proceedings of the 26th International Conference on Human-Computer Interaction, HCII 2024, held in Washington, DC, USA, during June 29?July 4, 2024. For the HCII 2024 proceedings, a total of 1271 papers and 309 posters was carefully reviewed and selected from 5108 submissions. Additionally, 222 papers and 104 posters are included in the volumes of the proceedings published after the conference, as ?Late Breaking Work?. The posters presented in these three volumes are organized in the following topical sections: Part I: User Interface and Interaction Design; Usability and User Experience Evaluation; Innovative Technologies and Human-Centered Solutions. Part II: Innovations in Extended Reality; Smart Systems and Intelligent Design; AI and Design for Human-Centric Applications. Part III: Design for Health and Well-being; Advanced Interactive Technologies for Learning; Gaming, Gamification, and Immersive Design; Technology-Enhanced Experiences in Cultural Heritage. 410 0$aCommunications in Computer and Information Science,$x1865-0937 ;$v2321 606 $aUser interfaces (Computer systems) 606 $aHuman-computer interaction 606 $aApplication software 606 $aArtificial intelligence 606 $aComputer networks 606 $aComputer systems 606 $aUser Interfaces and Human Computer Interaction 606 $aComputer and Information Systems Applications 606 $aArtificial Intelligence 606 $aComputer Communication Networks 606 $aComputer System Implementation 615 0$aUser interfaces (Computer systems) 615 0$aHuman-computer interaction. 615 0$aApplication software. 615 0$aArtificial intelligence. 615 0$aComputer networks. 615 0$aComputer systems. 615 14$aUser Interfaces and Human Computer Interaction. 615 24$aComputer and Information Systems Applications. 615 24$aArtificial Intelligence. 615 24$aComputer Communication Networks. 615 24$aComputer System Implementation. 676 $a005.437 676 $a004.019 700 $aStephanidis$b Constantine$0851700 701 $aAntona$b Margherita$01372616 701 $aNtoa$b Stavroula$01372617 701 $aSalvendy$b Gavriel$0108377 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910983046503321 996 $aHCI International 2024 ? Late Breaking Posters$94316008 997 $aUNINA LEADER 06305nam 22008535 450 001 9910483451703321 005 20251226202456.0 010 $a1-280-38706-8 010 $a9786613564986 010 $a3-642-13550-1 024 7 $a10.1007/978-3-642-13550-7 035 $a(CKB)2480000000005674 035 $a(SSID)ssj0000446739 035 $a(PQKBManifestationID)11249952 035 $a(PQKBTitleCode)TC0000446739 035 $a(PQKBWorkID)10497270 035 $a(PQKB)10746140 035 $a(DE-He213)978-3-642-13550-7 035 $a(MiAaPQ)EBC3065400 035 $a(PPN)149063776 035 $a(BIP)30771373 035 $a(EXLCZ)992480000000005674 100 $a20100615d2010 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aReliable Software Technologies - Ada-Europe 2010 $e15th Ada-Europe International Conference on Reliabel Software Technologies, Valencia, Spain, June 14-18, 2010, Proceedings /$fedited by Jorge Real, Tullio Vardanega 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (XII, 277 p. 65 illus.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v6106 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-13549-8 320 $aIncludes bibliographical references and index. 327 $aKeynote Talks -- What to Make of Multicore Processors for Reliable Real-Time Systems? -- Control Co-design: Algorithms and Their Implementation -- Multicores and Ada -- Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada -- Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012 -- Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems -- Software Dependability -- Practical Limits on Software Dependability: A Case Study -- Program Verification in SPARK and ACSL: A Comparative Case Study -- Static Versioning of Global State for Race Condition Detection -- Critical Systems -- Using Hardware Support for Scheduling with Ada -- Cache-Aware Development of High-Integrity Systems -- Preservation of Timing Properties with the Ada Ravenscar Profile -- Real-Time Systems -- Towards the Definition of a Pattern Sequence for Real-Time Applications Using a Model-Driven Engineering Approach -- Scheduling Configuration of Real-Time Component-Based Applications -- The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005 -- Language Technology -- AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005 -- A Comparison of Generic Template Support: Ada, C++, C#, and JavaTM -- Towards Ada 2012: An Interim Report -- Distribution and Persistency -- Managing Transactions in Flexible Distributed Real-Time Systems -- An Efficient Implementation of Persistent Objects. 330 $ath The 15 edition of the International Conference on Reliable Software Te- nologies - Ada-Europe 2010--took place in the attractive venue of Valencia, deservedly making Spain the most visited country in the conference series. P- vious editions of the conference were held in Switzerland (Montreux 1996 and Geneva2007),United Kingdom(London1997andYork2005),Sweden(Uppsala 1998),Spain(Santander 1999andPalmade Mallorca2004),Germany(Potsdam 2000), Belgium (Leuven 2001), Austria (Vienna 2002), France (Toulouse 2003 and Brest 2009), Portugal (Porto 2006), and Italy (Venice 2008). Theconferencerepresentsthe mainyearlyeventpromotedbyAda-Europe,in cooperation with ACM SIGAda. This third visit to Spain acknowledges the fact that Ada-Spainisthe largestnationalassociationof Ada-Europe,andis a major contributor to Ada-Europe's activities. This year the conference was organized by members of the Instituto de Automat ´ ica e Informa ´tica Industrial (AI2) and the Departamento de Inform´ atica de Sistemas y Computadores (DISCA) of the Universidad Polit´ ecnica de Valencia. Theyear2010isimportantforAda:thisistheyearwhenthenewamendment to the language (known as Ada 2012) is taking its de'nitive shape. The conf- ence program was not unaware of this fact, and these proceedings re'ect it by including papers about multicore programming in Ada, along with an overview of the key elements of the Ada 2012 amendment in the making. The scienti'c program of the conference, which feeds these proceedings, also included sessions devoted to software dependability, critical, real-time and d- tributed systems, and language technology, all under the more general heading of "Reliable Software Technologies." This program is the result of a thorough selectionprocessof17submissionsoutof42receivedfromauthorsof19di'erent countries. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v6106 606 $aCompilers (Computer programs) 606 $aSoftware engineering 606 $aComputer networks 606 $aComputer science 606 $aComputer programming 606 $aMachine theory 606 $aCompilers and Interpreters 606 $aSoftware Engineering 606 $aComputer Communication Networks 606 $aComputer Science Logic and Foundations of Programming 606 $aProgramming Techniques 606 $aFormal Languages and Automata Theory 615 0$aCompilers (Computer programs) 615 0$aSoftware engineering. 615 0$aComputer networks. 615 0$aComputer science. 615 0$aComputer programming. 615 0$aMachine theory. 615 14$aCompilers and Interpreters. 615 24$aSoftware Engineering. 615 24$aComputer Communication Networks. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aProgramming Techniques. 615 24$aFormal Languages and Automata Theory. 676 $a005.1/4 701 $aReal$b Jorge$0770088 701 $aVardanega$b T$g(Tullio)$01417637 712 12$aAda-Europe International Conference on Reliable Software Technologies. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483451703321 996 $aReliable software technologies-- Ada-Europe 2010$94189713 997 $aUNINA