717 search results - page 77 / 144 » Modeling and Analysis of Software Aging Process |
142
click to vote
SIGSOFT
2009
ACM
16 years 4 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
208
Voted
TII
2011
14 years 10 months ago
2011
Abstract—Software systems that do not meet their timing constraints can cause risks. In this work, we propose a comprehensive method for assessing the risk of timing failure by e...
BCSHCI
2007
15 years 4 months ago
2007
The IBM Task Modeler supports the rapid creation and analysis of hierarchical task models, thereby providing a valuable and naturally visual tool for information architects. Task ...
150
Voted
IAT
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper we present how to use the Agent MOdeling LAnguage (AMOLA) to define agent interaction protocols and how to integrate these in an agent model. AMOLA provides the synt...
117
click to vote
WSC
2008
15 years 5 months ago
2008
Many general-purpose simulation languages (such as ARENA, SLAM II, GPSS/H, SIMAN etc) have been the major simulation tools to simulate the demand-supply processes. They have made ...