985 search results - page 36 / 197 » Abstract Interactions and Interaction Refinement in Model-Dr... |
ARTQOS
2003
Springer
15 years 1 months ago
2003
Springer
We study what kind of differentiation can be achieved using DiffServ without admission control and using a relative services approach, i.e. the rate of the flow should be in propor...
113
click to vote
ASM
2008
ASM
14 years 11 months ago
2008
ASM
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
FORTE
2001
14 years 11 months ago
2001
Use cases are useful in various stages of the software process. They are very often described using text that has to be interpreted by system designers. This could lead to implemen...
EMSOFT
2005
Springer
15 years 3 months ago
2005
Springer
systems are commonly abstracted as collections of interacting components. This perspective has lead to the insight that component behaviors can be defined separately from admissi...
ESOP
2004
Springer
15 years 2 months ago
2004
Springer
t) Peter W. O’Hearn Queen Mary, University of London In the 1960s Dijkstra suggested that, in order to limit the complexity of potential process interactions, concurrent programs...