| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910455171703321 |
|
|
Autore |
Sulmasy Glenn M. <1966-> |
|
|
Titolo |
The national security court system [[electronic resource] ] : a natural evolution of justice in an age of terror / / Glenn Sulmasy |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Oxford ; ; New York, : Oxford University Press, 2009 |
|
|
|
|
|
|
|
ISBN |
|
0-19-988866-3 |
1-282-27075-3 |
9786612270758 |
0-19-970188-1 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (256 p.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Criminal justice, Administration of - United States |
National security - Law and legislation - United States |
Military courts - United States |
Courts-martial and courts of inquiry - United States |
Terrorism - United States - Prevention |
Jurisdiction - United States |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Contents; Introduction; ONE: Military Justice and the Original Intent of Military Commissions; TWO: Military Commissions in U.S. History; THREE: The Second World War Military Commission-Ex Parte Quirin et al.; FOUR: The War on al Qaeda and the Military Order of November 13, 2001; FIVE: Hamdan and the Military Commissions Act of 2006; SIX: The Legal Landscape after Boumediene; SEVEN: The National Security Court System; Conclusion: The Way Ahead; Notes; Index |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Introduction 1. The Original Intent of Military Commissions 2. Military Commissions in U.S. History 3. The Second World War Military Commission - Ex Parte Quirin, et al 4. The War on al Qaeda and the Military Order of November 13, 2001 5. Hamdan and the Military Commissions Act of 2006 6. The Legal Landscape After oumediene 7. The National Security Court System Conclusion |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910483514603321 |
|
|
Titolo |
Software Technologies for Embedded and Ubiquitous Systems : 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008, Revised Papers / / edited by Tony Givargis, Stefano Russo |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2008.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIV, 432 p.) |
|
|
|
|
|
|
Collana |
|
Information Systems and Applications, incl. Internet/Web, and HCI, , 2946-1642 ; ; 5287 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer networks |
Database management |
Computers, Special purpose |
Microcomputers |
Electronic data processing - Management |
Application software |
Computer Communication Networks |
Database Management |
Special Purpose and Application-Based Systems |
Personal Computing |
IT Operations |
Computer and Information Systems Applications |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Model-Driven Development -- Using UML 2.1 to Model Multi-agent Systems -- Designing Fault-Tolerant Component Based Applications with a Model Driven Approach -- Model Based Synthesis of Embedded Software -- Formal Specification of Gateways in Integrated Architectures -- Model-Integrated Development of Cyber-Physical Systems -- Middleware -- Towards a Middleware Approach for a Self-configurable Automotive Embedded System -- Context-Aware Middleware for Reliable Multi-hop Multi-path Connectivity -- Service |
|
|
|
|
|
|
|
|
|
|
|
Orchestration Using the Chemical Metaphor -- Guiding Organic Management in a Service-Oriented Real-Time Middleware Architecture -- Self-describing and Data Propagation Model for Data Distribution Service -- Real Time -- Improving Real-Time Performance of a Virtual Machine Monitor Based System -- A Two-Layered Management Architecture for Building Adaptive Real-Time Systems -- Real-Time Access Guarantees for NAND Flash Using Partial Block Cleaning -- An Operating System for a Time-Predictable Computing Node -- Data Services in Distributed Real-Time Embedded Systems -- Quality of Service and Performance -- QoS-Adaptive Router Based on Per-Flow Management over NGN -- Analysis of User Perceived QoS in Ubiquitous UMTS Environments Subject to Faults -- Cost-Performance Tradeoff for Embedded Systems -- Resolving Performance Anomaly Using ARF-Aware TCP -- Applications -- Context-Aware Deployment of Services in Public Spaces -- An Ontology Supported Meta-interface for the Development and Installation of Customized Web Based Telemedicine Systems -- Cyber Biosphere for Future Embedded Systems -- Leveraging GIS Technologies for Web-Based Smart Places Services -- Pervasive and Mobile Systems -- VeryIDX - A Digital Identity Management System for Pervasive Computing Environments -- Delay-Aware Mobile Transactions.-An Operating System Architecture for Future Information Appliances -- M-Geocast: Robust and Energy-Efficient Geometric Routing for Mobile Sensor Networks -- Wireless Embedded Systems -- Toward Integrated Virtual Execution Platform for Large-Scale Distributed Embedded Systems -- A Novel Approach for Security and Robustness in Wireless Embedded Systems -- The Role of Field Data for Analyzing the Dependability of Short Range Wireless Technologies -- RG-EDF: An I/O Scheduling Policy for Flash Equipped Sensor Devices -- Methods for Increasing Coverage in Wireless Sensor Networks -- Synthesis, Verification and Protection -- Locks Considered Harmful: A Look at Non-traditional Synchronization -- From Model Driven Engineering to Verification Driven Engineering -- On Scalable Synchronization for Distributed Embedded Real-Time Systems -- Implementation of an Obfuscation Tool for C/C++ Source Code Protection on the XScale Architecture -- Automated Maintainability of TTCN-3 Test Suites Based on Guideline Checking. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book includes selected papers of the 6th IFIP WG 10.2 International Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, SEUS 2008, held on Capri, Italy, in October 2008. The 38 revised full papers presented were carefully reviewed and selected. The papers are organized in topical sections on model-driven development; middleware; real time; quality of service and performance; applications; pervasive and mobile systems: wireless embedded systems; synthesis, verification and protection. |
|
|
|
|
|
|
|
| |