Sciweavers

512 search results - page 41 / 103
» A Motivation-Based Mechanism to Design Behaviors
Sort
View
93
Voted
WSC
2001
15 years 2 months ago
Hybrid agent-based simulation for analyzing the national airspace system
Hybrid agent-based simulation is required to provide a mechanism for analyzing large-scale complex systems, such as the National Airspace System (NAS). The dynamic behavior of man...
Seungman Lee, Amy R. Pritchett, David Goldsman
128
Voted
CCE
2005
15 years 15 days ago
Numerical simulation of stochastic gene circuits
Armed with increasingly fast supercomputers and greater knowledge of the molecular mechanisms of gene expression, it is now practical to numerically simulate complex networks of r...
Howard Salis, Yiannis N. Kaznessis
106
Voted
KBSE
2005
IEEE
15 years 6 months ago
A threat-driven approach to modeling and verifying secure software
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
Dianxiang Xu, Kendall E. Nygard
127
Voted
ISCC
2000
IEEE
160views Communications» more  ISCC 2000»
15 years 5 months ago
The Adaptive Load Service (ALS): An ABR-Like Service for the Internet
In this paper, we present a novel approach for realizing adaptive QoS control in the Internet called the adaptive load service (ALS). ALS was designed in a similar fashion to the ...
Dorgham Sisalem, Henning Schulzrinne
89
Voted
FUIN
2008
119views more  FUIN 2008»
15 years 20 days ago
Modeling Communication with Synchronized Environments
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....
Tiberiu Seceleanu, Axel Jantsch