3387 search results - page 379 / 678 » Model-Checking for Real-Time Systems |
218
click to vote
AINA
2006
IEEE
16 years 1 months ago
2006
IEEE
The scheme of real time streaming video is one of the newcomers in wireless data communication, raising a number of new requirements in both telecommunication and data communicati...
172
click to vote
ANLP
1992
15 years 8 months ago
1992
This paper describes the approach followed in the development of the linguistic processor of the continuous speech dialog system implemented at our labs. The application scenario ...
206
Voted
CONCUR
1999
Springer
15 years 11 months ago
1999
Springer
In order to check whether an open system satisfies a desired property, we need to check the behavior of the system with respect to an arbitrary environment. In the most general se...
266
click to vote
JSC
2010
15 years 2 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
241
click to vote
IANDC
2011
15 years 2 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...