Sciweavers

3121 search results - page 468 / 625
» Information Survivability Control Systems
Sort
View
167
Voted
AFP
2008
Springer
236views Formal Methods» more  AFP 2008»
15 years 11 months ago
A Tutorial on Parallel and Concurrent Programming in Haskell
This practical tutorial introduces the features available in Haskell for writing parallel and concurrent programs. We first describe how to write semi-explicit parallel programs b...
Simon L. Peyton Jones, Satnam Singh
GLOBECOM
2007
IEEE
15 years 11 months ago
Opportunistic Access with Random Subchannel Backoff (OARSB) for OFDMA Uplink
Abstract— A distributed medium access control (MAC) algorithm for uplink OFDMA networks under the IEEE 802.16 framework is proposed and analyzed in this work. We present a simple...
Yu-Jung Chang, Feng-Tsun Chien, C. C. Jay Kuo
113
Voted
ISCAS
2007
IEEE
155views Hardware» more  ISCAS 2007»
15 years 11 months ago
Scalable Video Streaming over Mobile WiMAX
—In this paper, we will investigate the performance of scalable video streaming services in mobile WiMAX systems. We will show that for each user the implementation of multiple c...
Hung-Hui Juan, Hsiang-Chun Huang, ChingYao Huang, ...
138
Voted
SSS
2007
Springer
15 years 10 months ago
Self-stabilization and Virtual Node Layer Emulations
We present formal definitions of stabilization for the Timed I/O Automata (TIOA) framework, and of emulation for the timed Virtual Stationary Automata programming abstraction laye...
Tina Nolte, Nancy A. Lynch
UM
2007
Springer
15 years 10 months ago
Eliciting Adaptation Knowledge from On-Line Tutors to Increase Motivation
In the classroom, teachers know how to motivate their students and how to exploit this knowledge to adapt or optimize their instruction when a student shows signs of demotivation. ...
Teresa Hurley, Stephan Weibelzahl