942 search results - page 90 / 189 » Process Algebraic Non-product-forms |
89
Voted
FMOODS
2008
15 years 2 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...
106
Voted
NETWORKING
2007
15 years 2 months ago
2007
—For networks providing QoS guarantees, this paper determines and evaluates the worst case end-to-end delays for strategies based on network coding and multiplexing. It is shown ...
95
Voted
WOTUG
2008
15 years 2 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...
98
Voted
ENTCS
2010
15 years 27 days ago
2010
The cost of deploying a ubiquitous system to enhance a physical environment is likely to be considerable. The success of its deployment is highly dependent on its context: the phy...
73
Voted
ENTCS
2010
15 years 27 days ago
2010
The global states of complex systems often form pospaces, topological spaces equipped with compatible partial orders reflecting causal relationships between the states. The calcul...