11168 search results - page 1706 / 2234 » Abstract State Processes |
134
click to vote
NETWORKING
2000
15 years 5 months ago
2000
Abstract. We examine the fair allocation of capacity to a large population of best-effort connections in a typical multiple access communication system supporting some bandwidth on...
153
click to vote
UAI
2007
15 years 5 months ago
2007
A research organization responds to a variety of customer requests. Each high level request is broken down into a set of low level requests. For each low level request, the resear...
125
click to vote
WCE
2007
15 years 5 months ago
2007
—Use case refactoring is one of the recent software engineering techniques that aimed at synthesising and refining use case models. Two new types of use case refactoring are prop...
119
click to vote
WOTUG
2007
15 years 5 months ago
2007
Abstract. In this paper, we present a formal model and analysis of the AMBA Advanced High-performance Bus (AHB) on-chip bus. The model is given in CSP B—an integration of the pro...
162
click to vote
ATAL
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Workflows represent the coordination requirements of various distributed operations in an organisation; workflows neatly capture business processes, and are particularly ...