345 search results - page 40 / 69 » Computer-Assisted Simulation Proofs |
ENTCS
2006
15 years 2 months ago
2006
A compiler that automatically translates recursive function definitions in higher order logic to clocked synchronous hardware is described. Compilation is by mechanised proof in t...
143
Voted
IJSN
2008
15 years 2 months ago
2008
: Group key management has received a particular attention, these last years, in both academic and industry research communities. This is due to the economical relevance of group-b...
107
click to vote
IPL
2008
15 years 2 months ago
2008
Slicing is a program transformation technique with numerous applications, as it allows the user to focus on the parts of a program that are relevant for a given purpose. Ideally, ...
109
click to vote
IJSYSC
2006
15 years 2 months ago
2006
: A backlash compensator is designed for nonlinear systems using the fuzzy logic. The classification property of fuzzy logic systems makes them a natural candidate for the rejectio...
119
click to vote
ENTCS
2007
15 years 2 months ago
2007
We propose a process calculus to study the behavioural theory of Mobile Ad Hoc Networks. The operational semantics of our calculus is given both in terms of a Reduction Semantics ...