ABSTRACT MODEL
Distributed virtual worlds: abstract model and design of the MaDViWorld software framework
... total abstract model for virtual worlds, contain- ing formal definitions and some basic ...programmable model from the general ...conceptual model to a computer-based ...an abstract ...
178
Capacity: an Abstract Model of Control over Personal Data
... an abstract model, called Ca- pacity, which makes it possible to express, inter alia, the three capacities put forward in ...our model before suggesting avenues for further research in Section ...
25
The Abstract MAC Layer
... with a simple abstract model that involves just message delivery guarantees and time bounds. 1 We believe that this MAC layer service provides a simple yet realistic basis for theoretical work on high-level ...
29
The Abstract MAC Layer
... with a simple abstract model that involves just message delivery guarantees and time bounds. 1 We believe that this MAC layer service provides a simple yet realistic basis for theoretical work on high-level ...
28
An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol
... Processor, Location and Value universes, respectively. We also define an OpType universe, comprising the four types of operation: read, write, acquire, and release. A distributed computation in ASM is modeled as a ...
25
The Parallel Intensionally Fully Abstract Games Model of PCF
... Our second contribution is an application of our framework to give a parallel intensionally fully abstract model for PCF. That might seem counter-intuitive, given the status of PCF as a paradigmatic ...
13
A Certified Denotational Abstract Interpreter
... of abstract interpretation ...certified abstract interpreter with widening/narrowing iteration techniques has been proposed by Pichardie ...an abstract interpreter whose iteration strategy is similar ...
17
Random Abstract Simplicial Complexes Reduction
... Random Abstract Simplicial Complexes Reduction Anaïs Vergne, Laurent Decreusefond, and Philippe Martins, Senior Member, IEEE LTCI, Télécom ParisTech, Université Paris-Saclay, 75013, Paris, France ...
15
Abstract numeration systems and recognizability
... Can we determine some necessary and sufficient condition under which this transformation preserves regular subsets of Bℓ ?.. In other words, multiplication by β ℓ does not preserve S-rec[r] ...
44
POSTER: Blockchain Abstract Data Type
... To abstract away implementation- specific validation mechanisms, we propose to encapsulate the validation process in an oracle model separated from the process of updating the data ...
3
Theoretical Study of an Abstract Bubble Vibration Model
... to model motion of ...our model does not allow for phase change and surface tension even if we consider these phenomena as perspectives for further ...
15
Weakly Relational Numerical Abstract Domains
... better abstract expression evaluation than J expr K Int in the interval domain, it would be tricky to use in relational domains because it does not express a function of the program variables, but a function of ...
323
Abstract numeration systems : a survey.
... ABSTRACT NUMERATION SYSTEMS DEFINITION (P. LECOMTE, M.R. ’01) An abstract numeration system is a triple S = ( L , Σ, <) where L is a regular language over a totally ordered alphabet (Σ, <) ...
72
Abstract geometrical computation 6: a reversible, conservative and rational based model for black hole computation
... The paper is articulated as follows. Section 2 gathers the definitions of abstract geometrical computation. Implementing reversible Turing machines by reversible conservative signal machines is done in two parts: ...
17
Poster Abstract: A flexible infinite HMM model for accurate characterization and segmentation of RTT timeseries
... K k=1 , z t ∼ p θ zt . However the number of states K is unknown when observing the delay on the Internet. The HDP-HMM [2] is a Bayesian nonparametric extension that allows the number of hidden states to be inferred from ...
3
Abstract path testing with PathCrawler
... PathCrawler is a tool developed by CEA List for the automatic generation of test inputs to ensure the coverage of all feasible execution paths of a C function. Due to its concolic approach and depth-first exhaustive ...
10
A relational shape abstract domain
... to abstract than state properties, they are intrinsically more expressive and they offer the ability to make the analysis modular and ...an abstract domain, and a static analysis based on abstract ...
59
Linking Telecom Service High-level Abstract Models to Simulators based on Model Transformations: The IMS Case Study
... this model the designer can obtain the simulation scenario as a configuration file specific for a network ...using model transformation (code generation) step which is our second ...
13
Coalitional games for abstract argumentation
... The paper is organized as follows. We start in Section 2 with some basic definitions about abstract argumentation and coalitional games. Section 3 is devoted to the presen- tation of a coalitional argumentation ...
13
Nested Abstract Syntax in Coq
... Abstract. We illustrate Nested Abstract Syntax as a high-level alternative rep- resentation of langages with binding constructs, based on nested datatypes. Our running example is a partial solution in the ...
19