3425 search results - page 473 / 685 » A Model Driven Approach for Software Systems Reliability |
130
click to vote
COMPSAC
2008
IEEE
15 years 10 months ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...
117
click to vote
CODES
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper we present an approach to multi-objective exploration of the mapping space of a mesh-based network-on-chip architecture. Based on evolutionary computing techniques, ...
159
click to vote
ESEC
1997
Springer
15 years 8 months ago
1997
Springer
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
125
click to vote
JIRS
2007
15 years 3 months ago
2007
This paper presents a methodology for the realization of intelligent, task-based reconfiguration of the computational hardware for mobile robot applications. Task requirements are ...
154
click to vote
TCOM
2010
14 years 10 months ago
2010
Abstract--Motivated by the recent concept of Spatial Modulation (SM), we propose a novel Space-Time Shift Keying (STSK) modulation scheme for Multiple-Input Multiple-Output (MIMO) ...