Results 41 to 50 of about 60,674 (237)
Formalising Sustainability Management as a Core Process Group in Project Management
ABSTRACT Sustainability has become a strategic imperative for organisations, yet widely used project management standards such as the PMBoK sixth and seventh editions still do not formalise how sustainability should be embedded across project work. This gap matters because PMBoK‐based processes shape governance, roles, documentation and performance ...
Cinzia Dessi +3 more
wiley +1 more source
TEACHING INDONESIAN AS A DIGLOSSIC LANGUAGE: THE IMPORTANCE OF COLLOQUIAL INDONESIAN FOR PRAGMATIC COMPETENCE [PDF]
The teaching of Indonesian at home and abroad for native and non-native speakers emphasizes the importance of formal Indonesian and tends to avoid teaching the colloquial one.
Suwarno , Peter
core
Explicit fairness in testing semantics [PDF]
In this paper we investigate fair computations in the pi-calculus. Following Costa and Stirling's approach for CCS-like languages, we consider a method to label process actions in order to filter out unfair computations.
Catuscia Palamidessi +6 more
core +4 more sources
Parallel communicating grammar systems with context-free components are Turing complete for any communication model [PDF]
Abstract Parallel Communicating Grammar Systems (PCGS) were introduced as a language-theoretic treatment of concurrent systems. A PCGS extends the concept of a grammar to a structure that consists of several grammars working in parallel, communicating with each other, and so contributing to the generation of strings.
Wilkin Mary Sarah Ruth, Bruda Stefan D.
openaire +2 more sources
A Critical Analysis of Microsoft's Rhetoric and Reality of Sustainability Engagement
ABSTRACT This study critically examines Microsoft's environmental, social and governance (ESG) rhetoric and operational reality, to offer insights that extend beyond conventional greenwashing or bluewashing. Drawing on over 20 years of Microsoft's sustainability reports (2003–2024), third‐party ESG evaluations and media investigations, it employs ...
Omaima A. G. Hassan, Iqbal Khadaroo
wiley +1 more source
I present a branching time model of CSP that is finer than all other models of CSP proposed thus far. It is obtained by taking a semantic equivalence from the linear time - branching time spectrum, namely divergence-preserving coupled similarity, and ...
AW Roscoe +14 more
core +1 more source
ABSTRACT This study examines the relationship between corporate social responsibility (CSR) and corporate tax avoidance (CTA) in the European Union, exploiting institutional variation arising from CSR disclosure regimes and the introduction of the Anti‐Tax Avoidance Directives (ATAD).
Alessandro Migliavacca
wiley +1 more source
Monitoring distributed systems with distributed polyLarva [PDF]
polyLarva is a language-agnostic runtime verification tool, which converts a polyLarvaScript into a monitor for a given system. While an implementation for polyLarva exists, the language and its compilation have not been formalised.
Cassar, Ian +2 more
core +1 more source
Abstract This contribution critically analyses the main international educational frameworks for teachers' digital competence, highlighting both critical issues and potential in relation to their professional development and the need to update school curricula.
Daniela Marzano +3 more
wiley +1 more source
ABSTRACT Objective Eating disorders (EDs) are severe and complex psychiatric illnesses, with adolescence and young adulthood representing particularly vulnerable periods for onset, relapse and disruptions in treatment. The transition from Child and Adolescent Mental Health Services (CAMHS) to Adult Mental Health Services (AMHS) is especially complex ...
Maria Livanou +19 more
wiley +1 more source

