Sciweavers

6836 search results - page 41 / 1368
» Modelling Web-Oriented Architectures
Sort
View
DAC
1990
ACM
13 years 11 months ago
Sequential Circuit Verification Using Symbolic Model Checking
Jerry R. Burch, Edmund M. Clarke, Kenneth L. McMil...
COMPUTER
2002
79views more  COMPUTER 2002»
13 years 7 months ago
A Practical Architecture for Reliable Quantum Computers
wever, by using a simple model of abstract building blocks: quantum bits, gates, and algorithms, and the available implementation technologies--in all their imperfections.7 The bas...
Mark Oskin, Frederic T. Chong, Isaac L. Chuang
GLOBECOM
2010
IEEE
13 years 5 months ago
Space-Time Shift Keying: A Unified MIMO Architecture
In this paper, we propose a novel Space-Time Shift Keying (STSK) modulation scheme for MIMO communication systems, where the concept of spatial modulation is extended to include bo...
Shinya Sugiura, Sheng Chen, Lajos Hanzo
ECBS
2008
IEEE
106views Hardware» more  ECBS 2008»
14 years 2 months ago
AMABULO - A Model Architecture for Business Logic
Models are widely used for communication and documentation purposes. They also tend to be used as parameters for code generation. Because these models have to be complete, consist...
Tobias Brückmann, Volker Gruhn