1288 search results - page 215 / 258 » On Analysis of Design Component Contracts: A Case Study |
102
click to vote
JOT
2006
15 years 1 months ago
2006
Model transformation has become one of the most focused research field, motivated by for instance the OMG's Model-Driven Architecture (MDA). Metamodeling is a central techniq...
109
click to vote
DATAMINE
2002
15 years 1 months ago
2002
To satisfy potential customers of a Web site and to lead them to the goods offered by the site, one should support them in the course of navigation they have embarked on. This pape...
134
click to vote
CCE
2011
14 years 8 months ago
2011
Selective liquid membranes have been traditionally employed for liquid/liquid and gas/liquid mass transfer in a wide range of applications. In particular, the Emulsion Pertraction...
206
click to vote
COMPGEOM
2011
ACM
14 years 5 months ago
2011
ACM
We propose a framework for compressive sensing of images with local geometric features. Specifically, let x ∈ RN be an N-pixel image, where each pixel p has value xp. The image...
123
click to vote
DOCENG
2005
ACM
15 years 3 months ago
2005
ACM
Fully automatic machine translation cannot produce high quality translation; Dialog-Based Machine Translation (DBMT) is the only way to provide authors with a means of translating...