Sciweavers

4872 search results - page 733 / 975
» CBR for Modeling Complex Systems
Sort
View
ISCAS
2007
IEEE
128views Hardware» more  ISCAS 2007»
16 years 1 months ago
Synchronization of the Time-Varying Discrete Biological Networks
Abstract— The study of synchronization of population dynamics is extremely important for predicting and evaluating the risk of global extinctions. The migration in a network of p...
Liang Chen, Jinhu Lu, Junan Lu
CCIA
2007
Springer
16 years 1 months ago
An Argument-Based Approach to Deal with Wastewater Discharges
: In this paper we propose the use of an argument-based model – ProCLAIM – that has the potential to minimize ecological impact of industrial wastewater discharges into water b...
Montse Aulinas, Pancho Tolchinsky, Clàudia ...
CP
2007
Springer
16 years 1 months ago
Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario
Defence trees and CP-net (ceteris paribus network) are two useful approaches that can be used to help a system administrator to analyze a security scenario and to give him a model ...
Stefano Bistarelli, Pamela Peretti, Irina Trubitsy...
DAMON
2007
Springer
16 years 1 months ago
A general framework for improving query processing performance on multi-level memory hierarchies
We propose a general framework for improving the query processing performance on multi-level memory hierarchies. Our motivation is that (1) the memory hierarchy is an important pe...
Bingsheng He, Yinan Li, Qiong Luo, Dongqing Yang
EDUTAINMENT
2007
Springer
16 years 1 months ago
UML in Action: Integrating Formal Methods in Industrial Design Education
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
Jun Hu, Philip Ross, Loe M. G. Feijs, Yuechen Qian