1054 search results - page 91 / 211 » Translation Validation of System Abstractions |
153
click to vote
TCOM
2010
15 years 1 months ago
2010
Abstract--For a multiple-input multiple-output (MIMO) system with more antennas at the receiver than the transmitter, selecting the same number of receiver antennas as the number o...
136
click to vote
ICECCS
2007
IEEE
16 years 18 days ago
2007
IEEE
Abstract—Plugin-based application design has become increasingly popular in recent years, and has contributed to the success of a range of very different applications including ...
175
click to vote
ACTA
2002
15 years 6 months ago
2002
Abstract. In this paper the focus is on object-oriented analysis of information systems. We assume that the communication within an application domain can be described by a logbook...
160
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
Abstract. Diffuse optical tomography (DOT) is a noninvasive imaging technology that is sensitive to local concentration changes in oxyand deoxyhemoglobin. When applied to functiona...
183
click to vote
ACSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—The traditional virtual machine usage model advocates placing security mechanisms in a trusted VM layer and letting the untrusted guest OS run unaware of the presence of...