Sciweavers

1026 search results - page 134 / 206
» A Methodology for Equational Reasoning
Sort
View
WSC
2004
13 years 10 months ago
A Template-Based Conceptual Modeling Infrastructure for Simulation of Physical Security Systems
Although simulation is one of the most innovative and cost-effective tools for modeling and analyzing a system, simulation studies often fail to provide any useful results. One re...
Ashu Guru, Paul A. Savory
LEGE
2003
174views Education» more  LEGE 2003»
13 years 10 months ago
An e-Learning platform for SME Manager Upgrade and its Evolution Toward a Distributed Training Environment
The purpose of this paper is to describe the work in progress related to the customisation, the trial and the evaluation of an innovative e-learning platform for manager upgrade i...
Nicola Capuano, Matteo Gaeta, Laura Pappacena
AIPS
1994
13 years 10 months ago
Planning for Dynamic Configuration of Component-based Architectures
The Scenario-based Engineering Process (SEP)is a novel approachto developingcomplexsystems.SEPbuilds newapplication systemsthrougha selectionprocessthat groupsprimitive components...
Gail Haddock
ICEC
1994
82views more  ICEC 1994»
13 years 10 months ago
Improving Search by Incorporating Evolution Principles in Parallel Tabu Search
Combinatorial optimization problems require computing efforts which grow at least exponentially with the problem dimension. Therefore, the use of the remarkable power of massively...
Ivan De Falco, Renato Del Balio, Ernesto Tarantino...
WCE
2007
13 years 10 months ago
Optimizing Designs based on Risk Approach
— In this paper a new approach to optimize nuclear power plant designs based on global risk reduction are described. In design the focus is on as components quality as redundancy...
Jorge E. Núñez Mc Leod, Selva S. Riv...