2162 search results - page 223 / 433 » A Meta-Notation for Protocol Analysis |
198
click to vote
BCS
2008
15 years 8 months ago
2008
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
197
click to vote
IQ
2000
15 years 8 months ago
2000
: Current banking data management on loan approval processes has great room for improvements of information quality and prevention of data problems in general, but especially with ...
146
click to vote
CRYPTO
2010
Springer
15 years 7 months ago
2010
Springer
We reinvestigate the oblivious RAM concept introduced by Goldreich and Ostrovsky, which enables a client, that can store locally only a constant amount of data, to store remotely ...
208
Voted
ANOR
2007
15 years 6 months ago
2007
This paper introduces a model for Distributed Employee Timetabling Problems (DisETPs) and proposes a general architecture for solving DisETPs by using a Multi Agent System (MAS) pa...
151
click to vote
JSAC
2006
15 years 6 months ago
2006
Abstract--A research area that has become increasingly important in recent years is that of on-board mobile communication, where users on a vehicle are connected to a local network...