13987 search results - page 102 / 2798 » The Two Guards Problem |
114
Voted
ESORICS
2002
Springer
16 years 2 months ago
2002
Springer
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...
119
click to vote
ASAP
2009
IEEE
16 years 14 days ago
2009
IEEE
The advent of the mobile age has heavily changed the requirements of today’s communication devices. Data transmission over interference-prone wireless channels requires addition...
114
click to vote
TGC
2005
Springer
15 years 8 months ago
2005
Springer
We study fusion and binding mechanisms in name passing process calculi. To this purpose, we introduce the U-Calculus, a process calculus with no I/O polarities and a unique form of...
145
click to vote
HYBRID
1997
Springer
15 years 7 months ago
1997
Springer
Hybrid transition systems in their full generality describe continuous behaviour by a set of equations in each mode an algebraic or di erential equation for each state variable in ...
111
click to vote
SP
1990
IEEE
15 years 7 months ago
1990
IEEE
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...