3888 search results - page 100 / 778 » Change-Driven Model Transformations |
179
click to vote
ASM
2010
ASM
16 years 1 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...
156
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper we develop a variant of a previously proposed method the regenerative randomization method for the transient analysis of dependability performability models. The va...
177
click to vote
MA
2010
Springer
15 years 4 months ago
2010
Springer
: Semiparametric linear transformation models have received much attention due to its high flexibility in modeling survival data. A useful estimating equation procedure was recent...
165
click to vote
AOSE
2001
Springer
15 years 10 months ago
2001
Springer
We are developing an agent-oriented software development methodology, called Tropos, which integrates ideas from multi-agentsystem technologies and RequirementsEngineering researc...
163
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
Gait analyses have recently gained attention as methods of identification of individuals at a distance from a camera. However, appearance changes due to view direction changes caus...