757 search results - page 101 / 152 » Composing Security-Aware Software |
130
click to vote
SAC
2000
ACM
15 years 7 months ago
2000
ACM
DARWIN is a web-based system for presenting the results of wind-tunnel testing and computational model analyses to aerospace designers. DARWIN captures the data, maintains the inf...
131
click to vote
ECOOP
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Component software means reuse and separate marketing of pre-manufactured binary components. This requires components from different vendors to be composed very late, pos...
125
click to vote
FM
1999
Springer
15 years 7 months ago
1999
Springer
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
124
click to vote
CODES
1998
IEEE
15 years 7 months ago
1998
IEEE
This paper discusses a case study, the co-design of an ATM Network Interface Card (NIC). The NIC is aimed to interface applications with the physical network line. It is composed ...
119
click to vote
AMAST
1998
Springer
15 years 7 months ago
1998
Springer
The goal of this paper is to develop an algebraic theory of process scheduling. We specify a syntax for denoting processes composed of actions with given durations. Subsequently, w...