3387 search results - page 412 / 678 » Model-Checking for Real-Time Systems |
175
click to vote
MVA
1994
15 years 8 months ago
1994
Several issues on automatic inspection of textile fabrics are discussed in this paper. To avoid the intense computation for real time inspection, we suggest a parallel pyramid har...
204
click to vote
COMCOM
2004
15 years 7 months ago
2004
The worst-case fairness index (WFI) has proved to be an important metric in the provision of fairness and bounded delay in both wired and wireless networks. A feature of wireless l...
174
click to vote
MONTEREY
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
238
click to vote
QEST
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...
226
Voted
ICFEM
2004
Springer
16 years 26 days ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...