3005 search results - page 482 / 601 » Logical Information Systems: from Taxonomies to Logics |
151
click to vote
CCS
2004
ACM
15 years 12 months ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
163
click to vote
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
We introduce a new synchronization problem in mobile ad-hoc systems: the Driving Philosophers. In this problem, an unbounded number of driving philosophers (processes) access a rou...
153
click to vote
CSFW
1992
IEEE
15 years 10 months ago
1992
IEEE
Most security models explicitly (or implicitly) include the tranquillity principle which prohibits changing the security level of a given piece of information. Yet in practical sy...
188
click to vote
APVIS
2009
15 years 7 months ago
2009
Many graph visualization systems use graph hierarchies to organize a large input graph into logical components. These approaches detect features globally in the data and place the...
266
click to vote
GIS
2007
ACM
16 years 7 months ago
2007
ACM
We have developed Environmental Scenario Search Engine (ESSE) for parallel data mining of a set of conditions inside distributed, very large databases from multiple environmental ...