Results 61 to 70 of about 24,092 (308)
JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java [PDF]
, 2023 Simon Bliudze +4 more
openalex +3 more sources
Kompics: a message-passing component model for building distributed systems [PDF]
, 2010 The Kompics component model and programming framework was designedto simplify the development of increasingly complex distributed systems. Systems built with Kompics leverage multi-core machines out of the box and they can be dynamically reconfigured to
Arad, Cosmin, Haridi, Seif
core +1 more source
The impacts of biological invasions
Biological Reviews, EarlyView.ABSTRACT The Anthropocene is characterised by a continuous human‐mediated reshuffling of the distributions of species globally. Both intentional and unintentional introductions have resulted in numerous species being translocated beyond their native ranges, often leading to their establishment and subsequent spread – a process referred to as biological
Phillip J. Haubrock +42 more
wiley +1 more source
Applied SciencesModern distributed systems increasingly rely on reactive programming to meet the demands of high throughput and low latency under extreme concurrency. While the theoretical advantages of non-blocking I/O are well-established, empirical understanding of ...
Andrei Zbarcea +2 more
doaj +1 more source
Business Strategy and the Environment, EarlyView.ABSTRACT This study investigates how circular business models (CBMs) can lead to resilience. Despite the increasing number of CBM studies, they have not fully addressed the need for resilience. As such, we employ a multilevel perspective to reveal the existing and potential relationships between CBMs and resilience under the sustainability umbrella.
Stephane Jedrzejczak +4 more
wiley +1 more source
Migrating from Developing Asynchronous Multi-Threading Programs to Reactive Programs in Java
Applied SciencesModern software application development imposes standards regarding high performance, scalability, and minimal system latency. Multi-threading asynchronous programming is one of the standard solutions proposed by the industry for achieving such ...
Andrei Zbarcea, Cătălin Tudose
doaj +1 more source
A Type-Safe Model of Adaptive Object Groups
, 2012 Services are autonomous, self-describing, technology-neutral software units that can be described, published, discovered, and composed into software applications at runtime. Designing software services and composing services in order to form applications
Agha +26 more
core +2 more sources
ThreadSafe : static analysis for Java concurrency [PDF]
, 2015 ThreadSafe is a commercial static analysis tool that focuses on detection of Java concurrency defects. ThreadSafe’s bug-finding capabilities and its look and feel are presented through examples of bugs found in the codebases of two widely-used open source projects.
Atkey, Robert, Sannella, Donald
openaire +2 more sources
Business Strategy and the Environment, EarlyView.ABSTRACT Manufacturing's transition to sustainable development depends on integrating green with lean under credible environmental policy and stakeholder engagement. Although benefits are well established, the literature underspecifies implementation barriers and their prioritisation. This study identifies, structures, and prioritises barriers to green–
Jose Arturo Garza‐Reyes +4 more
wiley +1 more source
Mind the Gap—An Empirical Analysis of the Attitude‐Behaviour Gap in Grocery Retailing
Journal of Consumer Behaviour, EarlyView.ABSTRACT The attitude‐behaviour gap describes the mismatch between what consumers express in terms of preferences and how they actually behave when making purchase decisions. This gap is particularly relevant for organic food, where consumers often show strong positive attitudes but do not consistently buy organic products.
Kevin Ermecke +3 more
wiley +1 more source