Information Systems

Expressing and organizing real-time specification patterns via temporal logics

Information Systems / Formal methods / Computer Software / Patterns / Formal Specification / Formal method / Formal Verification / Pattern Classification / Unified Model / Systems Software / Temporal Logic / Formal method / Formal Verification / Pattern Classification / Unified Model / Systems Software / Temporal Logic

Cronus: A platform for parallel code generation based on computational geometry methods

Information Systems / Computational Geometry / Distributed Shared Memory System / Distributed System / Optimal mine design and scheduling / Motion estimation / Computer Software / Case Study / Code Generation / Systems / Systems Software / Dynamic scheduling / Motion estimation / Computer Software / Case Study / Code Generation / Systems / Systems Software / Dynamic scheduling

Cronus: A platform for parallel code generation based on computational geometry methods

Information Systems / Computational Geometry / Distributed Shared Memory System / Distributed System / Optimal mine design and scheduling / Motion estimation / Computer Software / Case Study / Code Generation / Systems / Systems Software / Dynamic scheduling / Motion estimation / Computer Software / Case Study / Code Generation / Systems / Systems Software / Dynamic scheduling

Complex object comparison in a fuzzy context

Information Systems / Literatura / Computer Software / Object Oriented Model / Fuzzy Set / Object Oriented / Object Oriented Database / Object Oriented / Object Oriented Database

General ELectric TN1U

Information Systems

Compositional algebra for interactive data access

Information Systems / Algebra / Middleware / Service

Conviviality-driven access control policy

Information Systems / Requirements Engineering / Computer Software

The Multiscenario Multienvironment BioSecure Multimodal Database (BMDB)

Information Systems / Pattern Recognition / Face Recognition / Biometrics / Face / Database Management Systems / Voice / Dermatoglyphics / Humans / Database Design / Female / Male / Research Purpose / Reproducibility of Results / Iris / Biometric Identification / Electrical And Electronic Engineering / Database Management Systems / Voice / Dermatoglyphics / Humans / Database Design / Female / Male / Research Purpose / Reproducibility of Results / Iris / Biometric Identification / Electrical And Electronic Engineering

Enid Mumford: a tribute

Information Systems / Business and Management

Internet vs. paper and pencil administration of questionnaires commonly used in panic/agoraphobia research

Information Systems / Psychology / Clinical Psychology / Psychological Assessment / Cognitive Science / Quality of life / Life Satisfaction / Effect size / Panic Disorder / Beck Depression Inventory / Psychometric Properties / Rating Scale / Interaction effect / Treatment planning / Outcome Assessment / Computers In Human Behavior / Quality of life / Life Satisfaction / Effect size / Panic Disorder / Beck Depression Inventory / Psychometric Properties / Rating Scale / Interaction effect / Treatment planning / Outcome Assessment / Computers In Human Behavior

A temporal logic approach to object certification

Information Systems / Formal Specification / Concurrent Systems / Object Oriented / Temporal Logic / Data Format / Information System / Data Format / Information System

Validez del Sistema de Información para el Desarrollo de la Investigación en Atención Primaria (SIDIAP) en el estudio de enfermedades vasculares: estudio EMMA

Information Systems / Primary Care / Primary Health Care / Tribology / Databases / Humans / Biomedical Research / Female / Male / Follow-up studies / Risk factors / Aged / Middle Aged / Peripheral Vascular Disease / Adult / Sex Factors / Age Factors / Reproducibility of Results / Risk Factors / Emma / Cohort Studies / Information System / Humans / Biomedical Research / Female / Male / Follow-up studies / Risk factors / Aged / Middle Aged / Peripheral Vascular Disease / Adult / Sex Factors / Age Factors / Reproducibility of Results / Risk Factors / Emma / Cohort Studies / Information System

Enid Mumford: a tribute

Information Systems / Business and Management

Propuesta de biblioteca virtual libre y gratuita, para usuarios mexico-estadounidenses en el Golfo de México

Information Systems / Library Science / Digital Libraries / Knowledge Management / International Development / Higher Education / Sociology of Knowledge / Bibliography / Learning and Teaching / Resource Sharing / Interlibrary Loan / Interlending (Library Science) / Strategic Management / Knowledge sharing / Mexico History / Sociology Of Scientific Knowledge / Strategic Planning / Second Life and Virtual Libraries / Learning And Teaching In Higher Education / 20th Century Mexico / Accreditation and Quality Assurance / Quality assurance in Higher Education / Databases / Digital Library / Virtual Libraries / Library Management / Library and Information Services / Academic library collection Management / Data Bases / Strategic Information System Planning / Knowledge Management, Digital Libraries / Information Science and Library Management / Academic Library Services / The effect of library satisfaction on academic performance of the students in abaya campus / Higher Education / Sociology of Knowledge / Bibliography / Learning and Teaching / Resource Sharing / Interlibrary Loan / Interlending (Library Science) / Strategic Management / Knowledge sharing / Mexico History / Sociology Of Scientific Knowledge / Strategic Planning / Second Life and Virtual Libraries / Learning And Teaching In Higher Education / 20th Century Mexico / Accreditation and Quality Assurance / Quality assurance in Higher Education / Databases / Digital Library / Virtual Libraries / Library Management / Library and Information Services / Academic library collection Management / Data Bases / Strategic Information System Planning / Knowledge Management, Digital Libraries / Information Science and Library Management / Academic Library Services / The effect of library satisfaction on academic performance of the students in abaya campus
Copyright © 2017 DATOSPDF Inc.