Sciweavers

1982 search results - page 150 / 397
» New Products
Sort
View
IMPERIAL
1993
14 years 1 months ago
Deriving Category Theory from Type Theory
This work expounds the notion that (structured) categories are syntax free presentations of type theories, and shows some of the ideas involved in deriving categorical semantics f...
Roy L. Crole
ASWSD
2006
Springer
14 years 24 days ago
Reusable Services and Semi-automatic Service Composition for Automotive Software
Automotive software has become an important factor in the development of modern and innovative high-end vehicles. More and more functions can only be realized by the cooperation of...
Holger Giese
IDEAS
2008
IEEE
105views Database» more  IDEAS 2008»
14 years 3 months ago
Pruning attribute values from data cubes with diamond dicing
Data stored in a data warehouse are inherently multidimensional, but most data-pruning techniques (such as iceberg and top-k queries) are unidimensional. However, analysts need to...
Hazel Webb, Owen Kaser, Daniel Lemire
ICDE
2009
IEEE
143views Database» more  ICDE 2009»
14 years 10 months ago
Fa: A System for Automating Failure Diagnosis
Abstract-Failures of Internet services and enterprise systems lead to user dissatisfaction and considerable loss of revenue. Since manual diagnosis is often laborious and slow, the...
Songyun Duan, Shivnath Babu, Kamesh Munagala
SCCC
2000
IEEE
14 years 1 months ago
A Genetic Classifier Tool
Knowledge discovery is the most desirable end product of an enterprise information system. Researches from different areas recognize that a new generation of intelligent tools for...
Aurora T. R. Pozo, Mozart Hasse