6834 search results - page 186 / 1367 » The Fail-Heterogeneous Architectural Model |
130
click to vote
ACSAC
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper concentrates on one particular aspect of providing communication security: rewalls between domains of trust. We argue that signaling support for providing scalable secu...
127
click to vote
DAC
2010
ACM
15 years 7 months ago
2010
ACM
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
126
click to vote
DAC
2010
ACM
15 years 7 months ago
2010
ACM
In this paper we summarize recent developments in compact dynamical modeling for both linear and nonlinear systems arising in analog applications. These techniques include methods...
153
click to vote
BIRTHDAY
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. The Object Constraint Language (OCL) can be used to capture strucnstraints in the context of the abstract syntax of modelling languages (metamodels) defined in the MOF me...
133
click to vote
MVA
2006
15 years 3 months ago
2006
Abstract This work proposes a system for the automatic construction of multi-spectral three-dimensional (3D) models of architecture. Besides the specific application, which concern...