1301 search results - page 54 / 261 » Specifications via Realizability |
INTERNET
2002
13 years 9 months ago
2002
The core mission of the semantic web, namely, to enable information to be shared across the web, faces significant challenges. The challenges come from the difficulty of capturing...
ICCAD
1999
IEEE
14 years 2 months ago
1999
IEEE
This paper considers the problem of determining an optimal clock skew schedule for a synchronous VLSI circuit. A novel formulation of clock skew scheduling as a constrained quadrat...
BMCBI
2010
13 years 10 months ago
2010
Background: Matrix metalloproteinases (MMPs) are well-known biological targets implicated in tumour progression, homeostatic regulation, innate immunity, impaired delivery of pro-...
SIGMOD
2002
ACM
14 years 10 months ago
2002
ACM
QURSED enables the development of web-based query forms and reports (QFRs) that query and report semistructured XML data, i.e., data that are characterized by nesting, irregularit...
CCS
2008
ACM
13 years 12 months ago
2008
ACM
Privacy concerns relating to sharing network traces have traditionally been handled via sanitization, which includes removal of sensitive data and IP address anonymization. We arg...