LEADER 01641nam 2200349 450 001 9910634062503321 005 20230329192457.0 035 $a(CKB)5850000000308291 035 $a(NjHacI)995850000000308291 035 $a(EXLCZ)995850000000308291 100 $a20230329d2022 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aArchitectural Data Flow Analysis for Detecting Violations of Confidentiality Requirements /$fStephan Seifermann 210 1$aKarlsruhe :$cKIT Scientific Publishing,$d2022. 215 $a1 online resource (xiv, 282 pages) 225 0 $aThe Karlsruhe series on software design and quality 311 $a1000151563 330 $aSoftware vendors must consider confidentiality especially while creating software architectures because decisions made here are hard to change later. Our approach represents and analyzes data flows in software architectures. Systems specify data flows and confidentiality requirements specify limitations of data flows. Software architects use detected violations of these limitations to improve the system. We demonstrate how to integrate our approach into existing development processes. 606 $aConfidential communications 615 0$aConfidential communications. 676 $a342.0858 700 $aSeifermann$b Stephan$01346543 801 0$bNjHacI 801 1$bNjHacl 906 $aBOOK 912 $a9910634062503321 996 $aArchitectural Data Flow Analysis for Detecting Violations of Confidentiality Requirements$93075889 997 $aUNINA LEADER 14363nam 22007575 450 001 9910144126703321 005 20200630120039.0 010 $a3-540-48932-0 024 7 $a10.1007/BFb0097882 035 $a(CKB)1000000000548871 035 $a(SSID)ssj0000325503 035 $a(PQKBManifestationID)11243693 035 $a(PQKBTitleCode)TC0000325503 035 $a(PQKBWorkID)10340160 035 $a(PQKB)11181547 035 $a(DE-He213)978-3-540-48932-0 035 $a(PPN)155230093 035 $a(EXLCZ)991000000000548871 100 $a20121227d1999 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aParallel and Distributed Processing$b[electronic resource] $e11th IPPS/SPDP?99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing San Juan, Puerto Rico, USA, April 12?16, 1999 Proceedings /$fedited by Jose Rolim 205 $a1st ed. 1999. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1999. 215 $a1 online resource (XXXIV, 1444 p. 365 illus.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1586 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-65831-9 327 $aFourth International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS?99) -- Efficient program partitioning based on compiler controlled communication -- SCI-VM: A flexible base for transparent shared memory programming models on clusters of PCs -- Flexible collective operations for distributed object groups -- SCALA: A framework for performance evaluation of scalable computing -- Recursive individually distributed object -- The MuSE system: A flexible combination of on-stack execution and work-stealing -- Pangaea: An automatic distribution front-end for Java -- Concurrent language support for interoperable applications -- On the distributed implementation of aggregate data structures by program transformation -- Implementing a non-strict functional programming language on a threaded architecture -- Second workhop on bio-inspired solutions to parallel processing problems (BioSP3) -- The biological basis of the immune system as a model for intelligent agents -- A formal definition of the phenomenon of collective intelligence and its IQ measure -- Implementation of data flow logical operations via self-assembly of DNA -- A parallel hybrid evolutionary metaheuristic for the period vehicle routing problem -- Distributed scheduling with decomposed optimization criterion: Genetic programming approach -- A parallel genetic algorithm for task mapping on parallel machines -- Evolution-based scheduling of fault-tolerant programs on multiple processors -- A genetic-based fault-tolerant routing strategy for multiprocessor networks -- Regularity considerations in instance-based locality optimization -- Parallel ant colonies for combinatorial optimization problems -- An analysis of synchronous and asynchronous parallel distributed genetic algorithms with structured and panmictic Islands -- GA-based parallel image registration on parallel clusters -- Implementation of a parallel genetic algorithm on a cluster of workstations: The Travelling Salesman Problem, a case study -- Structural biology metaphors applied to the design of a distributed object system -- Proceedings of the Seventh International Workshop on Parallel and Distributed Real-time Systems -- Building an adaptive multimedia system using the utility model -- Evaluation of real-time fiber communications for parallel collective operations -- The case for prediction-based best-effort real-time systems -- Dynamic real-time channel establishment in multiple access bus networks -- A similarity-based protocol for concurrency control in mobile distributed real-time database systems -- From task scheduling in single processor environments to message scheduling in a PROFIBUS fieldbus network -- An adaptive, distributed airborne tracking sysem -- Non-preemptive scheduling of real-time threads on multi-level-context architectures -- QoS control and adaptation in distributed multimedia systems -- Dependability evaluation of fault tolerant distributed industrial control systems -- An approach for measuring IP security performance in a distributed environment -- An environment for generating applications involving remote manipulation of parallel machines -- Real-time image processing on a local plane SIMD array -- Metrics for the evaluation of multicast communications -- Distributing periodic workload uniformly across time to achieve better service quality -- A dynamic fault-tolerant mesh architecture -- Evaluation of a hybrid real-time bus scheduling mechanism for CAN -- System support for migratory continuous media applications in distributed real-time environments -- Dynamic application structuring on heterogeneous, distributed systems -- Improving support for multimedia system experimentation and deployment -- Run-time systems for parallel programming -- Efficient communications in multithreaded runtime systems -- Application performance of a linux cluster using converse -- An efficient and transparent thread migration scheme in the PM2 runtime system -- Communication-intensive parallel applications and non-dedicated clusters of workstations -- A framework for adaptive storage input/output on computational grids -- ARMCI: A portable remote memory copy library for distributed array libraries and compiler run-time systems -- Multicast-based runtime system for highly efficient causally consistent software-only DSM -- Adaptive DSM-runtime behavior via speculative data distribution -- 6th reconfigurable architectures workshop -- DEFACTO: A design environment for adaptive computing technology -- A web-based multiuser operating system for reconfigurable computing -- Interconnect synthesis for reconfigurable multi-FPGA architectures -- Hardwired-clusters partial-crossbar: A hierarchical routing architecture for multi-FPGA systems -- Integrated block-processing and design-space exploration in temporal partitioning for RTR architectures -- Improved scaling simulation of the general reconfigurable mesh -- Bit summation on the reconfigurable mesh -- Scalable hardware-algorithms for binary prefix sums -- Configuration sequencing with self configurable binary multipliers -- Domain specific mapping for solving graph problems on reconfigurable devices -- MorphoSys: a reconfigurable processor targeted to high performance image application -- An efficient implementation method of fractal image compression on dynamically reconfigurable architecture -- Plastic cell architecture: A dynamically reconfigurable hardware-based computer -- Leonardo and discipulus simplex: -- Reusable internal hardware templates -- An on-line arithmetic-based reconfigurable neuroprocessor -- The re-configurable delay-insensitive Flysig architecture -- Digital signal processing with general purpose microprocessors, DSP and reconfigurable logic -- Solving satisfiability problems on FPGAs using experimental unit propagation heuristic -- FPGA implementation of modular exponentiation -- Workshop on Java for Parallel and Distributed Computing -- More efficient object serialization -- A customizable implementation of RMI for high performance computing -- mpiJava: An object-oriented java interface to MPI -- An adaptive, fault-tolerant implementation of BSP for Java-based volunteer computing systems -- High performance computing for the masses -- Process networks as a high-level notation for metacomputing -- Developing parallel applications using the JavaPorts environment -- 3rd workshop on Optics and Computer Science Message from the Program Chairs -- Permutation routing in all-optical product networks -- NWCache: Optimizing disk accesses via an optical network/write cache hybrid -- NetCache: A network/cache hybrid for multiprocessors -- A multi-wavelength optical content-addressable parallel processor (MW-OCAPP) for high-speed parallel relational database processing: Architectural concepts and preliminary experimental system -- Optimal scheduling algorithms in WDM optical passive star networks -- OTIS-Based multi-hop multi-OPS lightwave networks -- Solving graph theory problems using reconfigurable pipelined optical buses -- High speed, high capacity bused interconnects using optical slab waveguides -- A new architecture for multihop optical networks -- Pipelined versus non-pipelined traffic scheduling in unidirectional WDM rings -- Irregular ?99 Sixth International Workshop on Solving Irregularly Structured Problems in Parallel -- Self-Avoiding walks over adaptive unstructured grids -- A graph based method for generating the fiedler vector of irregular problems -- Hybridizing nested dissection and halo approximate minimum degree for efficient sparce matrix ordering -- ParaPART: Parallel mesh partitioning tool for distributed systems -- Sparse computations with Pei -- Optimizing irregular HPF applications using halos -- From EARTH to HTMT: An evolution of a multiheaded architecture model -- Irregular parallel algorithms in Java -- A simple framework to calculate the reaching definition of array references and its use in subscript array analysis -- Dynamic process composition and communication patterns in irregularly structured applications -- Scalable parallelization of harmonic balance simulation -- A range minima parallel algorithm for coarse grained multicomputers -- Deterministic branch-and-bound on distributed memory machines -- 2nd Workshop on Personal Computer Based Networks of Workstations (PC-NOW?99) -- Performance results for a reliable low-latency cluster communication protocol -- Coscheduling through synchronized scheduling servers?A prototype and experiments -- High-performance knowledge extraction from data on PC-based networks of workstations -- Addressing communication latency issues on clusters for fine grained asynchronous applications?A case study -- Low cost databases for NOW -- Implementation and evaluation of MPI on an SMP cluster -- Fourth International Workshop on Formal Methods for Parallel Programming: Theory and Applications FMPPTA?99 April 16 1998 -- From a specification to an equivalence proof in object-oriented parallelism -- Examples of program composition illustrating the use of universal properties -- A formal framework for specifying and verifying time warp optimizations -- Verifying end-to-end protocols using induction with CSP/FDR -- Mechanical verification of a garbage collector -- A structured approach to parallel programming: Methodology and models -- BSP in CSP: Easy as ABC -- 4th International Workshop on Embedded HPC Systems and Applications (EHPC?99) -- A distributed system reference architecture for adaptive QoS and resource management -- Transparent real-time monitoring in MPI -- DynBench: A dynamic benchmark suite for distributed real-time systems -- Reflections on the creation of a real-time parallel benchmark suite -- Tailor-made operating systems for embedded parallel applications -- Fiber-optic interconnection networks for signal processing applications -- Reconfigurable parallel sorting and load balancing: HeteroSo. 330 $aThis book constitutes the refereed proceedings of 11 IPPS/SPDP '98 Workshops held in conjunction with the 13th International Parallel Processing Symposium and the 10th Symposium on Parallel and Distributed Processing in San Juan, Puerto Rico, USA in April 1999. The 126 revised papers presented were carefully selected from a wealth of papers submitted. The papers are organised in topical sections on biologically inspired solutions to parallel processing problems: High-Level Parallel Programming Models and Supportive Environments; Biologically Inspired Solutions to Parallel Processing; Parallel and Distributed Real-Time Systems; Run-Time Systems for Parallel Programming; Reconfigurable Architectures; Java for Parallel and Distributed Computing; Optics and Computer Science; Solving Irregularly Structured Problems in Parallel; Personal Computer Based Workstation Networks; Formal Methods for Parallel Programming; Embedded HPC Systems and Applications. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1586 606 $aSoftware engineering 606 $aComputer architecture 606 $aComputer organization 606 $aComputer hardware 606 $aComputer science?Mathematics 606 $aComputers 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057 606 $aComputer Systems Organization and Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13006 606 $aComputer Hardware$3https://scigraph.springernature.com/ontologies/product-market-codes/I1200X 606 $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 615 0$aSoftware engineering. 615 0$aComputer architecture. 615 0$aComputer organization. 615 0$aComputer hardware. 615 0$aComputer science?Mathematics. 615 0$aComputers. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aComputer System Implementation. 615 24$aComputer Systems Organization and Communication Networks. 615 24$aComputer Hardware. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aTheory of Computation. 676 $a005.1 702 $aRolim$b Jose$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Parallel Processing Symposium$d(13th :$f1999 :$eSan Juan, P.R.) 712 12$aSymposium on Parallel and Distributed Processing$d(10th :$f1999 :$eSan Juan, P.R.) 906 $aBOOK 912 $a9910144126703321 996 $aParallel and distributed processing$91501988 997 $aUNINA LEADER 03361nam 22005775 450 001 9910404112503321 005 20251010082428.0 010 $a3-030-39169-8 024 7 $a10.1007/978-3-030-39169-0 035 $a(CKB)4100000011273807 035 $a(MiAaPQ)EBC6199702 035 $a(DE-He213)978-3-030-39169-0 035 $a(Au-PeEL)EBL6199702 035 $a(OCoLC)1163543612 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/32882 035 $a(PPN)248397079 035 $a(ODN)ODN0010072367 035 $a(oapen)doab32882 035 $a(EXLCZ)994100000011273807 100 $a20200514d2020 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aOslo Manual on Select Topics of the Law of Armed Conflict $eRules and Commentary /$fby Yoram Dinstein, Arne Willy Dahl 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (X, 151 p. 1 illus.) 311 08$a3-030-39168-X 327 $aIntroduction -- Outer Space -- Cyber Operations -- Remote and Autonomous Weapons -- Unmanned Maritime Systems -- Undersea Infrastructure, Systems and Devices -- Submarine Cables and Pipelines -- Civilians Directly Participating in Hostilities -- Civilians Participating in Unmanned Operations -- Military Objectives by Nature -- Civil Aviation and Civilian Airlines -- Destruction of Property -- Surrender -- Search and Rescue -- Humanitarian Assistance -- Cultural Property -- Natural Environment -- International Criminal Law -- Extraterritorial Operations Against Non-State Armed Groups. 330 $aThis open access book provides a valuable restatement of the current law of armed conflict regarding hostilities in a diverse range of contexts: outer space, cyber operations, remote and autonomous weapons, undersea systems and devices, submarine cables, civilians participating in unmanned operations, military objectives by nature, civilian airliners, destruction of property, surrender, search and rescue, humanitarian assistance, cultural property, the natural environment, and more. The book was prepared by a group of experts after consultation with a number of key governments. It is intended to offer guidance for practitioners (mainly commanding officers); facilitate training at military colleges; and inform both instructors and graduate students of international law on the current state of the law. 606 $aHumanitarian law 606 $aPolitics and war 606 $aInternational Humanitarian Law, Law of Armed Conflict 606 $aMilitary and Defence Studies 615 0$aHumanitarian law. 615 0$aPolitics and war. 615 14$aInternational Humanitarian Law, Law of Armed Conflict. 615 24$aMilitary and Defence Studies. 676 $a341.48 686 $aLAW051000$aPOL012000$2bisacsh 700 $aDinstein$b Yoram$4aut$4http://id.loc.gov/vocabulary/relators/aut$0239023 702 $aDahl$b Arne Willy$4aut$4http://id.loc.gov/vocabulary/relators/aut 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910404112503321 996 $aOslo Manual on Select Topics of the Law of Armed Conflict$92277678 997 $aUNINA