8636 search results - page 413 / 1728 » How Developers Copy |
170
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
Many of the problems that occur in long-running systems involve the way that the system uses memory. We have developed a framework for extracting and building a model of the heap ...
161
click to vote
DSD
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, a methodology for generating VHDL descriptions of hardware checkers is presented. It is shown how the methodology can be used to generate on-line checkers of commun...
147
click to vote
GI
2007
Springer
16 years 28 days ago
2007
Springer
Abstract: This paper introduces an Integrated Rule Modeling Framework, which consists of the UML-based rule modeling tool Strelka, rule interchange format R2ML and a number of serv...
153
click to vote
IWSEC
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Authors extend the multi-parameter attacktree model to include inaccurate or estimated parameter values, which are modelled as probabilistic interval estimations. The pap...
234
click to vote
AUIC
2006
IEEE
16 years 25 days ago
2006
IEEE
Animation scripts are an integral part of developing computer games: they describe which character animations to play and when to switch between animations. These scripts are ofte...