1341 search results - page 132 / 269 » Logic for Modeling Product Structure |
166
Voted
BXML
2003
15 years 4 months ago
2003
We present an approach of how to automatically extract an XML document structure from a conceptual data model that describes the content of the document. We use UML class diagrams ...
142
click to vote
PLDI
2010
ACM
15 years 8 months ago
2010
ACM
Many opportunities for easy, big-win, program optimizations are missed by compilers. This is especially true in highly layered Java applications. Often at the heart of these misse...
141
click to vote
GI
2009
Springer
15 years 8 months ago
2009
Springer
: Future nano scale devices will expose different characteristics than todays silicon devices. While the exponential growth of non recurring expenses (NRE, mostly due to mask sets)...
189
Voted
SIGMOD
2012
ACM
13 years 5 months ago
2012
ACM
While extensive work has been done on evaluating queries over tuple-independent probabilistic databases, query evaluation over correlated data has received much less attention eve...
158
Voted
ENTCS
2006
15 years 3 months ago
2006
Separation logic [20,21,14] began life as an extended formalisation of Burstall's treatment of list-mutating programs [8]. It rapidly became clear that there was more that it...