3909 search results - page 284 / 782 » Extreme Model Checking |
155
click to vote
LCTRTS
1998
Springer
15 years 7 months ago
1998
Springer
The embedded real-time software systems encountered in applications such as telecommunications, aerospace, and defense typically tend to be large and extremely complex. It is cruc...
113
click to vote
IGARSS
2010
15 years 1 months ago
2010
The ASCAT scatterometer measures the backscatter from the ocean surface with which it infers the near-surface wind vector. When rain is present in the observation area the windind...
133
Voted
ASM
2010
ASM
15 years 10 months ago
2010
ASM
Abstract. This paper introduces the subject of secrecy models development by transformation, with formal validation. In an enterprise, constructing a secrecy model is a participato...
148
click to vote
AGTIVE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Business process models describe workflows by a set of actions together with their ordering. When implementing business processes within a service-oriented architecture,...
141
Voted
ECEASST
2008
15 years 3 months ago
2008
In software engineering, reliability and development time are two of the most important aspects, therefore, modeling environments, which aide both, are widely used during software ...