Sage Journals: Discover world-class research

Retricted access

Research article

First published 2013-8

Specifying and solving symbolic and numeric temporal constraints

Samira Sadaoui, Malek Mouhoub, Xiao Feng Li

International Journal of Knowledge-Based and Intelligent Engineering Systems

Retricted access

Research article

First published 2004-5

FORMAL METHODS FOR QUALITY OF SERVICE ANALYSIS IN COMPONENT-BASED DISTRIBUTED COMPUTING

Chunmin Yang, Barrett R. Bryant, Carol C. Burt [...]

Journal of Integrated Design and Process Science

Retricted access

Research article

First published 2018-6

A methodology for model-based verification of safety contracts and performance requirements

Elena Gómez-Martínez, Ricardo J Rodríguez, Clara Benac-Earle [...]

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Retricted access

Research article

First published 2017-5-10

An Approach to Functional Formal Models of Constraint-Based Lexicalized Grammar

Roussanka Loukanova

Fundamenta Informaticae

Retricted access

Case report

First published 2008-3

A Word-Order Constraint on Phonological Activation

Niels Janssen, F.-Xavier Alario, Alfonso Caramazza

Psychological Science

Open access

Research article

First published 2017

The feasibility of delivering constraint-induced language therapy via the Internet

Rachelle Pitt, Deborah Theodoros, Anne J Hill [...]

DIGITAL HEALTH

Free access

Research article

First published 2012-8

Application of the Ontology Axioms for the Development of OCL Constraints from PAL Constraints

Diana Kalibatienė, Olegas Vasilecas

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2013-12

Dynamic systems,maturational constraints and L1 phonetic attrition

Esther de Leeuw, Ineke Mennen, James M. Scobbie

International Journal of Bilingualism

Retricted access

Research article

First published 2011-2

From set unification to set constraints

Gianfranco Rossi

Intelligenza Artificiale

Retricted access

Research article

First published 2014-7-11

Obstruction-free authorization enforcement: Aligning security and business objectives

David Basin, Samuel J. Burri, Günter Karjoth

Journal of Computer Security

Search results