6253 search results - page 270 / 1251 » Use Case Modeling Guidelines |
135
Voted
FORMATS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We apply three different modeling frameworks -- timed automata (Uppaal), colored Petri nets and synchronous data flow -- to model a challenging industrial case study that...
113
Voted
AUTOMATICA
2006
15 years 3 months ago
2006
This paper proposes a capital accumulation model with a random stopping time corresponding to the occurrence of an environmental catastrophe. Depending on the preventive capital s...
100
Voted
TSP
2008
15 years 3 months ago
2008
Abstract--We derive eigenvalue beamformers to resolve an unknown signal of interest whose spatial signature lies in a known subspace, but whose orientation in that subspace is othe...
131
Voted
QEST
2009
IEEE
15 years 10 months ago
2009
IEEE
—Failure mode and effects analysis (FMEA) is a technique to reason about possible system hazards that result from system or system component failures. Traditionally, FMEA does no...
128
Voted
FOSSACS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The enriched effect calculus is an extension of Moggi's computational metalanguage with a selection of primitives from linear logic. In this paper, we present an ext...