5639 search results - page 429 / 1128 » Timed Abstract Non-interference |
127
click to vote
ICONIP
2004
15 years 6 months ago
2004
Abstract. A signature verification algorithm based on static and dynamic features of online signature data is presented. Texture and topological features are the static features of...
128
click to vote
CSREASAM
2003
15 years 6 months ago
2003
Abstract The uncontrolled propagation of faults due to malicious intrusion can severely decrease system performance and survivability. Our goal is to employ available information a...
117
click to vote
BIRTHDAY
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
136
click to vote
CSL
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. For a reasonable sound and complete proof calculus for firstorder logic consider the problem to decide, given a sentence of firstorder logic and a natural number n, whet...
117
click to vote
CNL
2009
15 years 5 months ago
2009
Abstract. The paper introduces GF, Grammatical Framework, as a tool for implementing controlled languages. GF provides a high-level grammar formalism and a resource grammar library...