Sciweavers

4872 search results - page 733 / 975
» CBR for Modeling Complex Systems
Sort
View
ISCAS
2007
IEEE
128views Hardware» more  ISCAS 2007»
16 years 25 days 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 22 days 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 21 days 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 21 days 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 21 days 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