Výsledky vyhledávání - Software/Program Verification—For- mal Methods*

L.T.: Formal Analysis of SAML 2.0 Web Browser Single Sign-On: Breaking the SAML-based Single Sign-On for Google Apps

Autoři: Alessandro Armando Roberto Carbone Luca Compagna a další

Přispěvatelé: Alessandro Armando Roberto Carbone Luca Compagna a další

Zdroj: http://www.avantssar.eu/pdf/publications/saml-sso.pdf.

Témata: Security and protection, C.2.2 [Computer-Communication Networks, Network Protocols—Protocol verification, C.2.6 [Computer-Communication Networks, Internetwork- ing—Standards, SAML, TLS, D.2.4 [Software Engineer- ing, Software/Program Verification—Formal methods, Model checking, E.4 [Coding and Information Theory, For- mal models of communication, F.3.2 [Logics and Mean

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.543.4073

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.543.4073
http://www.avantssar.eu/pdf/publications/saml-sso.pdf

A comprehensive survey of cyberattacks on EVs: Research domains, attacks, defensive mechanisms, and verification methods.

Autoři: Aljohani, Tawfiq Almutairi, Abdulaziz

Zdroj: Defence Technology; Dec2024, Vol. 42, p31-58, 28p

Témata: DETECTION algorithms, ENERGY infrastructure, CYBERTERRORISM, ELECTRIC fields, DYNAMIC loads

HAMPI: A Solver for Word Equations over Strings, Regular Expressions and Context-Free Grammars

Autoři: Adam Kiezun Harvard Medical School Philip J. Guo a další

Přispěvatelé: Adam Kiezun Harvard Medical School Philip J. Guo a další

Zdroj: http://homes.cs.washington.edu/~mernst/pubs/string-solver-tosem2012.pdf.

Témata: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software Program Verification—For- mal methods, D.2.5 [Software Engineering, Testing and Debugging—Testing tools General Terms, Verification, Algorithms, Reliability, Security Additional Key Words and Phrases, String constraints, word equations, regular languages, context-free languages, concolic testing, program analysis ACM Reference Format

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.497.8088

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.497.8088
http://homes.cs.washington.edu/~mernst/pubs/string-solver-tosem2012.pdf

Behavioural differences and purchasing experiences through online commerce or offline within mall-based retail structures.

Autoři: Zamfirache, Alexandra Neacșu, Nicoleta Andreea Madar, Anca a další

Zdroj: Electronic Commerce Research; Oct2025, Vol. 25 Issue 5, p4159-4191, 33p

Témata: CONSUMER behavior, ELECTRONIC commerce, QUANTITATIVE research, SHOPPING malls, STOREFRONTS, TECHNOLOGICAL progress, CUSTOMER relations

AOn Software Component Co-Installability

Autoři: Roberto Di Cosmo The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Roberto Di Cosmo The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.pps.univ-paris-diderot.fr/~vouillon/publi/coinst.pdf.

Témata: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification—For- mal Methods, G.2.2 [Mathematics of Computing, Graph Theory—Hypergraphs General Terms, Algorithms, Theory, Verification Additional Key Words and Phrases, component, dependencies, conflicts, co-installability, package manage- ment, open source ACM Reference Format

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.644.838

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.644.838
http://www.pps.univ-paris-diderot.fr/~vouillon/publi/coinst.pdf

STI & HIV 2025 World Congress Conference Abstracts.

Zdroj: Sexual Health (14485028); 2025, Vol. 22 Issue 4, p1-574, 574p

Témata: SEXUAL health, HIV, PUBLIC health, HEALTH policy, CONFERENCES & conventions, MEDICAL research, SEXUALLY transmitted diseases, COMMUNITY involvement

Geografický termín: CANADA, MONTREAL (Quebec)

Formal Methods: Practice and Experience.

Autoři: WOODCOCK, JIM LARSEN, PETER GORM BICARREGUI, JUAN a další

Zdroj: ACM Computing Surveys; Oct2009, Vol. 41 Issue 4, p19:1-19:36, 36p, 4 Charts, 10 Graphs

Témata: FORMAL methods (Computer science), INDUSTRIAL surveys, SOFTWARE verification, USER-centered system design, SOFTWARE architecture

Development and characterization of microsatellite markers for population genetics of the cocoa pod borer Conopomorpha cramerella (Snellen) (Lepidoptera: Gracillaridae).

Autoři: Purificacion, Marynold Shah, Roslina Binti Mohd De Meeûs, Thierry a další

Zdroj: PLoS ONE; 4/11/2024, Vol. 19 Issue 4, p1-20, 20p

Témata: MICROSATELLITE repeats, LEPIDOPTERA, COCOA, GENE flow, GENOMES, QUALITY control, SPECIES, POPULATION genetics

Geografický termín: EAST Indies, SOUTHEAST Asia, PHILIPPINES

WCNR 24/Abstracts.

Zdroj: Neurorehabilitation & Neural Repair; Mar2025, Vol. 39 Issue 3, pNP1-NP206, 206p

The Effects of Rehabilitation Programs Incorporating Breathing Interventions on Chronic Neck Pain Among Patients with Forward Head Posture: A Systematic Review and Meta-Analysis.

Autoři: Park, Seri Kim, Kihyun Kang, Minbong

Zdroj: Bioengineering (Basel); Sep2025, Vol. 12 Issue 9, p947, 36p

Témata: BREATHING exercises, NECK pain, TREATMENT programs, PAIN management, CORRECTIVE exercise

Families navigating two languages in a country built for one: Shared language erosion among Hispanic parents and youth.

Autoři: Cox Jr., Ronald B. Arredondo-Lopez, Alma León-Cartagena, Maritza a další

Zdroj: Journal of Social & Personal Relationships; Aug2025, Vol. 42 Issue 8, p1849-1879, 31p

Témata: HISPANIC Americans, LANGUAGE & languages, ADOLESCENT development, IMMIGRANTS, ACCULTURATION, RESEARCH funding, DATA analysis, PARENT-child relationships, CULTURE, INTERVIEWING, FAMILY relations, EMOTIONS, DESCRIPTIVE statistics, PARENT attitudes, MULTILINGUALISM, COMMUNICATION, STATISTICS, DATA analysis software, GROUNDED theory, VIDEO recording

Geografický termín: UNITED States

When a Formal Model Rhymes with a Graphical Notation

Autoři: Idani, Akram Stouls, Nicolas Validation de Systèmes, Composants et Objets logiciels (VASCO) a další

Přispěvatelé: Idani, Akram Stouls, Nicolas Validation de Systèmes, Composants et Objets logiciels (VASCO) a další

Zdroj: Human-Oriented Formal Methods 2014 ; https://inria.hal.science/hal-01059677 ; Human-Oriented Formal Methods 2014, Sep 2014, Grenoble, France

Témata: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]

Geografické téma: Grenoble, France

Dostupnost: https://inria.hal.science/hal-01059677

Automatic verification of time behavior of programs.

Autoři: Liva, Giovanni

Zdroj: ICSE: International Conference on Software Engineering; 5/27/2018, p468-471, 4p

Témata: SOFTWARE verification, SEMANTICS, COMPUTER programming, SOFTWARE engineering, FAULT-tolerant computing, MALWARE

E‐Posters.

Zdroj: Digestive Endoscopy; Jul2024 Supplement 1, Vol. 36, p102-376, 275p

Témata: ADENOMATOUS polyps, SARCOPENIA, FEVER, LEUKOCYTE count, DIGESTIVE system diseases, THIRD harmonic generation, LASER endoscopy

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II

Autoři: Tiziana Margaria Bernhard Steffen

Resource Type: eBook.

Témata: Software engineering, Machine theory, Computer science, Computers, Special purpose, Computer systems, Microprogramming

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Hardware / General

WIRELESS ECG MONITORING SYSTEM.

Autoři: Bhilare, Aditi S. Kamble, Mansi G. Shah, P. P.

Zdroj: International Scientific Journal of Engineering & Management; Apr2025, Vol. 4 Issue 4, p1-2, 2002p

Témata: PATIENT monitoring, EARLY diagnosis, ACQUISITION of data, DATA transmission systems, DIAGNOSIS

TOWARDS MDE IMPROVEMENTS FROM INTEGRATED FORMAL VERIFICATIONS.

Autoři: Medve, Anna

Zdroj: Studia Universitatis Babeş-Bolyai, Informatica; 2012, Vol. 57 Issue 1, p89-104, 16p, 6 Diagrams

Témata: ITERATIVE methods (Mathematics), COMPUTER engineering, SOFTWARE engineering, ENGINEERING services, METHODOLOGY

EANM'24 Abstract Book Congress Oct 19-23, 2024.

Zdroj: European Journal of Nuclear Medicine & Molecular Imaging; 2024 Suppl 1, Vol. 51, p1-1026, 1026p

Témata: POSITRON emission tomography computed tomography, BREAST, SINGLE-photon emission computed tomography, PATIENT-ventilator dyssynchrony, TOURETTE syndrome, MEDICAL sciences, CONE beam computed tomography

Measurement error in hydrostatic leveling system due to temperature effect and their reduction method.

Autoři: Xu, Jian Tong, Zhi-Feng Xu, Yan-Zhao a další

Zdroj: Review of Scientific Instruments; Jul2024, Vol. 96 Issue 7, p1-9, 9p

Témata: TEMPERATURE effect, CURVE fitting, TEMPERATURE sensors, TEMPERATURE, ALGORITHMS

Abstract Book ICOH2024 Congress Proceedings April 28 to May 3, 2024.

Zdroj: Occupational Medicine; 2024 Supplement, Vol. 74, pi1-i587, 587p

Témata: MEDICAL personnel, INDUSTRIAL hygiene, SCIENTIFIC knowledge, MEDICAL care, ORGANIZATIONAL effectiveness, MENTAL health services, NON-communicable diseases