Publication | Open Access
Modeling the execution semantics of stream processing engines with SECRET
54
Citations
14
References
2012
Year
Stream ProcessingEngineeringExecution SemanticsData FlowProgram AnalysisStreaming EngineComputer EngineeringComputer ArchitectureSoftware AnalysisFormal MethodsComputer ScienceData Stream ManagementData Streaming ArchitectureFormal VerificationSystem SoftwareData SecurityCryptography
| Year | Citations | |
|---|---|---|
Page 1
Page 1