Formal Model
A Formal Model for the TIMESPACE Software
... a formal model to underpin the de- velopment of the TIMESPACE ...proposed model caters for the representation of time in data structures, which are used to store data regarding architectural ...
10
Collective Annotation of Linguistic Resources: Basic Principles and a Formal Model
... Crowdsourcing, which offers new ways of cheaply and quickly gathering large amounts of information contributed by volunteers online, has revolutionised the collection of labelled data. Yet, to create annotated linguistic ...
11
Formal Model Of А Pedagogical Pattern Language
... a formal model of pedagogical pattern ...multi-layered formal model for pattern descriptions that makes it suitable for use in different contexts, including for software implementation, ...
6
A Formal Model for Information Selection in Multi Sentence Text Extraction
... a formal model for in- tegrating these two tasks, simultaneously perform- ing the selection of important text passages and the minimization of information overlap between ...the model are ...
7
A Formal Model of Obfuscation and Negotiation for Location Privacy
... the formal model; extending the obfuscation techniques into further types of location-based services (such as wayfinding services [5]); and developing user models and usable interfaces for obfuscation ...
19
A study of a formal model for view selection for aggregate queries
... a formal model of view selection for queries on star-schema data warehouses and explore competitive techniques for designing and using views in this ...
49
Evolution of Formal Model-based Assurance Cases for Autonomous Robots
... perform model validation experiments to assess how well a model of the process, they want to control, complies with the real world ...the formal model associated with an FMAC (extension) has ...
19
A Formal Model for Trust in Dynamic Networks
... comprehensive formal model of ...mathematical model of computational trust should be capable of expressing all such aspects, as well as further notions of primary relevance in computing, ...
10
Proposing a Formal Model for Performance Improvement in Grid Environment
... The reliability is one of the important QoS parameters that causes the efficiency improvement in the grid environment[5]. In the environments which the task execution time or the resource service time is significant, the ...
7
A formal model of Bitcoin transactions
... a formal model of Bitcoin ...we model the Bitcoin blockchain, and in particular we define the crucial notion of consistency, which corresponds to the one enforced by the Bitcoin consensus ...
19
Comprehensibility of UML based Formal Model – A Series of Controlled Experiments
... Unlike the first experiment, the second experiment was an online exercise where the subjects viewed the given models on the computer screen. It was conducted in a two-hour slot. The slot was divided into two sessions ...
6
A Formal Model for Plausible Dependencies in Lexicalized Tree Adjoining Grammar
... This can be formalized by interpreting the operation symbols in t as operations on derived trees: The symbol to_love for example can be interpreted as a function that takes four derived [r] ...
9
A Formal Model Of SystemC Components Using Fractal Hypergraphs
... [4] B. Monsuez, F. V´edrine, and N. Vall´ee, “on the de- sign of a formal debugger for system architecture,” in ICC’08: Proceedings of the 12th WSEAS inter- national conference on Circuits. Stevens Point, ...
7
A Formal Model for a System s Attack Surface
... automata model of the system [16] and dene a quanti- tative measure of the attack surface in terms of three kinds of resources used in attacks on the system: methods, channels, and ...
10
A study of a formal model for view selection for aggregate queries
... IP model the corresponding execution time was larger than the 15-minute time limit that we imposed, hence we terminated the algorithm prior to its successful ...
35
A Formal Model for Context Free Languages Augmented with Reduplication
... We claim that our model captures most of the known constructions that make natural language provably not context-free as string sets, and that it does so with a small addition to the con[r] ...
12
Millstream Systems – a Formal Model for Linking Language Modules by Interfaces
... Millstream systems, as introduced in this article, are formal devices that allow to model situations in which several tree-generating modules are inter- connected by logical interfaces. In a forthcoming ...
9
Mechanising a Formal Model of Flash Memory
... The basic data unit in a flash memory is either a Byte (8 bits), or a Word (16 bits), depending on the type of device. We are going to abstract away from this detail, and assume a given type called Data that denotes the ...
23
A formal model of trust lifecycle management
... In a global collaboration environment, mobile entities form ad-hoc collaborations in order to achieve their goals. These entities might represent persons, devices, or their software agents. Every entity that needs to ...
12
The silence that precedes hypocrisy: a formal model of the spiral of silence theory
... Nevertheless, these models show some faults. Sznajd-Weron and Sznajd’s work is no more than another application of a physical model to social sciences. BC models deal with a very broad question, like how ...
23