Sciweavers

8492 search results - page 594 / 1699
» Modelling and Design of Multi-Agent Systems
Sort
View
DSRT
2008
IEEE
15 years 9 months ago
Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...
Ana R. Cavalli, Edgardo Montes de Oca, Wissam Mall...
FLAIRS
2004
15 years 8 months ago
A Dialogue-Based Tutoring System for Beginning Programming
We present a preventive model of tutoring for novice programming derived from a human corpus and describe our intelligent tutoring system PROPL embodying that model. The system co...
H. Chad Lane, Kurt VanLehn
JCM
2008
101views more  JCM 2008»
15 years 7 months ago
MIMO Channel Sounder at 3.5 GHz: Application to WiMAX System
The use of antenna arrays at emission and reception seems to represent a prominent solution for future wireless systems, it improves data rates and enhances the quality of service....
Hanna Farhat, Guy Grunfelder, Alvaro Carcelen, Gha...
JCIT
2010
130views more  JCIT 2010»
15 years 2 months ago
Research on Simulation and Optimization of Transshipment Port Operation in a Power Coal Ocean Shipping Logistics System on the B
With China's rapid economic development, electricity supply is relatively shortage, and the contradiction of power coal supply and demand is prominent. In this context, using...
Yabin Li
ICASSP
2011
IEEE
14 years 11 months ago
Heterogeneous multiprocessor mapping for real-time streaming systems
Real-time streaming signal processing systems typically desire high throughput and low latency. Many such systems can be modeled as synchronous data flow graphs. In this paper, w...
Jing Lin, Akshaya Srivatsa, Andreas Gerstlauer, Br...