3771 search results - page 164 / 755 » Subobject Transformation Systems |
121
Voted
JCP
2008
15 years 3 months ago
2008
This paper discusses the issue of information interoperability. In view of the problems that it is difficult to solve the semantic conflicts in information interoperability, the pa...
112
Voted
APLAS
2004
ACM
15 years 9 months ago
2004
ACM
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrat...
161
Voted
COMPASS
1994
15 years 7 months ago
1994
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
167
Voted
EUROCRYPT
2000
Springer
15 years 7 months ago
2000
Springer
In a series of papers Patarin proposes new efficient public key systems. A very interesting proposal, called 2-Round Public Key System with S Boxes, or 2R, is based on the difficul...
131
click to vote
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Behavior tables are a design formalization intended to support interactive design derivation for hardware and embedded systems. It is a reformulation of the DDD transform...