1187 search results - page 228 / 238 » Graph-Based Procedural Abstraction |
PLDI
1997
ACM
15 years 1 months ago
1997
ACM
An interface definition language (IDL) is a nontraditional language for describing interfaces between software components. IDL compilers generate “stubs” that provide separat...
114
click to vote
MCMASTER
1993
15 years 1 months ago
1993
Abstract. This survey of the theory and applications of rewriting with equations discusses the existence and uniqueness of normal forms, the Knuth-Bendix completion procedure and i...
KR
1992
Springer
15 years 1 months ago
1992
Springer
Abstract, We consider the problem of integrating Reiter's default logic into terminological representation systems. It turns out that such an integration is less straightforwa...
85
Voted
CSE
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract--Much of modern software development consists of assembling together existing software components and writing the glue code that integrates them into a unified application...
107
click to vote
ANTSW
2004
Springer
15 years 1 months ago
2004
Springer
ed Abstract We present two heuristic mesh-partitioning methods, both of which build on the multiple ant-colony algorithm in order to improve the quality of the mesh partitions. The...