5599 search results - page 104 / 1120 » Abstract State Services |
123
click to vote
FASE
2003
Springer
15 years 7 months ago
2003
Springer
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...
118
click to vote
FASE
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. One of the principal uses of UML is the modelling of synchronous object-oriented software systems, in which the behaviour of each of several classes is modelled using a s...
127
Voted
IEEEMSP
2002
IEEE
15 years 6 months ago
2002
IEEE
Abstract—Traditionally, random access protocols have been designed and studied by assuming simple models for the physical layer. We introduce a reception model that incorporates ...
118
click to vote
INFORMATICALT
1998
15 years 1 months ago
1998
Abstract. In the previous papers (Masreliez and Martin, 1977; Novoviˇcova, 1987; Schick and Mitter, 1994) the problem of recursive estimation of linear dynamic systems parameters ...
118
click to vote
FASE
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Though there has been nearly three decades of work on program slicing, there has been comparatively little work on slicing for state machines. One of the primary challeng...