12551 search results - page 254 / 2511 » Reuse in Systems Engineering |
188
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We present the first complete soundness proof of the antiframe rule, a recently proposed proof rule for capturing information hiding in the presence of higher-order stor...
178
click to vote
WSC
2004
15 years 8 months ago
2004
The Virtual Test Bed (VTB) is a prototype of a virtual engineering environment to study operations of current and future space vehicles, spaceports, and ranges. The HighLevel Arch...
160
click to vote
AOSD
2008
ACM
15 years 8 months ago
2008
ACM
Program enhancement refers to adding new functionality to an existing program. We argue that repetitive program enhancement tasks can be expressed as patterns, and that the applic...
209
click to vote
WSC
1997
15 years 8 months ago
1997
Distributed discrete event simulation techniques aim at an acceleration of the execution of a self-contained simulation model by the spatial decomposition of that model and the co...
147
click to vote
AHCI
2010
15 years 1 months ago
2010
This paper presents the SEMAINE API, an open source framework for building emotion-oriented systems. By encouraging and simplifying the use of standard representation formats, the...