10159 search results - page 224 / 2032 » System Design Validation Using Formal Models |
148
click to vote
DEXAW
2008
IEEE
15 years 4 months ago
2008
IEEE
We have proposed in the past three separate methodologies for secure software development. We have found that they have many common and complementary aspects and we proposed a com...
110
click to vote
ICMAS
1998
15 years 4 months ago
1998
We have been developing an approach for the distributed coordination of heterogeneous, autonomous agents. This approach takes as input (a) agent skeletons, giving compact descript...
122
click to vote
JSS
2006
15 years 3 months ago
2006
Estimating software size is a difficult task that requires a methodological approach. Many different methods that exist today use distinct abstractions to depict a software system...
122
click to vote
AICCSA
2006
IEEE
15 years 9 months ago
2006
IEEE
Redundancy is a system property that generally refers to duplication of state information or system function. While redundancy is usually investigated in the context of fault tole...
127
click to vote
FMCO
2006
Springer
15 years 6 months ago
2006
Springer
d Abstract) Vladimiro Sassone1 , Karl Krukow2 , and Mogens Nielsen2 1 ECS, University of Southampton 2 BRICS , University of Aarhus We define a mathematical measure for the quantit...