Sciweavers

2883 search results - page 119 / 577
» New Challenges in Dynamical Systems: The Networked Case
Sort
View
ATVA
2006
Springer
206views Hardware» more  ATVA 2006»
15 years 10 months ago
Compositional Reasoning for Hardware/Software Co-verification
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...
Fei Xie, Guowu Yang, Xiaoyu Song
GCB
2009
Springer
154views Biometrics» more  GCB 2009»
15 years 10 months ago
Comparative Identification of Differential Interactions from Trajectories of Dynamic Biological Networks
Abstract: It is often challenging to reconstruct accurately a complete dynamic biological network due to the scarcity of data collected in cost-effective experiments. This paper ad...
Zhengyu Ouyang, Mingzhou Song
MOBICOM
2006
ACM
16 years 11 days ago
Robust rate adaptation for 802.11 wireless networks
Rate adaptation is a mechanism unspecified by the 802.11 standards, yet critical to the system performance by exploiting the multi-rate capability at the physical layer. In this ...
Starsky H. Y. Wong, Songwu Lu, Hao Yang, Vaduvur B...
AINA
2009
IEEE
16 years 1 months ago
SOA Initiatives for eLearning: A Moodle Case
— Mobile learning applications introduce a new degree of ubiquitousness in the learning process. There is a new generation of ICT-powered mobile learning experiences that exist i...
María José Casany Guerrero, Marc Ali...
TRIDENTCOM
2005
IEEE
15 years 12 months ago
A Practical Approach for 4G Systems: Deployment of Overlay Networks
Experimental activities play a vital role in the deployment and development of novel radio access networks. In particular the movement from 3G to 4G poses new challenges, which ne...
Pablo Vidales, Glenford E. Mapp, Frank Stajano, Jo...