412 search results - page 35 / 83 » An evaluation of timed scenario notations |
145
click to vote
FP
1989
15 years 10 months ago
1989
This paper reports an explanation of an intricate algorithm in the terms of a potentially mechanisable rigorous-development method. It uses notations and techniques of Sheeran 1] ...
190
click to vote
PKC
2012
Springer
13 years 8 months ago
2012
Springer
Gentry’s bootstrapping technique is currently the only known method of obtaining a “pure” fully homomorphic encryption (FHE) schemes, and it may offers performance advantage...
187
click to vote
SCESM
2006
ACM
16 years 2 days ago
2006
ACM
An important step in the development of large-scale distributed reactive systems is the design of effective system architectures. The early availability of prototypes facilitates...
158
click to vote
GRID
2007
Springer
15 years 10 months ago
2007
Springer
We propose strategies to efficiently execute a query workload, which consists of multiple related queries submitted against a scientific dataset, on a distributed-memory system in...
142
click to vote
PERCOM
2007
ACM
16 years 5 months ago
2007
ACM
People wish to enjoy their everyday lives in various ways, among which entertainment plays a major role. In order to improve lifestyle with more ready access to entertainment cont...