932 search results - page 32 / 187 » Verifying Progress in Timed Systems |
179
click to vote
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
We introduce Pulse, a framework for processing continuous queries over models of continuous-time data, which can compactly and accurately represent many real-world activities and p...
101
click to vote
RTSS
2008
IEEE
15 years 6 months ago
2008
IEEE
COTS peripherals are heavily used in the embedded market, but their unpredictability is a threat for high-criticality real-time systems: it is hard or impossible to formally verif...
101
click to vote
IEEECIT
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract—Model-driven development has become the stateof-the-art approach for designing embedded real-time systems. heir high level of abstraction, models are easier to understan...
109
click to vote
ICFEM
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
HICSS
2002
IEEE
15 years 4 months ago
2002
IEEE
In this paper, the critical clearing time, tcc in power system transient stability analysis is modeled as a random variable due to the randomness nature of power system load. A lin...