Search Results

Secure Sockets Layer (SSL) and Transport Layer Security (TLS) protocols are used to encrypt data, protect privacy, and authenticate. However, the security of SSL/TLS itself depends on its configurations. While some scanning tools are used to measure SSL/...

File systems have many configuration parameters. Such flexibility comes at the price of additional complexity which could lead to subtle configuration-related issues. To address the challenge, we study the potential configuration dependencies of a ...

The complexity of configurable systems has grown immensely, and it is only getting more complex. Such systems are a challenge for software testing and maintenance, because bugs and other defects can and do appear in any configuration. One common ...

This study focuses on compiling students' response-time allocated to answer correctly or wrongly, their self-regulation, as well as their satisfaction from content, in order to explain high or medium/low learning performance. To this end, it proposes a ...

We consider the problem of estimating relative configurations of nodes in a sensor network based on noisy measurements. By exploiting the cyclic constraints induced by the sensing topology to the network, we derive a constrained optimization on $SE(3)^n$. ...

We examine the effects of human resource management (HRM) practices (e.g., career development, social support, compensation, and security) on information technology (IT) professionals' job search behavior. Job search is a relatively novel dependent ...

The Bayesian methods provide additional information about the meaningful parameters in a statistical analysis obtained by combining the prior and sampling distributions to form the posterior distribution of the parameters. The desired inferences are ...

Database Management Systems (DBMS), the central component of many computers applications, are typically immersed in very complex environments. Protecting the DBMS from security attacks requires evaluating a long list of complex configuration ...

Hybrid systems serve as a powerful modeling paradigm for representing complex continuous controlled systems that exhibit discrete switches in their dynamics. The system and the models of the system are nondeterministic due to operation in uncertain ...

Database Management Systems (DBMS) are usually immersed in a so complex environment that assessing the security impact of any particular configuration choice is an extremely hard task. DBMS configuration untrustworthiness can be defined as a measure of ...

Gresov and Drazin's (1997) suggestions regarding the study of equifinality are used to investigate the organizational configurations that exists within a suboptimal equifinality context. A suboptimal equifinality situation exists when organizations must ...

In [H.-G. Carstens, T. Dinski, E. Steffen, Reduction of symmetric configurations n₃, Discrete Appl. Math. 99 (2000) 401-411] the authors claim that there exist a finite number of reductions such that every connected bicubic graph with girth ≥ 6 ...

Maintenance of large Web sites is a complex task, similar in some sense to software maintenance. Content should be separated from the formatting rules, allowing independent development and maintenance of both parts. As in software maintenance, version ...

We study collections of linkages in 3-space that are interlocked in the sense that the linkages cannot be separated without one bar crossing through another. We explore pairs of linkages, one open chain and one closed chain, each with a small number of ...

Polycyclic configurations constitute a generalization of the well-known class of cyclic configurations. They admit a concise description via voltage graphs over cyclic groups. Polycyclic (v _k ) configurations are considered for k = 2, 3, 4. The ...

We advance the study of collections of open linkages in 3-space that may be interlocked in the sense that the linkages cannot be separated without one bar crossing through another. We consider chains of bars connected with rigid joints, revolute joints, ...

Let X be a non-empty set. Let f:Z2X. All vectors which occur have integer coefficients, and for =(a1,a2), =(b1,b2) we write or < if ajbj or aj < bj for j=1,2, respectively. Let >0. A -block is a set of the form B(){Z2| < +}. A -pattern is the ...

A method for construction of an automaton (an acceptor) from a first-order logical formula is proposed. The method is similar to the tableau method and can be considered as modification and improvement of it.

Process industries share many characteristics because their transformation systems are designed for nondiscrete materials. Hence, the process industries typically are lumped together in a general group and contrasted from the discrete industries as a ...