Sciweavers

485 search results - page 30 / 97
» Easy Keys for OWL
Sort
View
ICDE
2001
IEEE
192views Database» more  ICDE 2001»
15 years 11 months ago
Integrating Data Mining with SQL Databases: OLE DB for Data Mining
The integration of data mining with traditional database systems is key to making it convenient, easy to deploy in real applications, and to growing its user base. In this paper w...
Amir Netz, Surajit Chaudhuri, Usama M. Fayyad, Jef...
WWW
2001
ACM
15 years 10 months ago
A unified constraint model for XML
Integrity constraints are an essential part of a modern schema definition language. They are useful for semantic specification, update consistency control, query optimization, inf...
Gabriel M. Kuper, Jérôme Siméo...
POPL
2001
ACM
15 years 10 months ago
A generic type system for the Pi-calculus
We propose a general, powerful framework of type systems for the -calculus, and show that we can obtain as its instances a variety of type systems guaranteeing non-trivial propert...
Atsushi Igarashi, Naoki Kobayashi
HOST
2009
IEEE
15 years 4 months ago
Secure IP-Block Distribution for Hardware Devices
—EDA vendors have proposed a standard for the sharing of IP among vendors to be used in the design and development of IP for FPGAs. Although, we do not propose any attacks, we sh...
Jorge Guajardo, Tim Güneysu, Sandeep S. Kumar...
ATAL
2007
Springer
15 years 4 months ago
Matrix-based representation for coordination fault detection: a formal approach
Teamwork requires that team members coordinate their actions. The representation of the coordination is a key requirement since it influences the complexity and flexibility of r...
Meir Kalech, Michael Lindner, Gal A. Kaminka