251 search results - page 31 / 51 » Priority and Abstraction in Process Algebra |
CMSB
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Starting from a biochemical signalling pathway model expressed in a process algebra enriched with quantitative information we automatically derive both continuous-space a...
FMOODS
2008
13 years 9 months ago
2008
Abstract. Software product line engineering combines the individual developments of systems to the development of a family of systems consisting of common and variable assets. In t...
WOTUG
2008
13 years 9 months ago
2008
Abstract. We prove the correctness of a two-way sliding window protocol with piggybacking, where the acknowledgments of the latest received data are attached to the next data trans...
PSIVT
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We developed a fast image completion system using the multiresolution approach to accelerate the convergence of the system. The downsampling approach is for the texture-e...
CONCURRENCY
2006
13 years 7 months ago
2006
e a set of very distinctive abstractions that result in significant modifications of the basic workflow model as outlined in pre-existing workflow model, see [2] for example. In pa...