956 search results - page 46 / 192 » Multiple Views on System Traces |
IWPSE
2005
IEEE
15 years 3 months ago
2005
IEEE
Visualizing software evolution is essential for identifying design erosions that have occurred over the past releases. Making evolutionary aspects explicit via visual representati...
ENTCS
2010
14 years 10 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...
MEMOCODE
2003
IEEE
15 years 3 months ago
2003
IEEE
Formal techniques have been widely applied in the design of real-time systems and have significantly helped detect design errors by checking real-time properties of the model. Ho...
127
click to vote
BMCBI
2010
14 years 5 months ago
2010
Background: A significant problem in the study of mechanisms of an organism's development is the elucidation of interrelated factors which are making an impact on the differe...
TWC
2010
14 years 4 months ago
2010
Relay selection for cooperative communications promises significant performance improvements, and is, therefore, attracting, considerable attention. While several criteria have be...