6047 search results - page 592 / 1210 » Modeling with Extend |
205
click to vote
WORDS
2005
IEEE
16 years 1 months ago
2005
IEEE
We have previously presented initial results of a case study which illustrated an approach to engineering protective wrappers as a means of detecting errors or unwanted behaviour ...
189
click to vote
ACMSE
2005
ACM
16 years 1 months ago
2005
ACM
A simple extension to the relational model that permits metadata (more generally metaknowledge) to be stored and manipulated as first class data is proposed. The accompanying que...
164
click to vote
ICALP
2005
Springer
16 years 29 days ago
2005
Springer
We investigate the decidability of observational equivalence and approximation in “Syntactic Control of Interference” (SCI). By asg denotations of terms in an inequationally fu...
190
click to vote
PATMOS
2005
Springer
16 years 28 days ago
2005
Springer
As the number of metal layers and the frequency of VLSI continue to increase, the voltage droop on both the package and vias is becoming more pronounced. This paper analyzes the nu...
226
click to vote
WER
2005
Springer
16 years 27 days ago
2005
Springer
Requirement traceability is intended to ensure continued alignment between stakeholders’ requirements and various outputs of the system development process. Therefore a process f...