2488 search results - page 247 / 498 » An improvement in formal verification |
FC
2010
Springer
15 years 5 months ago
2010
Springer
We investigate a mixed economy of an individual rational expert and several na¨ıve near-sighted agents in the context of security decision making. Agents select between three ca...
103
click to vote
CCS
2006
ACM
15 years 5 months ago
2006
ACM
Searchable symmetric encryption (SSE) allows a party to outsource the storage of his data to another party in a private manner, while maintaining the ability to selectively search...
108
click to vote
DCOSS
2008
Springer
15 years 3 months ago
2008
Springer
Unlike traditional multihop forwarding among homogeneous static sensor nodes, use of mobile devices for data collection in wireless sensor networks has recently been gathering more...
143
click to vote
DMDW
2003
15 years 2 months ago
2003
Data Warehouse-(DW) logical design often start with a conceptual schema and then generates relational structures. Applying this approach implies to cope with two main aspects: (i) ...
121
click to vote
ICTAC
2005
Springer
15 years 7 months ago
2005
Springer
Case studies can significantly contribute towards improving the understanding of formalisms and thereby to their applicability in practice. One such case, namely a cascade of the ...