Sciweavers

2784 search results - page 77 / 557
» Light analysis of complex systems
Sort
View
76
Voted
APPML
2007
45views more  APPML 2007»
15 years 20 days ago
Turing pattern outside of the Turing domain
There are two simple solutions to reaction-diffusion systems with limit-cycle reaction kinetics, producing oscillatory behaviour. The reaction parameter µ gives rise to a ‘spa...
E. H. Flach, Santiago Schnell, John Norbury
DBSEC
2009
124views Database» more  DBSEC 2009»
15 years 1 months ago
Towards System Integrity Protection with Graph-Based Policy Analysis
Abstract. Identifying and protecting the trusted computing base (TCB) of a system is an important task, which is typically performed by designing and enforcing a system security po...
Wenjuan Xu, Xinwen Zhang, Gail-Joon Ahn
82
Voted
RTCSA
2000
IEEE
15 years 4 months ago
ProtEx: a toolkit for the analysis of distributed real-time systems
Large-scale distributed real-time systems are increasingly difficult to analyze within the Rate Monotonic Analysis framework. This is due partly to their heterogeneity, complex i...
Yves Meylan, Aneema Bajpai, Riccardo Bettati
AIM
2006
15 years 1 months ago
Increasing the benefit of analysis: The case of systems that support communication
: Researchers in academia and practitioners in the field are concluding that object orientation (OO) supports well the stages of technical design and programming but not the stages...
Dov Te'eni, Roy Gelbard, Matti Sade
90
Voted
ACTA
2007
114views more  ACTA 2007»
15 years 20 days ago
Hybridization methods for the analysis of nonlinear systems
Abstract In this article, we describe some recent results on the hybridization methods for the analysis of nonlinear systems. The main idea of our hybridization approach is to appl...
Eugene Asarin, Thao Dang, Antoine Girard