967 search results - page 117 / 194 » Building a Calculus of Data Structures |
SIGMOD
2007
ACM
14 years 8 months ago
2007
ACM
Rapidly leveraging information analytics technologies to mine the mounting information in structured and unstructured forms, derive business insights and improve decision making i...
OSS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. The use of Off-The-Shelf software components in ComponentBased Development implies many challenges. One of them is the lack of available and well-suited data to support s...
HASKELL
2005
ACM
14 years 1 months ago
2005
ACM
Haskell has proved itself to be a suitable implementation language for large software projects. Nevertheless, surprisingly few graphical end-user applications have been written in...
ISAAC
2001
Springer
14 years 9 days ago
2001
Springer
We consider the problem of developing algorithms for the recognition of a fixed pattern within a permutation. These methods are based upon using a carefully chosen chain or tree ...
APSEC
1997
IEEE
14 years 2 days ago
1997
IEEE
SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data ow diagrams, VDM-SL, and Petri ...