Sciweavers

3514 search results - page 406 / 703
» Software Process Modeling: Principles of Entity Process Mode...
Sort
View
121
Voted
SIMUTOOLS
2008
15 years 4 months ago
Transforming sources to petri nets: a way to analyze execution of parallel programs
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
Jean-Baptiste Voron, Fabrice Kordon
ICICS
2009
Springer
15 years 10 months ago
Assessing Security Risk to a Network Using a Statistical Model of Attacker Community Competence
We propose a novel approach for statistical risk modeling of network attacks that lets an operator perform risk analysis using a data model and an impact model on top of an attack ...
Tomas Olsson
IDEAL
2005
Springer
15 years 9 months ago
Patterns in Complex Systems Modeling
The design, development, and use of complex systems models raises a unique class of challenges and potential pitfalls, many of which are commonly recurring problems. Over time, res...
Janet Wiles, James Watson
132
Voted
CIC
2004
110views Communications» more  CIC 2004»
15 years 4 months ago
Towards a Comprehensive Peer-to-Peer Communication Model
Peer-to-Peer computing is a model consisting of cooperating distributed processing units terms peers. Characteristics of this computing model include lack of centralized control an...
Jesus Pajaro, Brian J. d'Auriol
WSC
1997
15 years 4 months ago
Panel on Transportation and Logistics Modeling
Transportation and logistics are fertile areas for modeling. Simulation has traditionally been used in warehousing and inside the distribution center or processing hub in the truc...
John S. Carson II, Mani S. Manivannan, Mark K. Bra...