474 search results - page 66 / 95 » Assurance Based Development of Critical Systems |
154
click to vote
INFOCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
We consider a class of queueing networks referred to as “generalized constrained queueing networks” which form the basis of several different communication networks and inform...
169
click to vote
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
Named constants are used heavily in operating systems code, both as internal flags and in interactions with devices. Decision making within an operating system thus critically de...
147
click to vote
ICCD
2006
IEEE
16 years 1 months ago
2006
IEEE
Technology trends are driving parallel on-chip architectures in the form of multi-processor systems-on-a-chip (MPSoCs) and chip multi-processors (CMPs). In these systems the incre...
137
click to vote
ISORC
2005
IEEE
15 years 10 months ago
2005
IEEE
Depending on the physical structuring of large distributed safety-critical real-time systems, one can distinguish federated and integrated system architectures. The DECOS architec...
124
click to vote
FASE
1998
Springer
15 years 8 months ago
1998
Springer
A critical issue for complex component-based systems design is the modeling and analysis of architecture. One of the complicating factors in developing architectural models is acc...