Results 11 to 20 of about 109,817 (214)
A Calculus of Bounded Capacities [PDF]
, 2003 Resource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space usage in the context of an ambient-like calculus with bounded capacities and weighed
A. Igarashi +17 more
core +6 more sources
Hoare-style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects [PDF]
, 2016 Designing scalable concurrent objects, which can be efficiently used on multicore processors, often requires one to abandon standard specification techniques, such as linearizability, in favor of more relaxed consistency requirements.
Banerjee, Anindya +3 more
core +2 more sources
Multi-agent simulations for emergency situations in an airport scenario [PDF]
, 2012 This paper presents a multi-agent framework using Net- Logo to simulate humanand collective behaviors during emergency evacuations. Emergency situationappears when an unexpected event occurs.
Bicharra García, Ana Cristina +3 more
core +6 more sources
Planning as Tabled Logic Programming [PDF]
, 2015 This paper describes Picat's planner, its implementation, and planning models for several domains used in International Planning Competition (IPC) 2014. Picat's planner is implemented by use of tabling.
Bartak, Roman +2 more
core +2 more sources
A Dual-Engine for Early Analysis of Critical Systems [PDF]
, 2014 This paper presents a framework for modeling, simulating, and checking properties of critical systems based on the Alloy language -- a declarative, first-order, relational logic with a built-in transitive closure operator. The paper introduces a new dual-
Geilmann, Ulrich +3 more
core +3 more sources
Smart CitiesEmergency evacuation in complex and dynamic building environments requires robust and adaptive routing strategies capable of responding to evolving hazards, blocked passages, and changing crowd behaviour.
Ramzi Djemai +4 more
doaj +1 more source
Using Session Types for Reasoning About Boundedness in the Pi-Calculus [PDF]
, 2017 The classes of depth-bounded and name-bounded processes are fragments of the pi-calculus for which some of the decision problems that are undecidable for the full calculus become decidable.
Hüttel, Hans
core +3 more sources
, 2019 Game theory has emerged as a fruitful paradigm for the design of networked multiagent systems. A fundamental component of this approach is the design of agents' utility functions so that their self-interested maximization results in a desirable ...
Chandan, Rahul +2 more
core +1 more source
Correctness Verification of Mutual Exclusion Algorithms by Model Checking
ModellingMutual exclusion algorithms are at the heart of concurrent/parallel and distributed systems. It is well known that such algorithms are very difficult to analyze, and in the literature, different conjectures about starvation freedom and the number of by ...
Libero Nigro, Franco Cicirelli
doaj +1 more source
Coalgebraic completeness-via-canonicity for distributive substructural logics [PDF]
, 2016 We prove strong completeness of a range of substructural logics with respect to a natural poset-based relational semantics using a coalgebraic version of completeness-via-canonicity.
Dahlqvist, Fredrik, Pym, David
core +2 more sources