Sciweavers

1445 search results - page 20 / 289
» Properties of state spaces and their applications
Sort
View
CARDIS
2004
Springer
150views Hardware» more  CARDIS 2004»
15 years 11 months ago
Enforcing High-Level Security Properties for Applets
Smart card applications often handle privacy-sensitive information, and therefore must obey certain security policies. Typically, such policies are described as high-level security...
Mariela Pavlova, Gilles Barthe, Lilian Burdy, Mari...
140
Voted
AAAI
2004
15 years 7 months ago
Distance Estimates for Planning in the Discrete Belief Space
We present a general framework for studying heuristics for planning in the belief space. Earlier work has focused on giving implementations of heuristics that work well on benchma...
Jussi Rintanen
FCT
2003
Springer
15 years 11 months ago
On Boundaries of Highly Visible Spaces and Applications
The purpose of this paper is to investigate the properties of a certain class of highly visible spaces. For a given geometric space C containing obstacles specified by disjoint s...
John H. Reif, Zheng Sun
SASN
2006
ACM
16 years 1 days ago
Seven cardinal properties of sensor network broadcast authentication
We investigate the design space of sensor network broadcast authentication. We show that prior approaches can be organized based on a taxonomy of seven fundamental proprieties, su...
Mark Luk, Adrian Perrig, Bram Whillock
COOPIS
2004
IEEE
15 years 9 months ago
Eager Replication for Stateful J2EE Servers
Abstract. Replication has been widely used in J2EE servers for reliability and scalability. There are two properties which are important for a stateful J2EE application server. Fir...
Huaigu Wu, Bettina Kemme, Vance Maverick