1054 search results - page 137 / 211 » Translation Validation of System Abstractions |
145
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Decisions regarding the mapping of software components to hardware nodes affect the quality of the resulting system. Making these decisions is hard when considering the ...
162
click to vote
ICRA
2009
IEEE
16 years 28 days ago
2009
IEEE
Abstract— Stigmergy is a mechanism that allows the coordination of actions within the same agent or across different agents by means of traces left in the environment. We propose...
162
click to vote
FORMATS
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. We study the realizability problem for specifications of reactive systems expressed in real-time linear temporal logics. The logics we consider are subsets of MITL (Metr...
135
click to vote
IDEAL
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. In this paper, we present a more effective approach to clustering with eXtended Classifier System (XCS) which is divided into two phases. The first phase is the XCS le...
197
click to vote
GLOBECOM
2007
IEEE
16 years 18 days ago
2007
IEEE
Abstract—This paper analyzes the performance of multipleinput multiple-output (MIMO) systems with transmit and receive antenna selection (T-RAS). The average bit error rate (BER)...