6054 search results - page 398 / 1211 » Implementation of Andorra-based Languages |
189
click to vote
SPLST
2003
15 years 8 months ago
2003
We integrate user-defined functions with semantic equations into standard Prolog. In order to interface them with Prolog, we introduce a single operator. If a predicate invocation...
189
Voted
DLOG
1997
15 years 8 months ago
1997
Abstract. In this short paper we describe the DFL hybrid knowledge base, that integrates descriptions with expressive object-oriented rules. The knowledge base manages a database o...
177
Voted
LOBJET
2006
15 years 6 months ago
2006
ABSTRACT. Design patterns are well-known couples of problems-solutions for software engineering. By nature, they often lack support from languages and this further complicates the ...
171
click to vote
JCC
2000
15 years 6 months ago
2000
The Molecular Modeling Toolkit is a library that implements common molecular simulation techniques, with an emphasis on biomolecular simulations. It uses modern software engineeri...
183
click to vote
TISSEC
2002
15 years 6 months ago
2002
IPsec is the standard suite of protocols for networklayer confidentiality and authentication of Internet traffic. The IPsec protocols, however, do not address the policies for how...