1269 search results - page 97 / 254 » Pi-Calculus in Logical Form |
130
click to vote
ACTA
1998
15 years 4 months ago
1998
The paper focusses on the logical backgrounds of the Dijkstra-Scholten program development style for correct programs. For proving the correctness of a program (i.e. the fact that...
149
click to vote
TRUSTBUS
2007
Springer
15 years 11 months ago
2007
Springer
Usage control governs the handling of sensitive data after it has been given away. The enforcement of usage control requirements is a challenge because the service requester in gen...
148
Voted
ASYNC
1997
IEEE
15 years 9 months ago
1997
IEEE
This paper introduces a novel technique for synthesis of speed-independent circuits from their Signal Transition Graph specifications. The new method uses partial order in the fo...
124
Voted
BIRTHDAY
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. Logic preservation theorems often have the form of a syntax/semantics correspondence. For example, the Los-Tarski theorem asserts that a rst-order sentence is preserved b...
150
click to vote
RSCTC
2000
Springer
15 years 8 months ago
2000
Springer
This paper introduces a neural network architecture based on rough sets and rough membership functions. The neurons of such networks instantiate approximate reasoning in assessing ...