ACSC
2001
IEEE
14 years 3 months ago
2001
IEEE
Management of system requirements and system architectures is part of any software engineering project. But it is usually very tedious and error prone. In particular, managing the...
ACSC
2001
IEEE
14 years 3 months ago
2001
IEEE
This paper analyses the efficiency of different data structures for detecting overlap in digital documents. Most existing approaches use some hash function to reduce the space req...
FOCS
2006
IEEE
14 years 3 months ago
2006
IEEE
We consider random 3CNF formulas with n variables and m clauses. It is well known that when m > cn (for a sufficiently large constant c), most formulas are not satisfiable. How...
ERSHOV
2006
Springer
14 years 3 months ago
2006
Springer
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...
ERSHOV
2006
Springer
14 years 3 months ago
2006
Springer
Abstract. We define the first nontrivial polynomially recognizable subclass of P-matrix Generalized Linear Complementarity Problems (GLCPs) with a subexponential pivot rule. No suc...
ERSHOV
2006
Springer
14 years 3 months ago
2006
Springer
Information systems support data privacy by constraining user's access to public views and thereby hiding the non-public underlying data. The privacy problem is to prove that ...
ERSHOV
2006
Springer
14 years 3 months ago
2006
Springer
Abstract. The token flow semantics of UML 2 activity diagrams is formally defined using Abstract State Machines. Interruptible activity regions and multiplicity bounds for pins are...
ERSHOV
2006
Springer
14 years 3 months ago
2006
Springer
ERSHOV
2006
Springer
14 years 3 months ago
2006
Springer
Abstract. Text Categorization algorithms have a large number of parameters that determine their behaviour, whose effect is not easily predicted objectively or intuitively and may v...
ERSHOV
2006
Springer
14 years 3 months ago
2006
Springer
Abstract. Two formal models for description of timing attacks are presented, studied and compared with other security concepts. The models are based on a timed process algebra and ...