Sciweavers

4166 search results - page 331 / 834
» A modular module system
Sort
View
LISA
2001
15 years 8 months ago
TemplateTree II: The Post-Installation Setup Tool
After installing an OS distribution, a computer is generally not yet properly adapted to go into production at the local site. Security policies must be implemented, local service...
Tobias Oetiker
VIP
2000
15 years 8 months ago
Automatic Extraction of Lung Boundaries by a Knowledge-Based Method
The aim of this paper is to develop accurate and reliable methods for automated detection of the edges of the lung by a knowledge-based approach. First, the system initialises the...
Mira Park, Laurence S. Wilson, Jesse S. Jin
ENTCS
2010
173views more  ENTCS 2010»
15 years 6 months ago
A Boolean Algebra of Contracts for Assume-guarantee Reasoning
Contract-based design is an expressive paradigm for a modular and compositional specification of programs. It is in turn becoming a fundamental concept in mainstream industrial co...
Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin,...
179
Voted
BNCOD
2009
125views Database» more  BNCOD 2009»
15 years 4 months ago
The Adaptation Model of a Runtime Adaptable DBMS
Nowadays maintenance of database management systems (DBMSs) often requires offline operations for enhancement of functionality or security updates. This hampers the availability of...
Florian Irmert, Thomas Fischer, Frank Lauterwald, ...
170
Voted
IJAR
2011
88views more  IJAR 2011»
15 years 1 months ago
A framework for reasoning under uncertainty based on non-deterministic distance semantics
Abstract. In this paper, we introduce a general and modular framework for formalizing reasoning with incomplete and inconsistent information. Our framework is composed of non-deter...
Ofer Arieli, Anna Zamansky