4693 search results - page 559 / 939 » Verifying Hybrid Systems |
183
click to vote
JSS
2008
15 years 7 months ago
2008
This paper focuses on the proposal, design, and implementation of AWL, the Adaptive Web Language. Also, an example application named PENS is explained and implemented in AWL. AWL ...
211
click to vote
CVPR
2005
IEEE
16 years 9 months ago
2005
IEEE
Projection systems can be used to implement augmented reality, as well as to create both displays and interfaces on ordinary surfaces. Ordinary surfaces have varying reflectance, ...
196
click to vote
ICIP
2009
IEEE
16 years 8 months ago
2009
IEEE
The throughput of Peer-to-Peer (P2P) Video-on-Demand (VoD) systems is typically capped by the users' aggregate upload bandwidth [1]. The drastic increase in the popularity of...
198
click to vote
LADC
2007
Springer
16 years 1 months ago
2007
Springer
Analysis and design patterns are well established as a convenient and reusable way to build high-quality object-oriented software. Patterns combine experience and good practices t...
178
click to vote
ASPDAC
2007
ACM
15 years 11 months ago
2007
ACM
The development cost of low-power embedded systems can be significantly reduced by reusing legacy designs and applying proper modifications to meet the new power constraints. The ...