5499 search results - page 369 / 1100 » Generalized Rewrite Theories |
177
Voted
DAC
2005
ACM
16 years 8 months ago
2005
ACM
In this paper, we present a new linear-time retiming algorithm that produces near-optimal results. Our implementation is specifically targeted at Altera's Stratix [1] FPGAbas...
230
click to vote
WWW
2006
ACM
16 years 8 months ago
2006
ACM
This work addresses conceptual modeling and automatic code generation for Rich Internet Applications, a variant of Web-based systems bridging the gap between desktop and Web inter...
192
click to vote
WWW
2005
ACM
16 years 8 months ago
2005
ACM
The correctness of the Z semantics of OWL is the theoretical foundation of using software engineering techniques to verify Web ontologies. As OWL and Z are based on different logi...
206
click to vote
WWW
2003
ACM
16 years 8 months ago
2003
ACM
This paper describes a new paradigm for modeling traffic levels on the world wide web (WWW) using a method of entropy maximization. This traffic is subject to the conservation con...
190
click to vote
PODC
2009
ACM
16 years 8 months ago
2009
ACM
In this work we define and study a new model for the caching problem in a heterogeneous wireless network under a flash-crowd scenario. Using non-cooperative game theory, we cast t...