249 search results - page 38 / 50 » Analyzing software process models with AVISPA |
89
Voted
FUIN
2008
15 years 18 days ago
2008
A deterministic behavior of systems composed of several modules is a desirable design goal. Assembling a complex system from components requires also a high degree of re-usability....
91
Voted
WSC
2007
15 years 2 months ago
2007
A Monte Carlo methodology is proposed for simulating air traffic blockage patterns under the impact of convective weather. The simulation utilizes probabilistic convective weather...
WSC
2007
15 years 2 months ago
2007
Workflow analysis is an important component in the simulation of construction operations. It involves creating a specific number of work requests for a crew every time period, com...
199
Voted
GAMESEC
2011
14 years 6 days ago
2011
Recent works on Internet risk management have proposed the idea of cyber-insurance to eliminate risks due to security threats, which cannot be tackled through traditional means suc...
CISIS
2008
IEEE
15 years 7 months ago
2008
IEEE
Some researchers have illustrated how individual and groups of bacteria forage for nutrients and to model it as a distributed optimization process, which is called the Bacterial F...