690 search results - page 44 / 138 » Testing Temporal Logic Properties in Distributed Systems |
96
Voted
COMPSAC
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...
98
Voted
DAGSTUHL
2004
15 years 1 months ago
2004
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...
126
Voted
IRI
2008
IEEE
15 years 7 months ago
2008
IEEE
—Supply chain [2], [6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply c...
99
Voted
CMSB
2008
Springer
15 years 2 months ago
2008
Springer
Model checking has historically been an important tool to verify models of a wide variety of systems. Typically a model has to exhibit certain properties to be classed `acceptable&...
103
Voted
FLAIRS
2007
15 years 2 months ago
2007
In this paper, we extend Moss and Parikh’s approach to reasoning about topological properties of knowledge. We turn that system in a spatio-temporal direction by successively ad...