Sciweavers

29143 search results - page 158 / 5829
» A Sortation System Model
Sort
View
APSEC
1999
IEEE
15 years 6 months ago
The Quest for Correct Systems: Model Checking of Diagrams and Datatypes
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
Jan Philipps, Oscar Slotosch
CHI
2005
ACM
16 years 2 months ago
Improving orchestral conducting systems in public spaces: examining the temporal characteristics and conceptual models of conduc
Designing interactive conducting exhibits for public spaces poses unique challenges, primarily because the conceptual model of conducting music varies amongst users. In a user stu...
Eric Lee, Marius Wolf, Jan Borchers
127
Voted
HICSS
2009
IEEE
104views Biometrics» more  HICSS 2009»
15 years 9 months ago
Towards a Procedural Model for Sustainable Information Systems Management
The increasing economical, ecological and social significance of information systems (IS) demands reorientation for IS management. Ever-growing energy consumption, waste streams, ...
Nils-Holger Schmidt, Koray Erek, Lutz Kolbe, R&uum...
195
Voted
HPDC
2008
IEEE
15 years 9 months ago
Harmony: an execution model and runtime for heterogeneous many core systems
The emergence of heterogeneous many core architectures presents a unique opportunity for delivering order of magnitude performance increases to high performance applications by ma...
Gregory F. Diamos, Sudhakar Yalamanchili
112
Voted
ICC
2007
IEEE
175views Communications» more  ICC 2007»
15 years 8 months ago
Cooperative Diversity for Virtual MIMO System in Geometry-Based Stochastic Channel Model
—Cooperative diversity is effectively used to combat the correlated fading. In the existing papers on cooperative diversity, the fading channels are idealistically assumed to be ...
Hongtao Zhang, Geng-Sheng Kuo