Results 21 to 30 of about 557,657 (170)
A fuzzing‐based test‐creation approach for evaluating digital TV receivers via transport streams
Software Testing, Verification and Reliability, Volume 33, Issue 1, January 2023., 2023 Although the present work was focused on DTV networks, there is a myriad of different broadcasting systems that can benefit from it as long as they rely on configuration data sent in their protocol structures. Abstract Digital TV (DTV) receivers are usually submitted to testing systems for conformity and robustness assessment, and their approval ...
Fabricio Izumi +6 more
wiley +1 more source
Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars [PDF]
, 2005 Modeling the dependencies between provided and required services within a software component is necessary for several reasons, such as automated component adaptation and architectural dependency analysis. Parametric contracts for software components specify such dependencies and were successfully used for automated protocol adaptation and quality of ...
Ralf Reussner +2 more
openaire +2 more sources
VNU Journal of Foreign Studies, 2021 The economic contract is a typical type of discourse that depends on the agreement between parties. This paper adopted the theoretical framework of Systemic Functional Grammar (SFG) to carry out a transitivity analysis of the ideational function in the Vietnamese economic contract in order to explore the features of this genre, a type of legal ...
openaire +1 more source
From Generative Linguistics to Categorial Grammars: Overt Subjects in Control Infinitives
Bulletin of Symbolic Logic, 2021 The present thesis lies at the interface of logic and linguistics; its object of study are control sentences with overt pronouns in Romance languages (European and Brazilian Portuguese, Italian and Spanish). This is a topic that has received considerably
María Inés Corbalán
semanticscholar +1 more source
‘Don’t think that we die from AIDS’: Invisibilised uncertainty and global transgender health
Sociology of Health &Illness, Volume 45, Issue 1, Page 196-212, January 2023., 2023 Abstract The invisibilisation of social groups in health research and survey data is a source of medical uncertainty, long seen as a hallmark of the medical field. However, scholarship has not thoroughly assessed how medical uncertainty is structured by state‐level processes and global health agendas, especially for people beyond the Global North. This
Reya Farber
wiley +1 more source
Computational Coverage of TLG: Nonlinearity [PDF]
NLCS@ICALP/LICS, 2015 We study nonlinear connectives (exponentials) in the context of Type Logical Grammar (TLG). We devise four conservative extensions of the displacement calculus with brackets, Db!, Db!?, Db!b and Db!b?r which contain the universal and existential ...
G. Morrill, Oriol Valentín
semanticscholar +1 more source
The Modern Law Review, Volume 86, Issue 1, Page 85-121, January 2023., 2023 The notion of ‘equity’ is undergoing conceptual repositioning in international law today, embracing individuals as well as states and gaining an association with human rights and the politics of protest. In the context of these developments, the present paper enquires into the premodern roots of this ancient and rich term through three historical ...
Stephen Humphreys
wiley +1 more source
Real earnings management: A review of the international literature
Accounting &Finance, Volume 62, Issue 4, Page 4279-4344, December 2022., 2022 Abstract We provide a systematic literature review of the determinants and consequences of real earnings management (REM) in an international context. We provide a theoretical framework for REM, the development of REM measures, and review the determinants of REM, categorising these into financial reporting, auditing, governance and controls, capital ...
Ahsan Habib +4 more
wiley +1 more source
Low-level Comments auto-generation for Solidity Smart Contracts [PDF]
arXiv, 2021 Context: Decentralized applications on blockchain platforms are realized through smart contracts. However, participants who lack programming knowledge often have difficulties reading the smart contract source codes, which leads to potential security risks and barriers to participation.
arxiv
An agent-based model of muscle contraction process as a bio-robotic process
2011 Malaysian Conference in Software Engineering, 2011 This paper introduces a new computational methodology to model muscle contraction process as a bio-robotic process using agent technology. In this work, we have focused on muscle myosin nanomotor as the driven motor of muscles and introduced the ...
H. Khataee, T. N. M. Aris, M. Sulaiman
semanticscholar +1 more source