Sciweavers

4872 search results - page 52 / 975
» CBR for Modeling Complex Systems
Sort
View
CIDU
2010
15 years 1 months ago
Complex Networks In Climate Science: Progress, Opportunities And Challenges
Networks have been used to describe and model a wide range of complex systems, both natural as well as man-made. One particularly interesting application in the earth sciences is t...
Karsten Steinhaeuser, Nitesh V. Chawla, Auroop R. ...
CSFW
2012
IEEE
13 years 6 months ago
Gran: Model Checking Grsecurity RBAC Policies
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...
Michele Bugliesi, Stefano Calzavara, Riccardo Foca...
VMCAI
2010
Springer
16 years 1 months ago
Complexity Bounds for the Verification of Real-Time Software
We present uniform approaches to establish complexity bounds for decision problems such as reachability and simulation, that arise naturally in the verification of timed software s...
Rohit Chadha, Axel Legay, Pavithra Prabhakar, Mahe...
COMPLEXITY
2010
124views more  COMPLEXITY 2010»
15 years 1 months ago
Spatially embedded dynamics and complexity
To gain a deeper understanding of the impact of spatial embedding on the dynamics of complex systems we employ a measure of interaction complexity developed within neuroscience us...
Christopher L. Buckley, Seth Bullock, Lionel Barne...
136
Voted
APVIS
2006
15 years 5 months ago
Pattern puzzle: a metaphor for visualizing software complexity measures
Software systems have become increasingly complex over the years. Complexity metrics measures software complexity using real numbers. It is, however, hard to gain insight into dif...
Adam Ghandar, A. S. M. Sajeev, Xiaodi Huang