8766 search results - page 1382 / 1754 » Functional logic programming |
119
click to vote
CAV
2004
Springer
15 years 9 months ago
2004
Springer
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...
130
click to vote
DFG
2004
Springer
15 years 9 months ago
2004
Springer
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...
150
click to vote
DNA
2004
Springer
15 years 9 months ago
2004
Springer
Practically all of life’s molecular processes, from chemical synthesis to replication, involve enzymes that carry out their functions through the catalysis of metastable fuels in...
193
click to vote
E4MAS
2004
Springer
15 years 9 months ago
2004
Springer
The increasing ubiquity of mobile computing devices has made mobile ad hoc networks an everyday occurrence. Applications in these networks are commonly structured as a logical netw...
121
click to vote
ICOIN
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In our previous work, we have proposed a new VPN architecture for enabling user-based multiply associated VPNs [1]. Almost all existing VPN technologies assume that users...