3888 search results - page 100 / 778 » Change-Driven Model Transformations |
140
click to vote
ASM
2010
ASM
15 years 11 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...
127
click to vote
IPPS
2000
IEEE
15 years 8 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...
147
click to vote
MA
2010
Springer
15 years 2 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...
140
click to vote
AOSE
2001
Springer
15 years 9 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...
137
click to vote
ECCV
2006
Springer
16 years 6 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...