2137 search results - page 214 / 428 » Proving Abstract Non-interference |
138
Voted
CONCUR
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. The ambient calculus is a calculus of computation that allows active processes (mobile ambients) to move between sites. A firewall is said to be protective whenever it d...
107
Voted
FCT
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. An iterative array is a line of interconnected interacting finite automata. One distinguished automaton, the communication cell, is connected to the outside world and fe...
124
Voted
TPHOL
1999
IEEE
15 years 7 months ago
1999
IEEE
Abstract. Isabelle/HOL has recently acquired new versions of definitional packages for inductive datatypes and primitive recursive functions. In contrast to its predecessors and mo...
120
Voted
DATE
1998
IEEE
15 years 7 months ago
1998
IEEE
One of the main tasks within the high-level synthesis (HLS) process is the verification problem to prove automatically the correctness of the synthesis results. Currently, the res...
103
Voted
ILP
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. We consider the task of tagging Slovene words with morphosyntactic descriptions (MSDs). MSDs contain not only part-of-speech information but also attributes such as gende...