LEADER 07248nam 22006615 450 001 996465396003316 005 20240106000524.0 010 $a1-280-30744-7 010 $a9786610307449 010 $a3-540-24686-X 024 7 $a10.1007/b97784 035 $a(CKB)1000000000212375 035 $a(SSID)ssj0000233497 035 $a(PQKBManifestationID)11202499 035 $a(PQKBTitleCode)TC0000233497 035 $a(PQKBWorkID)10233444 035 $a(PQKB)10851993 035 $a(DE-He213)978-3-540-24686-2 035 $a(MiAaPQ)EBC3088233 035 $a(PPN)155200887 035 $a(EXLCZ)991000000000212375 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aReal-Time and Embedded Computing Systems and Applications$b[electronic resource] $e9th International Conference, RTCSA 2003, Tainan, Taiwan, February 18-20, 2003. Revised Papers /$fedited by Jing Chen, Seongsoo Hong 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (XIV, 626 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2968 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-21974-9 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aScheduling -- Scheduling-Aware Real-Time Garbage Collection Using Dual Aperiodic Servers -- On the Composition of Real-Time Schedulers -- An Approximation Algorithm for Broadcast Scheduling in Heterogeneous Clusters -- Scheduling Jobs with Multiple Feasible Intervals -- Deterministic and Statistical Deadline Guarantees for a Mixed Set of Periodic and Aperiodic Tasks -- Real-Time Disk Scheduling with On-Disk Cache Conscious -- Probabilistic Analysis of Multi-processor Scheduling of Tasks with Uncertain Parameters -- Real-Time Virtual Machines for Avionics Software Porting and Development -- Algorithms for Managing QoS for Real-Time Data Services Using Imprecise Computation -- Networking and Communication -- On Soft Real-Time Guarantees on Ethernet -- BondingPlus: Real-Time Message Channel in Linux Ethernet Environment Using Regular Switching Hub -- An Efficient Switch Design for Scheduling Real-Time Multicast Traffic -- Embedded Systems/Environments -- XRTJ: An Extensible Distributed High-Integrity Real-Time Java Environment -- Quasi-Dynamic Scheduling for the Synthesis of Real-Time Embedded Software with Local and Global Deadlines -- Framework-Based Development of Embedded Real-Time Systems -- OVL Assertion-Checking of Embedded Software with Dense-Time Semantics -- Pervasive/Ubiquitous Computing -- System Support for Distributed Augmented Reality in Ubiquitous Computing Environments -- Zero-Stop Authentication: Sensor-Based Real-Time Authentication System -- An Interface-Based Naming System for Ubiquitous Internet Applications -- Systems and Architectures -- Schedulability Analysis in EDF Scheduler with Cache Memories -- Impact of Operating System on Real-Time Main-Memory Database System?s Performance -- The Design of a QoS-Aware MPEG-4 Video System -- Resource Management -- Constrained Energy Allocation for Mixed Hard and Soft Real-Time Tasks -- An Energy-Efficient Route Maintenance Scheme for Ad Hoc Networking Systems -- Resource Reservation and Enforcement for Framebuffer-Based Devices -- File Systems and Databases -- An Efficient B-Tree Layer for Flash-Memory Storage Systems -- Multi-disk Scheduling for High-Performance RAID-0 Devices -- Database Pointers: A Predictable Way of Manipulating Hot Data in Hard Real-Time Systems -- Performance Analysis -- Extracting Temporal Properties from Real-Time Systems by Automatic Tracing Analysis -- Rigorous Modeling of Disk Performance for Real-Time Applications -- Bounding the Execution Times of DMA I/O Tasks on Hard-Real-Time Embedded Systems -- Tools and Development -- Introducing Temporal Analyzability Late in the Lifecycle of Complex Real-Time Systems -- RESS: Real-Time Embedded Software Synthesis and Prototyping Methodology -- Software Platform for Embedded Software Development -- Towards Aspectual Component-Based Development of Real-Time Systems -- Testing of Multi-Tasking Real-Time Systems with Critical Sections -- Symbolic Simulation of Real-Time Concurrent Systems. 330 $aThis volume contains the 37 papers presented at the 9th International Conference on Real-Time and Embedded Computing Systems and Applications (RT- CSA 2003). RTCSA is an international conference organized for scientists and researchers from both academia and industry to hold intensive discussions on advancing technologies topics on real-time systems, embedded systems, ubiquitous/pervasive computing, and related topics. RTCSA 2003 was held at the Department of Electrical Engineering of National Cheng Kung University in Taiwan. Paper submissions were well distributed over the various aspects of real-time computing and embedded system technologies. There were more than 100 participants from all over the world. The papers, including 28 regular papers and 9 short papers are grouped into the categories of scheduling, networking and communication, embedded systems, pervasive/ubiquitous computing, systems and architectures, resource management, ?le systems and databases, performance analysis, and tools and development. The grouping is basically in accordance with the conference program. Earlier versions of these papers were published in the conference proceedings. However, some papers in this volume have been modified or improved by the authors, in various aspects, based on comments and feedback received at the conference. It is our sincere hope that researchers and developers will benefit from these papers. We would like to thank all the authors of the papers for their contribution. We thank the members of the program committee and the reviewers for their excellent work in evaluating the submissions. We are also very grateful to all the members of the organizing committees for their help, guidance and support. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2968 606 $aArchitecture, Computer 606 $aComputer science 606 $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057 606 $aComputer Science, general$3https://scigraph.springernature.com/ontologies/product-market-codes/I00001 615 0$aArchitecture, Computer. 615 0$aComputer science. 615 14$aComputer System Implementation. 615 24$aComputer Science, general. 676 $a004/.33 702 $aChen$b Jing$cPh. D.,$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHong$b Seongsoo$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 02$aLINK (Online service) 712 12$aInternational Conference on Real-Time and Embedded Computing Systems and Applications 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465396003316 996 $aReal-Time and Embedded Computing Systems and Applications$92158508 997 $aUNISA LEADER 04146nam 22006972 450 001 9910815195903321 005 20240314013030.0 010 $a1-107-28958-0 010 $a1-139-89080-8 010 $a1-107-28909-2 010 $a1-316-61938-9 010 $a1-107-29398-7 010 $a1-107-29119-4 010 $a1-107-29014-7 010 $a1-139-08820-3 010 $a1-107-29291-3 035 $a(CKB)2550000001115138 035 $a(EBL)1303639 035 $a(OCoLC)857364827 035 $a(SSID)ssj0000983571 035 $a(PQKBManifestationID)12371792 035 $a(PQKBTitleCode)TC0000983571 035 $a(PQKBWorkID)11011022 035 $a(PQKB)11075995 035 $a(UkCbUP)CR9781139088206 035 $a(Au-PeEL)EBL1303639 035 $a(CaPaEBR)ebr10752978 035 $a(CaONFJC)MIL515440 035 $a(MiAaPQ)EBC1303639 035 $a(EXLCZ)992550000001115138 100 $a20110518d2013|||| uy| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aPractising self-government $ea comparative study of autonomous regions /$fedited by Yash Ghai and Sophia Woodman$b[electronic resource] 205 $a1st ed. 210 1$aCambridge :$cCambridge University Press,$d2013. 215 $a1 online resource (xiv, 501 pages) $cdigital, PDF file(s) 225 1 $aLaw in context 300 $aTitle from publisher's bibliographic system (viewed on 08 Oct 2015). 311 $a1-107-01858-7 311 $a1-299-84189-9 320 $aIncludes bibliographical references and index. 327 $aIntroduction: Nature and origins of autonomy / Yash Ghai -- Seeking autonomy in a decentralised federation : the case of Que?bec / Richard Simeon and Luc Turgeon -- Prosperity and happiness through autonomy : the self-government of the Aland Islands in Finland / Markku Suksi -- Puerto Rico : autonomy or colonial subordination? / Efre?n Rivera-Ramos -- Foundations and institutions of South-Tyrol's autonomy in Italy / Oskar Peterlini -- Kashmir : the vanishing autonomy / Jill Cottrell -- Autonomies of scale : precarious self-government on Norfolk Island / Helen Irving -- The autonomy of Catalonia : the unending search for a place within pluralist Spain / Carlos Flores Juberi?as -- Zanzibar in Tanzania : from sovereign to autonomy? / Yash Ghai -- Defective democracy in a failed state? : bridging constitutional design, politics and ethnic division in Bosnia-Herzegovina / Josef Marko -- Hong Kong's autonomy : dialects of powers and institutions / Yash Ghai -- The autonomy of devolved Scotland / Chris Himsworth -- Macau : transformation of a historic autonomy / Paulo Cardinal -- Autonomy and conflict resolution in Bougainville, Papua New Guinea / Anthony J. Regan -- Comparative perspectives on institutional frameworks for autonomy / Sophia Woodman and Yash Ghai. 330 $aAutonomy provides a framework that allows for regions within countries to exercise self-government beyond the extent available to other sub-state units. This book presents detailed case studies of thirteen such autonomies from around the world, in which noted experts on each outline the constitutional, legal and institutional frameworks as well as how these arrangements have worked in practice to protect minority rights and prevent secession of the territories in question. The volume's editors draw on the case studies to provide a comparative analysis of how autonomy works and the political and institutional conditions under which it is likely to become a workable arrangement for management of the differences that brought it into being. 410 0$aLaw in Context. 606 $aAutonomy$vCase studies 606 $aSelf-determination, National$vCase studies 615 0$aAutonomy 615 0$aSelf-determination, National 676 $a320.1/5 702 $aGhai$b Yash P.$f1938- 702 $aWoodman$b Sophia 801 0$bUkCbUP 801 1$bUkCbUP 906 $aBOOK 912 $a9910815195903321 996 $aPractising self-government$94074241 997 $aUNINA