3738 search results - page 534 / 748 » Parametrized Logic Programming |
103
Voted
HICSS
1998
IEEE
15 years 4 months ago
1998
IEEE
We utilize the situation calculus to develop a logical model of hypertext systems. The work builds upon the earlier work of Bieber and Kimbrough in the logical modeling of hyperte...
105
Voted
CADE
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. We present a theorem proving environment for the development of reliable and efficient group communication systems. Our approach makes methods of automated deduction appl...
129
click to vote
APNOMS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. The Next Generation Network (NGN) has a multilayer logical construction. Network carriers use various tools in complex procedures to operate application servers on the NG...
91
Voted
EUROMICRO
2004
IEEE
15 years 4 months ago
2004
IEEE
Today, security is recognized as an absolute need in application development. Programming environments offer mechanisms and concepts allowing an easy integration of security mecha...
99
Voted
ICCAD
1995
IEEE
15 years 4 months ago
1995
IEEE
Abstract—We propose the use of the logic S1S as a mathematical framework for studying the synthesis of sequential designs. We will show that this leads to simple and mathematical...