3273 search results - page 300 / 655 » Structured Design of Microelectromechanical Systems |
129
Voted
ZUM
2000
Springer
15 years 8 months ago
2000
Springer
We have recently completed the specication and security proof of a large, industrial scale application. The application is security critical, and the modelling and proof were done ...
127
click to vote
AUTOMATICA
2002
15 years 4 months ago
2002
: This paper investigates the accuracy of the linear model estimate that forms a part of an overall Hammerstein model structure. A key finding here is that the process of estimatin...
160
click to vote
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
126
click to vote
SIGCSE
2004
ACM
15 years 10 months ago
2004
ACM
The nearly three dozen core technologies of computing sit in a simple framework defined by great principles and by computing practices. The great principles are of two kinds, mech...
232
click to vote
SIGMOD
2005
ACM
16 years 5 months ago
2005
ACM
In recent years there has been considerable research on automated selection of physical design in database systems. In current solutions, candidate access paths are heuristically ...