3983 search results - page 569 / 797 » Conceptual logic programs |
130
click to vote
CADE
1998
Springer
15 years 8 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...
138
Voted
LICS
1994
IEEE
15 years 7 months ago
1994
IEEE
In this paper we study the interaction of subtyping and parametricity. We describe a logic for a programming language with parametric polymorphism and subtyping. The logic support...
151
click to vote
APNOMS
2006
Springer
15 years 7 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...
122
Voted
EUROMICRO
2004
IEEE
15 years 7 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...
113
Voted
FSKD
2006
Springer
15 years 7 months ago
2006
Springer
Interval number is a kind of special fuzzy number and the interval approach is a good method to deal with some uncertainty. The semi-absolute deviation risk function is extended to...