Sciweavers

4949 search results - page 660 / 990
» Consistency and Set Intersection
Sort
View
SP
2007
IEEE
120views Security Privacy» more  SP 2007»
16 years 1 months ago
Endorsed E-Cash
An electronic cash (e-cash) scheme lets a user withdraw money from a bank and then spend it anonymously. E-cash can be used only if it can be securely and fairly exchanged for ele...
Jan Camenisch, Anna Lysyanskaya, Mira Meyerovich
VTC
2007
IEEE
113views Communications» more  VTC 2007»
16 years 29 days ago
A Data Dissemination Strategy for Cooperative Vehicular Systems
— Cooperative systems in transportation can bring new intelligence for vehicles, roadside systems, operators and individuals by creating a communications platform allowing vehicl...
Olivia Brickley, Chong Shen, Martin Klepal, Amir T...
AAMAS
2007
Springer
16 years 27 days ago
Optimal Control in Large Stochastic Multi-agent Systems
Abstract. We study optimal control in large stochastic multi-agent systems in continuous space and time. We consider multi-agent systems where agents have independent dynamics with...
Bart van den Broek, Wim Wiegerinck, Bert Kappen
AIME
2007
Springer
16 years 27 days ago
The Role of Model Checking in Critiquing Based on Clinical Guidelines
Medical critiquing systems criticise clinical actions performed by a physician. In order to provide useful feedback, an important task is to find differences between the actual a...
Perry Groot, Arjen Hommersom, Peter J. F. Lucas, R...
CCS
2007
ACM
16 years 27 days ago
Program obfuscation: a quantitative approach
Despite the recent advances in the theory underlying obfuscation, there still is a need to evaluate the quality of practical obfuscating transformations more quickly and easily. T...
Bertrand Anckaert, Matias Madou, Bjorn De Sutter, ...