3273 search results - page 237 / 655 » Structured Design of Microelectromechanical Systems |
169
click to vote
I3E
2001
15 years 5 months ago
2001
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
155
click to vote
ICECCS
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper presents the Architecture Tradeoff Analysis Method (ATAM), a structured technique for understanding the tradeoffs inherent in design. This method was developed to provi...
124
Voted
SOSP
1997
ACM
15 years 5 months ago
1997
ACM
Implementing new operating systems is tedious, costly, and often impractical except for large projects. The Flux OSKit addresses this problem in a novel way by providing clean, we...
184
click to vote
ICDE
1994
IEEE
15 years 8 months ago
1994
IEEE
We describe the design of Mariposa, an experimental distributed data management system that provides high performance in an environment of high data mobility and heterogeneous hos...
111
click to vote
WSC
2004
15 years 5 months ago
2004
As systems become more and more complex the use of automation tools becomes more important. Although automation is introduced to reduce human workload, improve situational awarene...