1269 search results - page 97 / 254 » Pi-Calculus in Logical Form |
ACTA
1998
15 years 11 days 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...
111
click to vote
TRUSTBUS
2007
Springer
15 years 6 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...
114
Voted
ASYNC
1997
IEEE
15 years 4 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...
BIRTHDAY
1997
Springer
15 years 4 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...
116
click to vote
RSCTC
2000
Springer
15 years 4 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 ...