338 search results - page 22 / 68 » What is Input Output Logic |
97
Voted
KBSE
1998
IEEE
15 years 4 months ago
1998
IEEE
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...
102
Voted
ESORICS
2009
Springer
15 years 4 months ago
2009
Springer
Noninterference requires that public outputs of a program must be completely independent from secrets. While this ensures that secrets cannot be leaked, it is too restrictive for m...
79
Voted
TISSEC
2010
14 years 10 months ago
2010
An all too real threat to the privacy offered by a mix network is that individual mix administrators may volunteer partial tracing information to a coercer. While this threat can ...
111
click to vote
DAC
2007
ACM
16 years 1 months ago
2007
ACM
Despite the impressive progress of logic synthesis in the past decade, finding the best architecture for a given circuit still remains an open problem and largely unsolved. In mos...
116
Voted
SSS
2007
Springer
15 years 6 months ago
2007
Springer
System design often explores optimality of performance. What is optimal is, however, often not predefined or static in most cases, because it is affected by the context of operat...