Search Results - "privacy"

DRAMATURGI DALAM MEDIA SOSIAL: ANALISIS PENGGUNAAN SECOND ACCOUNT INSTAGRAM SEBAGAI MEDIA PERSETERUAN ANTARA DUA GENG PADA REMAJA AMORAVIST DAN GLC by Aura Rifa Adzani,

Link Metadata

ANALISIS PENGGUNAAN SECOND ACCOUNT INSTAGRAM SEBAGAI PENGUNGKAPAN DIRI DALAM PERSPEKTIF KESEHATAN MENTAL (User Berumur Dewasa Muda) by Maria Dessideria Puji Setyoaty,

Link Metadata

Demystifying Intelligent Multimode Security Systems An Edge-to-Cloud Cybersecurity Solutions Guide / by Booth, Jody, Metz, Werner, Tarkhanyan, Anahit, Cheruvu, Sunil

Link to Metadata

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Table of Contents: “…FASE Invited Talk -- Software Assurance in an Uncertain World -- Software Verification -- Tool Support for Correctness-by-Construction -- Automatic Modeling for Opaque Code in JavaScript Static Analysis -- SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language -- A Hybrid Dynamic Logic for Event/Data-based Systems -- Model-driven Development and Model Transformation -- Pyro: Generating Domain-Specific Collaborative Online Modeling Environments -- Efficient Model Synchronization by Automatically Constructed Repair Processes -- Offline Delta-driven Model Transformation with Dependency Injection -- A Logic-Based Incremental Approach to Graph Repair -- Software Verification -- DeepFault: Fault Localization For Deep Neural Networks -- Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL -- Formal Verification of Safety and Security Related Timing Constraints for A Cooperative Automotive System -- Checking Observational Purity Of Procedures -- Software Evolution & Requirements Engineering -- Structural and Nominal Cross-Language Clone Detection -- SL2SF: Refactoring Simulink to Stateflow -- Metric Temporal Graph Logic over Typed Attributed Graphs -- KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs -- Business Process Privacy Analysis in PLEAK -- Specification, Design, and Implementation of Particular Classes of Systems -- CLTestCheck: Measuring Test Effectiveness for GPU Kernels -- Implementing SOS with Active Objects: A Case Study of a Multicore Memory System -- Optimal and Automated Deployment for Microservices -- A Data Flow Model with Frequency Arithmetic -- Software Testing -- CoVeriTest: Cooperative Verifier-Based Testing -- Pardis: Priority Aware Test Case Reduction -- Automatically Identifying Sufficient Object Builders from Module APIs.…”
Link to Metadata

Counter-Terrorism, Ethics and Technology Emerging Challenges at the Frontiers of Counter-Terrorism /

Table of Contents: “…Proportionality, Surveillance And Counter-Terrorism -- 5. Privacy, Encryption And Counter-Terrorism -- 6. The Rise Of The Modern Intelligence State -- 7. …”
Link to Metadata

Demystifying Intelligent Multimode Security Systems An Edge-to-Cloud Cybersecurity Solutions Guide by Booth, Jody

DOAB: download the publication
DOAB: description of the publication

Towards Sustainable and Trustworthy 6G Challenges, Enablers, and Architectural Design

DOAB: download the publication
DOAB: description of the publication

The Social Dynamics of Open Data

DOAB: download the publication
DOAB: description of the publication

Digital Entrepreneurship Impact on Business and Society

DOAB: download the publication
DOAB: description of the publication

Liberalism in Neoliberal Times Dimensions, Contradictions, Limits

DOAB: download the publication
DOAB: description of the publication

Liberalism in Neoliberal Times Dimensions, Contradictions, Limits

DOAB: download the publication
DOAB: description of the publication

Developing a Mobile App (iGAM) to Promote Gingival Health by Professional Monitoring of Dental Selfies: User-Centered Design Approach by Tobias, Guy, Spanier, Assaf B

Connect to this object online.

Hepatitis C virus Genie: A web 2.0 interpretation and analytics platform for the Versant Hepatitis C virus genotype Line Probe Assay version 2.0 by Alex M Dussaq, Abha Soni, Christopher Willey, Seung L Park, Shuko Harada

Connect to this object online.

Motivations for Social Distancing and App Use as Complementary Measures to Combat the COVID-19 Pandemic: Quantitative Survey Study by Kaspar, Kai

Connect to this object online.

To Use or Not to Use a COVID-19 Contact Tracing App: Mixed Methods Survey in Wales by Kerina Jones, Rachel Thompson

Connect to this object online.

Digital Health Tools for Managing Noncommunicable Diseases During and After the COVID-19 Pandemic: Perspectives of Patients and Caregivers by Monaco, Alessandro, Palmer, Katie, Holm Ravn Faber, Nicolaj, Kohler, Irene, Silva, Mitchell, Vatland, Anita, van Griensven, Joop, Votta, Mariano, Walsh, Donna, Clay, Vincent, Yazicioglu, Mehmet Cuneyt, Ducinskiene, Danute, Donde, Shaantanu

Connect to this object online.

Gamified Digital Mental Health Interventions for Young People: Scoping Review of Ethical Aspects During Development and Implementation by Wanda Spahl, Valeria Motta, Kate Woodcock, Giovanni Rubeis

Connect to this object online.

Digitization of Measurement-Based Care Pathways in Mental Health Through REDCap and Electronic Health Record Integration: Development and Usability Study by Hawley, Steve, Yu, Joanna, Bogetic, Nikola, Potapova, Natalia, Wakefield, Chris, Thompson, Mike, Kloiber, Stefan, Hill, Sean, Jankowicz, Damian, Rotenberg, David

Connect to this object online.

Using Mobile Health to Improve Genetic and Heart Diseases Prediction by Hodjat Hamidi, Rasoul Moradi

Connect to this object online.

Postnatal care services in rural Zambia: a qualitative exploration of user, provider, and community perspectives on quality of care by Cephas Sialubanje, Jeanette L. Kaiser, Thandiwe Ngoma, Lawrence Mwananyanda, Rachel M. Fong, Davidson H. Hamer, Nancy A. Scott

Connect to this object online.