16218 search results - page 20 / 3244 » Standards |
CAISE
2003
Springer
15 years 2 months ago
2003
Springer
Interactions between organisations are becoming more and more frequent. One of the most common approaches is to use standards-based communication for information exchange. Even tho...
COMPSAC
2002
IEEE
15 years 2 months ago
2002
IEEE
Software standards are highly recommended because they promise faster and more efficient ways for software development with proven techniques and standard notations. Designers who...
PEPM
1994
ACM
15 years 1 months ago
1994
ACM
We present an efficient base algorithm for binding-time analysis based on constraint solving and the union-find algorithm. In practice it has been used to handle all of Standard M...
TABLEAUX
1995
Springer
15 years 1 months ago
1995
Springer
We present a procedure transforming intuitionistic matrix proofs into proofs within the intuitionistic standard sequent calculus. The transformation is based on L. Wallen’s proof...
82
Voted
SPLST
2003
14 years 11 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...