2775 search results - page 316 / 555 » Visualizing abstract events |
174
click to vote
FASE
2003
Springer
15 years 12 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...
188
click to vote
FIDJI
2003
Springer
15 years 12 months ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
180
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
157
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract – In this paper, we analyze the dynamics of a sevenmonth real-time streaming experiment, which was conducted between a number of unicast dialup clients, connecting to th...
143
Voted
ICN
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. A PIM-SM-built multicast tree must be restructured/recovered when the underlying unicast routing tables change. In this article we describe the PIM-SM recovery mechanisms...