Sciweavers

1336 search results - page 87 / 268
» Modelling and Analysis of PKI-Based Systems Using Process Ca...
Sort
View
136
Voted
MATES
2004
Springer
15 years 8 months ago
From Modeling to Simulation of Multi-agent Systems: An Integrated Approach and a Case Study
Abstract. In this paper, an integrated approach for the modeling and the validation through simulation of multi-agent systems is proposed. The approach centers on the instantiation...
Giancarlo Fortino, Alfredo Garro, Wilma Russo
IWIA
2005
IEEE
15 years 9 months ago
Attack-Potential-Based Survivability Modeling for High-Consequence Systems
Previous quantitative models of security or survivability have been defined on a range of probable intruder behavior. This measures survivability as a statistic such as mean time...
John McDermott
119
Voted
ICASSP
2010
IEEE
15 years 3 months ago
On the use of speaker superfactors for speaker recognition
We propose a new method to characterize a speaker within the Joint Factor Analysis (JFA) framework. Scoring within the JFA framework can be costly and a new method was proposed to...
Nicolas Scheffer, Robbie Vogt
125
Voted
ISCIS
2004
Springer
15 years 8 months ago
Semi-formal and Formal Models Applied to Flexible Manufacturing Systems
Abstract. Flexible Manufacturing Systems (FMSs) are adopted to process different goods in different mix ratios allowing firms to react quickly and efficiently to changes in produ...
Andrea Matta, Carlo A. Furia, Matteo Rossi
BMCBI
2004
112views more  BMCBI 2004»
15 years 3 months ago
MuTrack: a genome analysis system for large-scale mutagenesis in the mouse
Background: Modern biological research makes possible the comprehensive study and development of heritable mutations in the mouse model at high-throughput. Using techniques spanni...
Erich J. Baker, Leslie Galloway, Barbara Jackson, ...