2060 search results - page 89 / 412 » The Composition of Event-B Models |
135
click to vote
CRYPTO
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We show that only languages in BPP have public-coin, blackbox zero-knowledge protocols that are secure under an unbounded (polynomial) number of parallel repetitions. Thi...
149
click to vote
OWLED
2007
15 years 5 months ago
2007
Stream Processing Applications analyze large volumes of streaming data in real-time. These applications, consist of data sources, which produce raw streams, and processing elements...
151
click to vote
ICWS
2004
IEEE
15 years 5 months ago
2004
IEEE
The advent of Web services has made automated workflow composition relevant to Web based applications. One technique that has received some attention, for automatically composing ...
164
Voted
ASE
2005
15 years 4 months ago
2005
Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasin...
123
click to vote
CVPR
2006
IEEE
16 years 6 months ago
2006
IEEE
It is widely conjectured that the excellent ROC performance of biological vision systems is due in large part to the exploitation of context at each of many levels in a part/whole...