12774 search results - page 214 / 2555 » A Framework for Proof Systems |
175
click to vote
INTERSENSE
2006
ACM
16 years 17 days ago
2006
ACM
— There is growing interest in the networked sensing community in the technique of macroprogramming, where the end-user can design a system using a high level description without...
175
click to vote
DSN
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper describes a framework for achieving node-level fault tolerance (NLFT) in distributed realtime systems. The objective of NLFT is to mask errors at the node level in orde...
197
click to vote
UM
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. This research proposes an adaptive mechanism of information visualizing that responds to context changes in knowledge-intensive work. A framework of Context-Sensitive Vis...
191
Voted
ICN
2001
Springer
15 years 11 months ago
2001
Springer
In this paper, a system-level framework is proposed for 3-D graphics streaming. The proposed architecture is scalable with respect to the variations in both bandwidth and channel e...
158
click to vote
RSS
2007
15 years 8 months ago
2007
— This paper studies the optimal motion control of mechanical systems through a discrete geometric approach. At the core of our formulation is a discrete Lagrange-d’AlembertPon...