Sciweavers

6456 search results - page 425 / 1292
» Constraint Solving on Terms
Sort
View
WWW
2007
ACM
16 years 7 months ago
Bridging the gap between OWL and relational databases
Schema statements in OWL are interpreted quite differently from analogous statements in relational databases. If these statements are meant to be interpreted as integrity constrai...
Boris Motik, Ian Horrocks, Ulrike Sattler
WWW
2004
ACM
16 years 7 months ago
Scheduling web requests in broadcast environments
On-demand broadcast has been supported in the Internet to enhance system scalability. Unfortunately, most of existing on-demand scheduling algorithms did not consider the time con...
Jianliang Xu, Wang-Chien Lee, Jiangchuan Liu
CAV
2009
Springer
176views Hardware» more  CAV 2009»
16 years 7 months ago
PAT: Towards Flexible Verification under Fairness
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing ...
Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jun Pa...
PERCOM
2008
ACM
16 years 6 months ago
Load Sharing and Bandwidth Control in Mobile P2P Wireless Sensor Networks
In this paper, we investigate the problem of resource constraints in Mobile Peer-to-Peer Wireless Sensor Networks (MP2P WSNs). We propose a scheme to load share tasks among peer s...
Elisa Rondini, Stephen Hailes, Li Li
DAC
2009
ACM
16 years 1 months ago
Yield-driven iterative robust circuit optimization algorithm
This paper proposes an equation-based multi-scenario iterative robust optimization methodology for analog/mixed-signal circuits. We show that due to local circuit performance mono...
Yan Li, Vladimir Stojanovic