9425 search results - page 474 / 1885 » Some Notes on Models and Modelling |
185
Voted
UML
2004
Springer
15 years 11 months ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
137
click to vote
ISIPTA
1999
IEEE
15 years 10 months ago
1999
IEEE
We consider discrete possibilistic systems for which the available information is given by one-step transition possibilities and initial possibilities. These systems can be repres...
146
Voted
OOPSLA
1998
Springer
15 years 10 months ago
1998
Springer
Dynamic information collected as a software system executes can help software engineers perform some tasks on a system more effectively. To interpret the sizable amount of data ge...
197
click to vote
CONCUR
1997
Springer
15 years 10 months ago
1997
Springer
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...
118
click to vote
INFOCOM
1996
IEEE
15 years 10 months ago
1996
IEEE
This paper analytically studies retransmission-based partially reliable transport service. Results show that partially reliable transport service provides increasingly higher thro...