4211 search results - page 362 / 843 » A formal approach to MASQ |
192
click to vote
ICTAC
2004
Springer
16 years 7 days ago
2004
Springer
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...
190
click to vote
KI
2004
Springer
16 years 6 days ago
2004
Springer
This paper proposes a new corpus-based approach for deriving syntactic structures and generating parse trees of natural language sentences. The parts of speech (word categories) of...
175
click to vote
ACSD
2003
IEEE
16 years 4 days ago
2003
IEEE
This paper presents a synthesis approach for reactive systems that aims at minimizing the overhead introduced by the operating system and the interaction among the concurrent task...
166
click to vote
FORMATS
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. This paper presents a model-checking approach for analyzing discrete-time Markov reward models. For this purpose, the temporal logic probabilistic CTL is extended with re...
163
click to vote
COMPSAC
2000
IEEE
15 years 11 months ago
2000
IEEE
Components-based development is promising in improving software development productivity and software quality by re-using existing well-tested software components. However, one of...