1675 search results - page 34 / 335 » Compositional Model-Based Design |
RTSS
2009
IEEE
14 years 4 months ago
2009
IEEE
—This paper proposes a framework for determining the correctness and robustness of simulations of hybrid systems. The focus is on simulations generated from model-based design en...
ICWE
2009
Springer
14 years 4 months ago
2009
Springer
Rich Internet Applications (RIAs) are highly interactive web applications that resemble desktop applications. Modeling RIAs hence requires techniques for web modeling enriched by m...
ICC
2008
IEEE
14 years 4 months ago
2008
IEEE
—The paper presents an analytical modular model of a DiffServ network supporting Assured Forwarding PHB. Individual DiffServ network elements such as meter/markers and droppers a...
ACRI
2008
Springer
14 years 4 months ago
2008
Springer
This paper presents a research in the context of pedestrian dynamics according to Situated Cellular Agent (SCA), a Multi-Agent Systems approach whose roots are on Cellular Automata...
HICSS
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper presents a quantitative threat modeling method, the Threat Modeling method based on Attack Path Analysis (T-MAP), which quantifies security threats by calculating the t...