Sciweavers

3972 search results - page 603 / 795
» Palpability Support Demonstrated
Sort
View
TPDS
2010
143views more  TPDS 2010»
15 years 4 months ago
FIT: A Flexible, Lightweight, and Real-Time Scheduling System for Wireless Sensor Platforms
—We propose FIT, a flexible, lightweight, and real-time scheduling system for wireless sensor platforms. There are three salient features of FIT. First, its two-tier hierarchical...
Wei Dong, Chun Chen, Xue Liu, Kougen Zheng, Rui Ch...
TSE
2010
125views more  TSE 2010»
15 years 4 months ago
Engineering a Sound Assertion Semantics for the Verifying Compiler
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
Patrice Chalin
TVCG
2010
121views more  TVCG 2010»
15 years 4 months ago
Visualizing the Semantic Structure in Classical Music Works
—A major obstacle in the appreciation of classical music is that extensive training is required to understand musical structure and compositional techniques toward comprehending ...
Wing-Yi Chan, Huamin Qu, Wai-Ho Mak
TWEB
2010
164views more  TWEB 2010»
15 years 4 months ago
A distributed service-oriented architecture for business process execution
The Business Process Execution Language (BPEL) standardizes the development of composite enterprise applications that make use of software components exposed as Web services. BPEL...
Guoli Li, Vinod Muthusamy, Hans-Arno Jacobsen
VLSISP
2010
117views more  VLSISP 2010»
15 years 4 months ago
Video Streaming with Network Coding
Recent years have witnessed an explosive growth in multimedia streaming applications over the Internet. Notably, Content Delivery Networks (CDN) and Peer-to-Peer (P2P) networks ha...
Kien Nguyen, Thinh Nguyen, Sen-Ching S. Cheung