4770 search results - page 254 / 954 » Flexible Type Analysis |
204
click to vote
ESORICS
2009
Springer
15 years 11 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...
166
click to vote
ACSC
2004
IEEE
15 years 11 months ago
2004
IEEE
This paper describes an experimental alerting system under development by the Australian Bureau of Meteorology, initially targetted at (but not restricted to) the aviation sector....
175
click to vote
BIRD
2008
Springer
15 years 9 months ago
2008
Springer
We introduce a new type of workflow design system called e-BioFlow and illustrate it by means of a simple sequence alignment workflow. E-BioFlow, intended to model advanced scienti...
202
click to vote
ECIS
2001
15 years 8 months ago
2001
Online auction has become an intriguing new type of economic exchange mechanism. Given that Internet auctions differ from traditional physical auctions in terms of flexibility and...
166
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
In 1992, Bartholdi, Tovey, and Trick [1992] opened the study of control attacks on elections--attempts to improve the election outcome by such actions as adding/deleting candidate...