Sciweavers

8337 search results - page 1574 / 1668
» Reasoning With Characteristic Models
Sort
View
OPODIS
2004
15 years 5 months ago
Embedded Systems - Challenges and Work Directions
Embedded Systems are components integrating software and hardware jointly and specifically designed to provide given functionalities. These components may be used in many different...
Joseph Sifakis
WSPI
2004
15 years 5 months ago
Ontology: The Discipline and the Tool
Abstract. The fields of philosophy and informatics entertain two somewhat different conceptions of ontology. Philosophical ontology is a branch of metaphysics dating back at least ...
Doug Mayhew, Dirk Siebert
KRDB
1997
167views Database» more  KRDB 1997»
15 years 5 months ago
Materialized Views and Data Warehouses
A data warehouse is a redundant collection of data replicated from several possibly distributed and loosely coupled source databases, organized to answer OLAP queries. Relational ...
Nick Roussopoulos
CCGRID
2010
IEEE
15 years 5 months ago
Team-Based Message Logging: Preliminary Results
Fault tolerance will be a fundamental imperative in the next decade as machines containing hundreds of thousands of cores will be installed at various locations. In this context, ...
Esteban Meneses, Celso L. Mendes, Laxmikant V. Kal...
BIOINFORMATICS
2007
151views more  BIOINFORMATICS 2007»
15 years 4 months ago
A new protein-protein docking scoring function based on interface residue properties
Motivation: Protein–protein complexes are known to play key roles in many cellular processes. However, they are often not accessible to experimental study because of their low s...
Julie Bernauer, Jérôme Azé, Jo...
« Prev « First page 1574 / 1668 Last » Next »