279 search results - page 38 / 56 » Typability in Partial Applicative Structures |
ICDE
2007
IEEE
14 years 1 months ago
2007
IEEE
Re-occurrence of the same problem is very common in many large software products. By matching the symptoms of a new problem to those in a database of known problems, automated dia...
APSEC
2006
IEEE
14 years 1 months ago
2006
IEEE
Model-based software development is gaining interest in domains such as avionics, space, and automotives. The model serves as the central artifact for the development efforts (suc...
MMSEC
2006
ACM
14 years 1 months ago
2006
ACM
In the watermark detection scenario, also known as zero-bit watermarking, a watermark, carrying no hidden message, is inserted in content. The watermark detector checks for the pr...
SIGECOM
2005
ACM
14 years 1 months ago
2005
ACM
We present the first design for a fully expressive iterative combinatorial exchange (ICE). The exchange incorporates a tree-based bidding language that is concise and expressive ...
GPCE
2005
Springer
14 years 1 months ago
2005
Springer
We describe the application of generative programming to a problem in interactive information retrieval. The particular interactive information retrieval problem we study is the su...