171 search results - page 7 / 35 » Efficient algorithms for interface timing verification |
123
Voted
WWW
2001
ACM
16 years 2 months ago
2001
ACM
A wealth of information is available on the Web. But often, such data are hidden behind form interfaces which allow only a restrictive set of queries over the underlying databases...
120
click to vote
FORMATS
2008
Springer
15 years 3 months ago
2008
Springer
Verification of partially synchronous distributed systems is difficult because of inherent concurrency and the potentially large state space of the channels. This paper identifies ...
136
Voted
ENTCS
2006
15 years 1 months ago
2006
In this paper, we address the issue of the formal verification of real-time systems in the context of a preemptive scheduling policy. We propose an algorithm which computes the st...
163
Voted
VISSYM
2007
15 years 4 months ago
2007
The dataset generated by a large-scale numerical simulation may include thousands of timesteps and hundreds of variables describing different aspects of the modeled physical pheno...
117
click to vote
ASE
2010
15 years 2 months ago
2010
Recent developments in runtime verification and monitoring show that parametric regular and temporal logic specifications can be efficiently monitored against large programs. Howev...