Sciweavers

10996 search results - page 1832 / 2200
» Future Directions in Computing
Sort
View
RTSS
2006
IEEE
16 years 23 days ago
Generalized Elastic Scheduling
The elastic task model proposed by Buttazzo, et. al. [9] is a powerful model for adapting real-time systems in the presence of uncertainty. This paper generalizes the existing ela...
Thidapat Chantem, Xiaobo Sharon Hu, Michael D. Lem...
TABLETOP
2006
IEEE
16 years 23 days ago
uPen: A Smart Pen-liked Device for Facilitating Interaction on Large Displays
This paper presents the uPen, a laser pointer combined with a contact-pushed switch, three press buttons and a wireless communication module. This novel interaction device allows ...
Xiaojun Bi, Yuanchun Shi, Xiaojie Chen
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
16 years 23 days ago
Bogor: A Flexible Framework for Creating Software Model Checkers
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
Robby, Matthew B. Dwyer, John Hatcliff
WIOPT
2006
IEEE
16 years 23 days ago
On the macroscopic effects of local interactions in multi-hop wireless networks
Abstract— The objective of the paper is to provide qualitative insight into the global effects of distributed mechanisms, such as carrier sense multiple access (CSMA) and rate co...
Venkatesh Saligrama, David Starobinski
ACOM
2006
Springer
16 years 22 days ago
Towards Design Tools for Protocol Development
Interaction protocols enable agents to communicate with each other effectively. Whereas several approaches exist to specify interaction protocols, none of them has design tools th...
Pinar Yolum
« Prev « First page 1832 / 2200 Last » Next »