3273 search results - page 326 / 655 » Structured Design of Microelectromechanical Systems |
125
click to vote
ESOP
2007
Springer
15 years 11 months ago
2007
Springer
In this paper, we describe the key principles of a dependent type system for low-level imperative languages. The major contributions of this work are (1) a sound type system that c...
149
click to vote
RE
2007
Springer
15 years 11 months ago
2007
Springer
Designing a secure and dependable system is not just a technical issue, it involves also a deep analysis of the organizational and the social environment in which the system will ...
147
Voted
ISORC
2006
IEEE
15 years 11 months ago
2006
IEEE
Integrated architectures promise substantial technical and economic benefits in the development of distributed embedded real-time systems. In the context of diagnosis new diagnos...
142
click to vote
ICMCS
1994
IEEE
15 years 9 months ago
1994
IEEE
Continuous media playback suffers when a station's operating system offers insufficient 1/0 throughput. Conventional 1/0 system structures support a memory-oriented read and ...
131
click to vote
EXPERT
2007
15 years 5 months ago
2007
three levels of abstraction in system modeling. Computation Independent Model (CIM) corresponds to the system's domain model and is similar to the domain ontology. It does not...