14165 search results - page 2680 / 2833 » The generalized two-server problem |
134
click to vote
ICCS
2004
Springer
15 years 10 months ago
2004
Springer
We propose to use high-level Petri nets as a model for the semantics of high-level parallel systems. This model is known to be useful for the purpose of verification and we show t...
165
click to vote
ICSOC
2004
Springer
15 years 10 months ago
2004
Springer
Business processes that span organizational borders describe the interaction between multiple parties working towards a common objective. They also express business rules that gov...
151
click to vote
IPSN
2004
Springer
15 years 10 months ago
2004
Springer
We study network capacity limits and optimal routing algorithms for regular sensor networks, namely, square and torus grid sensor networks, in both, the static case (no node failu...
146
click to vote
IPSN
2004
Springer
15 years 10 months ago
2004
Springer
Due to constraints in cost, power, and communication, losses often arise in large sensor networks. The sensor can be modeled as an output of a linear stochastic system with random...
136
click to vote
IWCIA
2004
Springer
15 years 10 months ago
2004
Springer
We consider selected geometric properties of 2D or 3D sets, given in form of binary digital pictures, and discuss their estimation. The properties examined are perimeter and area i...