420 search results - page 59 / 84 » A pattern language for BRMS development |
EXTREME
2004
ACM
15 years 7 months ago
2004
ACM
Large volumes of XML document instances are created by conversion systems that rely on heuristic-based tagging. Quality assurance is typically conducted on individual document ins...
122
click to vote
INFORMATICALT
2007
15 years 1 months ago
2007
The paper presents, first, the Structural Blanks (SB) approach, then a method to compose loop programs. SB is an approach for expressing computations based on recurrence relations...
121
click to vote
SAC
2000
ACM
15 years 6 months ago
2000
ACM
: The World Wide Web’s anticipated scope as an environment for knowledge exchange has changed dramatically. Without major modifications to its primary mechanisms the Web has turn...
208
click to vote
POPL
2008
ACM
16 years 2 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
138
click to vote
KDD
2004
ACM
16 years 2 months ago
2004
ACM
We present a case study about the application of the inductive database approach to the analysis of Web logs. We consider rich XML Web logs ? called conceptual logs ? that are gen...