Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Jan L. A. van de Snepscheut

The Sliding-Window Protocol Revisited

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
1995English

Related publications

Verifying a Sliding Window Protocol in μCRL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Formal Modeling of Generalized Sliding Window Protocol in Promela Using Spin Root Model-Checker

International Journal of Computer Applications
2018English

Computing Diameter in the Streaming and Sliding-Window Models

Algorithmica
Applied MathematicsComputer Science ApplicationsComputer Science
2004English

Resource Sharing in Continuous Sliding-Window Aggregates

2004English

Maintaining Frequent Closed Itemsets Over a Sliding Window

Journal of Intelligent Information Systems
Information SystemsComputer NetworksHardwareCommunicationsArchitectureArtificial IntelligenceSoftware
2007English

An Observability-Constrained Sliding Window Filter for SLAM

2011English

Sketch-Based Querying of Distributed Sliding-Window Data Streams

Proceedings of the VLDB Endowment
Computer Science
2012English

Detection of Biomedical Signals Disruption Using a Sliding Window

Scientific journal of the Ternopil national technical university
2018English

Incremental Evaluation of Sliding-Window Queries Over Data Streams

IEEE Transactions on Knowledge and Data Engineering
Computational TheoryComputer Science ApplicationsInformation SystemsMathematics
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy