搜索结果: 1-14 共查到“计算机科学技术 properties”相关记录14条 . 查询时间(0.117 秒)
Automatic Fine-Grain Locking Using Shape Properties
Concurrency Locking Protocol Synthesis Serializability Atomicity Reduction
2016/5/24
We present a technique for automatically adding fine-grain locking to an abstract data type that is implemented using a dynamic forest —i.e., the data structures may be mutated,even to the point of vi...
Computational Soundness of Uniformity Properties for Multi-party Computation based on LSSS
Computational Soundness Uniformity Properties
2015/12/21
We provide a symbolic model for multi-party computation
based on linear secret-sharing scheme, and prove that this model is computationally
sound: if there is an attack in the computational world, t...
MECA:an Extensible,Expressive System and Language for Statically Checking Security Properties
MECA Extensible Expressive System Statically Checking Security Properties
2015/8/7
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of practical constructs to ef...
A theory of concepts and their combinations I: The structure of the sets of contexts and properties
concept conjunction combination context entanglement exemplar mathematical model prototype potentiality quantum representation state structure
2015/8/3
We propose a theory for modeling concepts that uses the state-context-property theory (SCOP), a generalization of the quantum formalism, whose basic notions are states, contexts and properties. This t...
Construction of a Database of Secondary Structure Segments and Short Regions of Disorder and Analysis of Their Properties
database
2015/1/9
Construction of a Database of Secondary Structure Segments and Short Regions of Disorder and Analysis of Their Properties.
A Non-Asymptotic Approach to the Analysis of Communication Networks: From Error Correcting Codes to Network Properties
Belief Propagation Concatenated Codes Finite Wireless Networks Polar Codes Random Geometric Graphs Threshold Phenomena
2014/11/7
This dissertation has its focus on two different topics: 1. non-asymptotic analysis of polar codes as a new paradigm in error correcting codes with very promising features, and 2. network properties f...
Analysing the Required Properties of Business Simulation Games to Be Used in E-Learning and Education
Serious Games Business Simulation Games E-Learning Problem-Based Learning Business Environment
2013/1/28
Business simulation games are considered as effective tools for the empowerment and mediation of business content learning. They act as serious games which contribute to learning through a simulation ...
Complex Fuzzy Structured Element and Its Properties
complex fuzzy structured element modulus continuity of complex fuzzy structured element
2013/1/28
The first part of this paper gives the definition about complex fuzzy structured element on the basis of one-dimensional fuzzy structured element and some of its property. The following part introduce...
Application of artificial neural networks in modelling of normalised structural steels mechanical properties
Artificial intelligence methods Computational material science and mechanics Artificial neural networks
2009/12/14
Purpose: This paper presents the application of artificial neural networks for mechanical properties prediction of constructional steels after heat treatment.
Design/methodology/approach: On the basi...
The Application of Intentional Subjective Properties and Mediated Communication Tools to Software Agents in Online Disputes Resolution Environments
Intentional Subjective Properties Mediated Communication Tools Software Agents Online Disputes Resolution Environments
2009/12/7
This paper examines the use of subjective properties in modeling an architecture for cooperative agents using Agent Communication Language (ACL) that is used as a mediating tool for cooperative commun...
Network Traffic Properties of Bimodal Multicast Protocol
Multicast network traffic self-similarity long-range dependence
2009/7/28
The popularity of large-scale distributed applications, such as videoconferencing, multimedia dissemination, electronic stock exchange and distributed cooperative work, has grown with the availability...
Avalanche and Bit Independence Properties for the Ensembles of Randomly Chosen n \times n S-Boxes
Avalanche and Bit Independence Properties Ensembles n \times n S-Boxes
2009/7/27
Cryptographic test methods such as avalanche, strict avalanche and bit independence criteria, which measure the degree of security of the s-boxes of substitution-permutation networks, are applied to r...
INVARIANCE PROPERTIES OF TIME-VARYING LINEAR SYSTEMS
time-invariant (autonomous) linear systems time-varying (non-autonomous) linear systems constant invariant sets
2010/1/11
This paper formulates and proves two types of necessary and sufficient
conditions for the characterization of positively (flow) invariant sets with respect to the
state-space trajectories of the tim...
PROPERTIES OF POTENTIAL FUNCTION- BASED CLUSTERING ALGORITHMS
potential function clustering algorithm measure of similarity
2010/1/13
The clustering algorithms based on potential functions are capable of
clustering a set of data, making no implicit assumptions on the cluster shapes and
without knowing in advance the number of clus...