778 search results - page 113 / 156 » Expressiveness and complexity of graph logic |
FORTE
2007
14 years 13 days ago
2007
Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...
FCCM
2008
IEEE
14 years 5 months ago
2008
IEEE
—Gel is a hardware description language that enables quick scripting of high level designs and can be easily extended to new design patterns. It is expression oriented and extrem...
TIME
2005
IEEE
14 years 4 months ago
2005
IEEE
This paper presents an XML-based approach to implementing the parametric model of temporal databases. In the parametric model, attribute values are functions of time and the entir...
CLA
2004
14 years 11 days ago
2004
Ontology design is a complex and time-consuming process. It is extremely difficult for human experts to discover ontology from given data or texts. This paper presents a semi-autom...
DMDW
2001
14 years 11 days ago
2001
Accurately estimating the cardinality of aggregate views is crucial for logical and physical design of data warehouses. While the warehouse is under development and data are not a...