15777 search results - page 2804 / 3156 » The Reformulation-Optimization Software Engine |
157
click to vote
IJVR
2006
15 years 4 months ago
2006
In this article we propose an architecture for the inclusion and exploitation of semantic aspects in a CAD environment. Our schema focuses on the enhancement and improvement of a c...
119
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
The aim of this paper is to propose an approach based on the concept of annotation for supporting design communication. In this paper, we describe a co-operative design case study...
274
click to vote
IPM
2007
15 years 4 months ago
2007
We consider a network of autonomous peers forming a logically global but physically distributed search engine, where every peer has its own local collection generated by independe...
150
Voted
POPL
2012
ACM
14 years 6 days ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
155
Voted
VAMOS
2007
Springer
15 years 10 months ago
2007
Springer
A short theatrical exaggeration (but not too much) which describes practical problems with variability as experienced by real-world software developers. Real issue, there are no p...