3081 search results - page 160 / 617 » A Formal Ontology of Properties |
153
click to vote
IEEEARES
2010
IEEE
16 years 1 months ago
2010
IEEE
Abstract—Abstract virology has seen the apparition of successive viral models, all based on Turing-equivalent formalisms. Considering recent malware, these are only partially cov...
158
click to vote
IPPS
2007
IEEE
16 years 22 days ago
2007
IEEE
This paper investigates the suitability of applying the general-purpose Real-Time Maude tool to the formal specification and model checking analysis of timedependent cryptographi...
173
click to vote
ICESS
2005
Springer
15 years 12 months ago
2005
Springer
PeaCE(Ptolemy extension as a Codesign Environment) was developed for the hardware and software codesign framework which allows us to express both data flow and control flow. The fF...
153
click to vote
ITRUST
2004
Springer
15 years 11 months ago
2004
Springer
Security and trust are two properties of modern computing systems that are the focus of much recent interest. They play an increasingly significant role in the requirements for mo...
142
click to vote
FMICS
2008
Springer
15 years 8 months ago
2008
Springer
There has been relatively little work on the implementability of timing requirements. We have previously provided definitions of fundamental timing operators that explicitly consid...