2702 search results - page 184 / 541 » Practically Applicable Formal Methods |
IWFM
2003
15 years 6 days ago
2003
Meadows recently proposed a formal cost-based framework for analysis of denial of service. It was showed how some principles that have already been used to make cryptographic prot...
COMPGEOM
1997
ACM
15 years 3 months ago
1997
ACM
Motivated by applications of foveated images in visualization, we introduce the foveation transform of an image. We study the basic properties of these transforms using the multir...
CORR
2010
Springer
14 years 8 months ago
2010
Springer
We address the problems of estimating the computer efficiency and the computer capacity. We define the computer efficiency and capacity and suggest a method for their estimation, ...
79
Voted
QSIC
2009
IEEE
15 years 5 months ago
2009
IEEE
—A well-founded testing theory encourages the practical application of test case generation techniques. This aims at overcoming the ever increasing complexity of softwareenabled ...
93
Voted
JMLR
2008
14 years 10 months ago
2008
Closed sets have been proven successful in the context of compacted data representation for association rule learning. However, their use is mainly descriptive, dealing only with ...