746 search results - page 95 / 150 » Formal Analysis of UML-Based Designs |
83
Voted
ICECCS
2007
IEEE
15 years 5 months ago
2007
IEEE
Traditional, standards-based approaches to certification are hugely expensive, of questionable credibility when development is outsourced, and a barrier to innovation. This paper ...
119
Voted
APN
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. In this work, we address the problem of transient and steadystate analysis of a stochastic Petri net which includes non Markovian distributions with a finite support but ...
119
click to vote
DAS
2008
Springer
15 years 3 months ago
2008
Springer
This paper presents a framework for understanding tables of contents (TOC) of books, journals, and magazines. We propose a universal logical structure representation in terms of a...
135
Voted
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
Safety culture is broadly recognized as important for Air Traffic Management and various studies have addressed its characterization and assessment. Nevertheless, relations betwee...
118
click to vote
ASE
2007
15 years 2 months ago
2007
In earlier work, we have introduced Secure Tropos, a requirements engineering methodology that extends the Tropos methodology and is intended for the design and analysis of securit...