18769 search results - page 281 / 3754 » Requirements Models in Context |
218
click to vote
ENTCS
2006
15 years 7 months ago
2006
Using graph transformation as a formalism to specify model transformation, termination and confluence of the graph transformation system are often required properties. Only under ...
213
click to vote
PKC
2010
Springer
15 years 11 months ago
2010
Springer
Liskov proposed several weakened versions of the random oracle model, called weakened random oracle models (WROMs), to capture the vulnerability of ideal compression functions, wh...
223
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
— Increasingly, licensing and safety regulatory bodies require the suppliers of software-intensive, safety-critical systems to provide an explicit software safety case – a stru...
170
click to vote
CONTEXT
2007
Springer
16 years 1 months ago
2007
Springer
Latent Semantic Analysis is used in many research fields with several applications of classifications. We propose to improve LSA with additional semantic information found with s...
204
click to vote
BIOCOMP
2008
15 years 8 months ago
2008
A Dyck shift and a Motzkin shift are mathematical models for constraints on genetic sequences. In terms of the theory of symbolic dynamics, neither of the Dyck shift nor the Motzki...