Sciweavers

1476 search results - page 108 / 296
» Designing Communication-intensive Web Applications: a Case S...
Sort
View
TIT
2010
105views Education» more  TIT 2010»
15 years 25 days 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 6 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
164
Voted
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 10 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 11 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...
133
Voted
ICSE
2007
IEEE-ACM
16 years 6 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