2056 search results - page 204 / 412 » Software Architectural Design Meets Security Engineering |
354
Voted
Lab
The Institute's mission is to produce excellent, innovative and nationalistic engineers and to advance the field of electrical and electronics engineering.
The undergr...
146
Voted
ICSE
2009
IEEE-ACM
15 years 2 months ago
2009
IEEE-ACM
Abstract. At our behest or otherwise, while our software is being executed, a huge variety of design assumptions is continuously matched with the truth of the current condition. Wh...
142
click to vote
EMSOFT
2004
Springer
15 years 10 months ago
2004
Springer
Dataflow synchronous languages have attracted considerable interest in domains such as real-time control and hardware design. The potential benefits are promising: Discrete-time...
169
Voted
CCS
2011
ACM
14 years 4 months ago
2011
ACM
We develop a flexible information-flow type system for a range of encryption primitives, precisely reflecting their diverse functional and security features. Our rules enable e...
121
Voted
DAC
2002
ACM
16 years 5 months ago
2002
ACM
We have developed a generic integer linear programming(ILP)based engineering change(EC) methodology. The EC methodology has three components: enabling, fast, and preserving. Enabl...