Sciweavers

1476 search results - page 108 / 296
» Designing Communication-intensive Web Applications: a Case S...
Sort
View
TIT
2010
105views Education» more  TIT 2010»
14 years 11 months ago
DMT optimality of LR-aided linear decoders for a general class of channels, lattice designs, and system models
The work identifies the first general, explicit, and non-random MIMO encoder-decoder structures that guarantee optimality with respect to the diversity-multiplexing tradeoff (DMT),...
Joakim Jalden, Petros Elia
CHI
2009
ACM
16 years 5 months ago
PlayByPlay: collaborative web browsing for desktop and mobile devices
Collaborative web browsing tasks occur frequently, such as one user showing another how to use a web site, several users working together on a search task, or even one user sendin...
Heather Wiltse, Jeffrey Nichols
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 8 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
WWW
2005
ACM
15 years 10 months ago
Representing personal web information using a topic-oriented interface
Nowadays, Web activities have become daily practice for people. It is therefore essential to organize and present this continuously increasing Web information in a more usable man...
Zhigang Hua, Hao Liu, Xing Xie, Hanqing Lu, Wei-Yi...
ICSE
2007
IEEE-ACM
16 years 4 months ago
Using GUI Run-Time State as Feedback to Generate Test Cases
This paper presents a new automated model-driven technique to generate test cases by using feedback from the execution of a "seed test suite" on an application under tes...
Xun Yuan, Atif M. Memon