753 search results - page 76 / 151 » Fragments-based Model Reduction: Some Case Studies |
IEEEIAS
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper introduces a mathematical model, called Team Edit Automata, for evaluating software security properties. We use the model to describe security properties and their corr...
COORDINATION
2006
Springer
14 years 20 days ago
2006
Springer
How to coordinate the processes in a complex component-based software system is a nontrivial issue. Many different coordination approaches exist, each with its own specific advanta...
IJBC
2008
13 years 9 months ago
2008
In this work we study some properties associated with the bordercollision bifurcations in a two-dimensional piecewise linear map in canonical form, related to the case in which a ...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
Given societies’ massive investment in information technology and the potentially catastrophic consequences of IT failures, it is becoming increasingly critical to understand ho...
APPROX
2008
Springer
13 years 11 months ago
2008
Springer
In the field of robust optimization, the goal is to provide solutions to combinatorial problems that hedge against variations of the numerical parameters. This constitutes an effor...