3602 search results - page 252 / 721 » Isn't It About Time |
100
click to vote
CAV
2004
Springer
15 years 6 months ago
2004
Springer
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
79
Voted
CEAS
2004
Springer
15 years 6 months ago
2004
Springer
The state of the art sees content-based filters tending towards collaborative filters, whereby email is filtered at the MTA with users feeding information back about false posit...
114
click to vote
DEXA
2004
Springer
15 years 6 months ago
2004
Springer
Efficient storage and retrieval of trajectory indexes has become an essential requirement for moving objects databases. The existing 3DR-tree is known to be an effective trajectory...
ERCIMDL
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. A policy is a statement that an action is permitted or forbidden if certain conditions hold. We introduce a language for reasoning about policies called Rosetta. What mak...
111
Voted
ESORICS
2004
Springer
15 years 6 months ago
2004
Springer
All security services rely to a great extent on some notion of trust. However, even today, there is no accepted formalism or technique for the specification of trust and for reaso...