2661 search results - page 172 / 533 » Model Checking Performability Properties |
159
Voted
CCGRID
2004
IEEE
15 years 7 months ago
2004
IEEE
Distributed Virtual Computer (DVC) is a computing environment which simplifies the development and execution of distributed applications on computational grids. DVC provides a sim...
108
Voted
ARTS
1997
Springer
15 years 7 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
118
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
Some natural epistemic properties which may arise in applications can only be expressed in standard epistemic logic by formulae which are exponentially long in the number of agent...
141
Voted
ICDCIT
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper argues for performing information-flow-based security analysis in the first phaseof the software development life cycle itself ie in the requirements elicita...
122
Voted
ECSA
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...