3771 search results - page 416 / 755 » Subobject Transformation Systems |
160
click to vote
AGP
1999
IEEE
15 years 9 months ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
135
click to vote
WCRE
1999
IEEE
15 years 9 months ago
1999
IEEE
One of the challenges of reverse engineering is the extraction of a specification from source code. Our work proposes a singular approach to the construction of reverse engineerin...
131
click to vote
ISMIS
1999
Springer
15 years 9 months ago
1999
Springer
Semantic Query Optimisation makes use of the semantic knowledge of a database (rules) to perform query transformation. Rules are normally learned from former queries fired by the u...
116
click to vote
ICRA
1998
IEEE
15 years 9 months ago
1998
IEEE
: A three-dimensional, self-reconfigurable structure is proposed. The structure is a fully distributed system composed of many identical 3-D units. Each unit has functions of chang...
145
click to vote
EUROCRYPT
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. Provable security is a very nice property for cryptographic protocols. Unfortunately, in many cases, this is at the cost of a considerable loss in terms of efficiency. Mo...