Sciweavers

6906 search results - page 249 / 1382
» An algorithm for modelling key terms
Sort
View
ATAL
2008
Springer
15 years 8 months ago
Deployed ARMOR protection: the application of a game theoretic model for security at the Los Angeles International Airport
Security at major locations of economic or political importance is a key concern around the world, particularly given the threat of terrorism. Limited security resources prevent f...
James Pita, Manish Jain, Janusz Marecki, Fernando ...
JUCS
2008
99views more  JUCS 2008»
15 years 6 months ago
A Normal Copula Model for the Economic Risk Analysis of Correlated Failures in Communications Networks
: The reliability of a communications network is often evaluated without taking into account the economic consequence of failures. Here a new approach is proposed to assess the eco...
Maurizio Naldi, Giuseppe D'Acquisto
GECCO
2005
Springer
149views Optimization» more  GECCO 2005»
16 years 2 days ago
There's more to a model than code: understanding and formalizing in silico modeling experience
Mapping biology into computation has both a domain specific aspect – biological theory – and a methodological aspect – model development. Computational modelers have implici...
Janet Wiles, Nicholas Geard, James Watson, Kai Wil...
TOPNOC
2008
15 years 6 months ago
TAPAs: A Tool for the Analysis of Process Algebras
Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...
Francesco Calzolai, Rocco De Nicola, Michele Loret...
IPPS
2010
IEEE
15 years 4 months ago
Operating system resource management
From the point of view of an operating system, a computer is managed and optimized in terms of the application programming model and the management of system resources. For the TF...
Burton Smith