3555 search results - page 167 / 711 » Security-Critical System Development with Extended Use Cases |
176
click to vote
ACS
2002
15 years 3 months ago
2002
cal Abstract Algebraic Logic: Algebraizable Institutions To Don Pigozzi this work is dedicated GEORGE VOUTSADAKIS Department of Mathematics, Iowa State University, Ames, IA 50011 U...
121
click to vote
ISN
1999
Springer
15 years 8 months ago
1999
Springer
The competitive pressures of the telecoms sector are leading to a major push towards the automation and integration of many operational support processes. This creates pressures to...
132
Voted
ISCAPDCS
2003
15 years 5 months ago
2003
Kernel coupling refers to the effect that kernel i has on kernel j in relation to running each kernel in isolation. The two kernels can correspond to adjacent kernels or a chain ...
138
click to vote
PPAM
2005
Springer
15 years 9 months ago
2005
Springer
Algorithms for the sparse matrix-vector multiplication (shortly SpM×V ) are important building blocks in solvers of sparse systems of linear equations. Due to matrix sparsity, the...
168
click to vote
ECBS
2011
IEEE
14 years 3 months ago
2011
IEEE
—Developing dependable distributed real-time and embedded (DRE) systems incurs significant complexities in the tradeoffs resulting from the different conflicting attributes of ...