3376 search results - page 365 / 676 » Analyzing Software Evolvability |
160
click to vote
MODELS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
183
click to vote
VAMOS
2007
Springer
16 years 24 days ago
2007
Springer
Goal models have been found to be effective for representing and analyzing variability at the early requirements level, by comprehensibly representing all alternative ways by whic...
200
click to vote
CMG
2003
15 years 8 months ago
2003
The queueing Petri net (QPN) paradigm provides a number of benefits over conventional modeling paradigms such as queueing networks and generalized stochastic Petri nets. Using qu...
181
click to vote
NCM
2010
15 years 5 months ago
2010
P2P network is now widely pervasive and increase usability of Internet. However, with the difficulty of tracing flow of P2P traffic, security incident of P2P network is now ser...
189
click to vote
OTM
2010
Springer
15 years 4 months ago
2010
Springer
"Metaverse" is a new service connecting to three dimensional virtual space constructed as electronic data through the Internet, which is expected to be spread in the futu...